メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
KOBAYASHI Kojiro
小林 孝次郎
Connect your ORCID iD
*help
…
Alternative Names
小林 孝治郎 コバヤシ コウジロウ
Less
Researcher Number
00016148
Other IDs
Affiliation (based on the past Project Information)
*help
1998 – 2003 : Soka University, Fac.Engineering, Professor, 工学部, 教授
1995 – 1997 : 東京工業大学, 情報理工学研究科, 教授
1996 : Tokyo Inst.of Tech, Facl.Inf.Tech., Prof., 情報理工学科, 教授
1996 : 東京工業大学, 理学部, 教授
1994 – 1996 : 東京工業大学, 大学院・情報理工学研究科, 教授
1991 – 1992 : 東京工業大学, 理学部, 教授
Review Section/Research Field
Principal Investigator
計算機科学
/
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Keywords
Principal Investigator
微分方程式の同定 / グラフの構造 / コルモゴロフの複雑さ / セルオートマトン / worst computation time / 高階単一化 / プログラム理論 / 知識命題論理 / 事前整列性測度 / 様相論理
…
More
/ 文字列パターン / 蛋白質の構造 / 整列性測度 / 関係代数 / Kolmogorov複雑度 / プログラムの検証 / ランダムネス / 英文翻訳 / Music Information Processing / Burrows-Wheeler変換 / 音楽情報処理 / アルゴリズムの効率 / Shannonエントロピー / Algebraic Semantics / 万能分布関数 / 符号化定理 / Structure of Proteins / Burrows-Wheeler transform / 情報圧縮 / heapsort / block sorting / 時相論理 / 万能確率分布 / ブロックソーティング / 連 / Temporal Logic / 最悪入力 / worst input / ソーティング / 計算モデル / Verification of Programs / ヒープソート / Relational Algebra / Knowledge Propositional Logic / 時間の論理 / 代数的意味論 / ブロックソート / 逆転 / 計算量理論 / 符号化理論 / システム同定 / 最悪実行時間 / Identification of Differential Equations
…
More
Except Principal Investigator
計算量理論 / computational complexity / constructive programming / COMPUTER MATHEMATICS / relational calculus / computational logic / プログラム理論 / polynomial time / フックスの関数 / カテゴリー論 / THEORY OF PROGRAMS / 計算量 / 散的アルゴリズム論 / category theory / 計算量の下限 / 巡回直交行列 / 有限体 / 計算可能理論 / 情報構造 / フックス関数 / artificial intelligence / 整数の素因数分解 / COMPUTATIONAL COMPLEXITY / cyclic othogonal matrix / 人工知能 / 計算論理学 / 多項式時間アルゴリズム / programming semantics / 複雑性の問題 / 多項式時間 / 計算機数学 / 有限体の上の楕円曲線 / 楕円曲線 / 有限体上の楕円曲線 / LOGICS AND INFERENCE / 高速フーリェ変換 / COMPUTABLE LOGICS / 論理と推論 / finite field / 複雑性問題 / 素因数分解 / elliptic curve / DISCRETE ALGORITHMS / 構成的プログラミング / factorization / Fuchsean function / PROGRAM SYNTHESIS / 計算可能論理 / 計算機科学 / プログラム合成論 / computer science / 関係計算 / 可換群の位数 / プログラミング意味論
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?
×
