• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KOBAYASHI Kojiro  小林 孝次郎

ORCIDConnect 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
block sorting / Burrows-Wheeler transform / heapsort / worst computation time / worst input / 連 / 整列性測度 / 情報圧縮 / 逆転 / ブロックソーティング … More / 事前整列性測度 / ソーティング / アルゴリズムの効率 / ブロックソート / Burrows-Wheeler変換 / ヒープソート / 最悪実行時間 / 最悪入力 / Music Information Processing / Structure of Proteins / Temporal Logic / Verification of Programs / Relational Algebra / Algebraic Semantics / Knowledge Propositional Logic / Identification of Differential Equations / グラフの構造 / 計算量理論 / 計算モデル / プログラム理論 / 英文翻訳 / システム同定 / 時間の論理 / 様相論理 / 文字列パターン / セルオートマトン / 高階単一化 / 音楽情報処理 / 蛋白質の構造 / 時相論理 / プログラムの検証 / 関係代数 / 代数的意味論 / 知識命題論理 / 微分方程式の同定 / Shannonエントロピー / 符号化理論 / 万能分布関数 / Kolmogorov複雑度 / ランダムネス / 符号化定理 / 万能確率分布 / コルモゴロフの複雑さ … More
Except Principal Investigator
computational complexity / 計算量理論 / constructive programming / programming semantics / artificial intelligence / relational calculus / computational logic / computer science / category theory / 構成的プログラミング / プログラミング意味論 / 人工知能 / 関係計算 / 計算論理学 / 計算機科学 / カテゴリー論 / cyclic othogonal matrix / polynomial time / factorization / Fuchsean function / elliptic curve / finite field / 高速フーリェ変換 / 有限体上の楕円曲線 / 複雑性の問題 / フックスの関数 / 可換群の位数 / 有限体の上の楕円曲線 / 整数の素因数分解 / 計算量の下限 / 多項式時間アルゴリズム / 複雑性問題 / 情報構造 / 巡回直交行列 / 多項式時間 / 素因数分解 / フックス関数 / 楕円曲線 / 有限体 / 計算量 / LOGICS AND INFERENCE / PROGRAM SYNTHESIS / COMPUTATIONAL COMPLEXITY / COMPUTABLE LOGICS / THEORY OF PROGRAMS / DISCRETE ALGORITHMS / COMPUTER MATHEMATICS / 計算可能理論 / 論理と推論 / プログラム合成論 / 計算可能論理 / プログラム理論 / 散的アルゴリズム論 / 計算機数学 Less
  • Research Projects

    (6 results)
  • Co-Researchers

    (18 People)
  •  Research on explicit construction of worst imputs for algorithmsPrincipal 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 AlgorithmsPrincipal 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
  • 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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi