メニュー
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
コルモゴロフの複雑さ / 万能確率分布 / 符号化定理 / ランダムネス / Kolmogorov複雑度 / 万能分布関数 / 符号化理論 / Shannonエントロピー / 微分方程式の同定 / 知識命題論理
…
More
/ 代数的意味論 / 関係代数 / プログラムの検証 / 時相論理 / 蛋白質の構造 / 音楽情報処理 / 高階単一化 / セルオートマトン / 文字列パターン / 様相論理 / 時間の論理 / システム同定 / 英文翻訳 / プログラム理論 / 計算モデル / 計算量理論 / グラフの構造 / Identification of Differential Equations / Knowledge Propositional Logic / Algebraic Semantics / Relational Algebra / Verification of Programs / Temporal Logic / Structure of Proteins / Music Information Processing / 最悪入力 / 最悪実行時間 / ヒープソート / Burrows-Wheeler変換 / ブロックソート / アルゴリズムの効率 / ソーティング / 事前整列性測度 / ブロックソーティング / 逆転 / 情報圧縮 / 整列性測度 / 連 / worst input / worst computation time / heapsort / Burrows-Wheeler transform / block sorting
…
More
Except Principal Investigator
計算量理論 / computational complexity / 計算機数学 / 散的アルゴリズム論 / プログラム理論 / 計算可能論理 / プログラム合成論 / 論理と推論 / 計算可能理論 / COMPUTER MATHEMATICS / DISCRETE ALGORITHMS / THEORY OF PROGRAMS / COMPUTABLE LOGICS / COMPUTATIONAL COMPLEXITY / PROGRAM SYNTHESIS / LOGICS AND INFERENCE / 計算量 / 有限体 / 楕円曲線 / フックス関数 / 素因数分解 / 多項式時間 / 巡回直交行列 / 情報構造 / 複雑性問題 / 多項式時間アルゴリズム / 計算量の下限 / 整数の素因数分解 / 有限体の上の楕円曲線 / 可換群の位数 / フックスの関数 / 複雑性の問題 / 有限体上の楕円曲線 / 高速フーリェ変換 / finite field / elliptic curve / Fuchsean function / factorization / polynomial time / cyclic othogonal matrix / カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / 人工知能 / プログラミング意味論 / 構成的プログラミング / category theory / computer science / computational logic / relational calculus / artificial intelligence / programming semantics / constructive programming
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:
3 results
# of Collaborated Products:
0 results
2.
SATO Masahiko
(20027387)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
3.
ENOMOTO Hikoe
(00011669)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
4.
KAWAHARA Yasuo
(90091181)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
5.
MIYANO Satoru
(50128104)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
6.
ONO Hiroakira
(90055319)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
7.
HIROSE Ken
(60063632)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
8.
KANO Mikio
(20099823)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
9.
IGARASHI Shigeru
(80027367)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
10.
笠井 琢美
(70027382)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
11.
伊藤 達郎
(90015909)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
12.
NAMBA Knaji
(40015524)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
13.
KAKEHI Katsuhiko
(20062672)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
14.
USHIJIMA Kazuo
(40037750)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
15.
DOI Norihisa
(50051553)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
16.
川合 慧
(50011664)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
17.
林 晋
(40156443)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
18.
向井 国昭
(80245597)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
この研究者とORCID iDの連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
