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

KOBAYASHI Kojiro  小林 孝次郎

ORCIDConnect your ORCID iD *help
… Alternative Names

小林 孝治郎  コバヤシ コウジロウ

Less
Researcher Number 00016148
Other IDs
Affiliation *help 1998 – 2003 : Soka University, Fac.Engineering, Professor, 工学部, 教授
1995 – 1997 : 東京工業大学, 情報理工学研究科, 教授
1994 – 1996 : 東京工業大学, 大学院・情報理工学研究科, 教授
1996 : Tokyo Inst.of Tech, Facl.Inf.Tech., Prof., 情報理工学科, 教授
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

    (6results)
  • Co-Researchers

    (18People)
  •  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 : 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

URL :

Are you sure that you want to connect your ORCID iD to this researcher?

Information FAQ News Terms of Use

Powered by NII kakenhi