メニュー
Search
Search Research Projects
Search Researchers
Japanese
English
Back to previous page
KOBAYASHI Kojiro
小林 孝次郎
Researcher Number
00016148
Other IDs
Affiliation
*help
1998 – 2003 : 創価大, 工学部, 教授
1998 – 2003 : 創価大学, 工学部, 教授
1995 – 1997 : 東京工業大学, 情報理工学研究科, 教授
1994 – 1996 : 東京工業大学, 大学院・情報理工学研究科, 教授
1996 : Tokyo Inst.of Tech, Facl.Inf.Tech., Prof., 情報理工学科, 教授
…
More
1996 : 東京工業大学, 理学部, 教授
1996 : 東工大, 教授
1991 – 1992 : 東京工業大学, 理学部, 教授
Less
Research Field
Principal Investigator
計算機科学
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Keywords
Principal Investigator
コルモゴロフの複雑さ / 最悪入力 / 事前整列性測度 / worst computation time / 整列性測度 / アルゴリズムの効率 / ランダムネス / 連 / Burrows-Wheeler変換 / Kolmogorov複雑度
…
More
/ Shannonエントロピー / Burrows-Wheeler transform / 万能分布関数 / 符号化定理 / 情報圧縮 / heapsort / block sorting / 万能確率分布 / ブロックソーティング / worst input / ヒープソート / ソーティング / ブロックソート / 逆転 / 符号化理論 / 最悪実行時間
…
More
Except Principal Investigator
計算量理論 / プログラム理論 / computational complexity / constructive programming / COMPUTER MATHEMATICS / 蛋白質の構造 / セルオートマトン / 微分方程式の同定 / 高階単一化 / relational calculus / computational logic / 有限体の上の楕円曲線 / 知識命題論理 / 様相論理 / 文字列パターン / グラフの構造 / factorization / フックスの関数 / カテゴリー論 / 関係代数 / THEORY OF PROGRAMS / プログラムの検証 / 計算量 / 英文翻訳 / 散的アルゴリズム論 / Music Information Processing / 計算論理学 / 音楽情報処理 / Algebraic Semantics / 計算量の下限 / 巡回直交行列 / 有限体 / category theory / 計算可能理論 / 人工知能 / 情報構造 / フックス関数 / finite field / Structure of Proteins / 整数の素因数分解 / COMPUTATIONAL COMPLEXITY / artificial intelligence / cyclic othogonal matrix / 計算機科学 / 時相論理 / 多項式時間アルゴリズム / programming semantics / elliptic curve / 複雑性の問題 / 多項式時間 / 計算機数学 / 複雑性問題 / Temporal Logic / 有限体上の楕円曲線 / LOGICS AND INFERENCE / 高速フーリェ変換 / プログラミング意味論 / COMPUTABLE LOGICS / 論理と推論 / 計算モデル / Verification of Programs / 素因数分解 / Relational Algebra / DISCRETE ALGORITHMS / Knowledge Propositional Logic / 構成的プログラミング / 時間の論理 / 可換群の位数 / 代数的意味論 / Fuchsean function / PROGRAM SYNTHESIS / 計算可能論理 / システム同定 / プログラム合成論 / computer science / polynomial time / 関係計算 / Identification of Differential Equations / 楕円曲線
Less
Research Projects
(
6
results)
Co-Researchers
(
18
People)
Project Start Year(Newest)
Project Start Year(Oldest)
Research on explicit construction of worst imputs for algorithms
Principal Investigator
Principal Investigator
KOBAYASHI Kojiro
Project Period (FY)
2001 – 2003
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
計算機科学
Research Institution
Soka University
アルゴリズム的情報理論の本質的構造の研究
Principal Investigator
Principal Investigator
小林 孝次郎
Project Period (FY)
1998 – 2000
Research Category
Grant-in-Aid for Exploratory Research
Research Field
計算機科学
Research Institution
Soka University
An interdisciplinary study on categorical computer mathematics
Principal Investigator
KAWAHARA Yasuo
Project Period (FY)
1996 – 1998
Research Category
Grant-in-Aid for Scientific Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
KYUSHU UNIVERSITY
Systematic Study of Information Structures and Complexity
Principal Investigator
NAMBA Knaji
Project Period (FY)
1995 – 1996
Research Category
Grant-in-Aid for Scientific Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
University of Tokyo
Synthetic Research on the Theory of Algorithms
Principal Investigator
Principal Investigator
KOBAYASHI Kojiro
Project Period (FY)
1994 – 1996
Research Category
Grant-in-Aid for Scientific Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
Tokyo Institute of Technology
Co-operative Research on Discrete Computer Mathematics
Principal Investigator
ARIKAWA Setsuo
Project Period (FY)
1991 – 1992
Research Category
Grant-in-Aid for Co-operative Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
KYUSHU UNIVERSITY
# of Projects (Dsc)
# of Projects (Asc)
1.
ARIKAWA Setsuo
(40037221)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
2.
SATO Masahiko
(20027387)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
3.
ENOMOTO Hikoe
(00011669)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
4.
KAWAHARA Yasuo
(90091181)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
5.
MIYANO Satoru
(50128104)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
6.
ONO Hiroakira
(90055319)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
7.
HIROSE Ken
(60063632)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
8.
KANO Mikio
(20099823)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
9.
IGARASHI Shigeru
(80027367)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
10.
笠井 琢美
(70027382)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
11.
伊藤 達郎
(90015909)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
12.
NAMBA Knaji
(40015524)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
13.
KAKEHI Katsuhiko
(20062672)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
14.
USHIJIMA Kazuo
(40037750)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
15.
DOI Norihisa
(50051553)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
16.
川合 慧
(50011664)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
17.
林 晋
(40156443)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
18.
向井 国昭
(80245597)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
