倉田俊彦 Kurata Toshihiko

研究者番号	40311899
その他のID
所属 (現在)	2025年度: 法政大学, 経営学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2012年度 – 2023年度: 法政大学, 経営学部, 教授 2008年度 – 2010年度: 法政大学, 経営学部, 教授 2007年度: 法政大学, 経営学部, 准教授 1999年度 – 2004年度: 東京都立大学, 理学研究科, 助手 2001年度: 東京都立大学, 理学(系)研究科(研究院), 助手 2000年度: 東京都立大学, 大学院・理学研究科, 助手
審査区分/研究分野	研究代表者情報学基礎 / 小区分60010:情報学基礎論関連 / 幾何学 / 計算機科学研究代表者以外代数学 / 数学基礎・応用数学 / 小区分12030:数学基礎関連
キーワード	研究代表者領域理論 / Stone双対性 / Kripkeモデル / 層論 / Curry-Howard同型 / 代数的モデル / 決定可能性 / 代数的意味論 / 直観主義論理 / energy … もっと見る / knot / topology / 結び目のエネルギー / 低次元トポロジー / エネルギー / 結び目理論 / トポロジー / innocent戦略 / ゲーム意味論 / 逆像層 / 逐次アルゴリズム / 具象領域 / 分配具象領域の表現定理 / 高階逐次性 / 分配具象領域 / 完備半順序集合 / 完全性定理 / 完備Heyting代数 / 2階直観主義命題論理 / 高階遂次性 / 外延性 / 型理論 / ラムダ計算 / プログラム意味論 / Cartesian閉圏 / 領域方程式 / λ代数 / PCF / 弱外延性 / カルテシアン閉圏 / 単純型理論 … もっと見る研究代表者以外合流性 / チャーチ・ロッサーの定理 / ラムダ計算 / グルジェゴルチック階層 / Python / NZMATH / SIMATH / JANT / TNT / 型付きラムダ計算 / 計算的複雑さ / ゲーデルのシステムT / 位相的・束論的意味論 / 型付ラムダ計算 / 形式化 / 数理パズル / Z定理 / ブーロスの論理パズル / スペクトラル空間モデル / 直観主義論理 / 定量的評価 / Z特性 / カリー・ハワード同型 / ブーロース / 論理パズル / 決定不能 / 2階直観主義論理 / 定量的解析 / 簡約システム / 非初等関数 / 簡約グラフ / 並行変換 / 簡約列 / 計算の複雑さ / 隣接行列 / 並行簡約 / 箙 / Fitting ideal / ideal class group / Iwasawa module / Iwasawa main conjecture / Iwasawa theory / Stickelbergerイデアル / Fittingイデアル / イデアル類群 / 岩澤加群 / 岩澤主予想 / 岩澤理論 / Elliptic Curves / Cryptology / Systems for Number Theory / Number Theoretic Algorithms / 多国籍 / 国際研究者交流 / 楕円曲線暗号 / 計算機実験 / 円楕円法CEM / 64ビット / 加法鎖 / 楕円曲線 / 暗号理論 / 数論システム / 数論アルゴリズム / Grothendieck-Teichmuller group / Arithmetic Fundamental Group / Teichmuller modular group / Mapping Class Group / Anabelian Geometry / Exterior Galois representation / Galois group / Galois representation / タイヒミュラーモジュラー群 / グロタンディークタイヒシュラー群 / タイヒシュラーモジュラー群 / 外ガロア表現 / グロタンディーク・タイヒシュラー群 / 数論的基本群 / タイフシュラーモジュラー群 / 写像類群 / 遠アーベル幾何 / タメガロア表現 / ガロア群 / ガロア表現 / mailing list / network / database / software / algorithm / computer / number theory / メイリングリスト / ネットワーク / データ / ソフト / アルゴリズム / コンピュータ / 整数論 / 型推論 / 型検査 / カリー流 / チャーチ流 / 決定可能性 / 型推論問題 / 型検査問題隠す

直観主義論理の推論に関する代数的特徴付けの精密化研究代表者
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  法政大学
ゲーデルのシステムTと計算量的階層に関する研究
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  群馬大学
簡約システムの存在定理に関する定量的性質の解明
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  群馬大学
ラムダ計算の型問題に対する可解性・非可解性の特徴付け
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  群馬大学
計算と論理に対する層論的構造解析の展開研究代表者
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  法政大学
アルゴリズムの構造を反映する数理モデルの構成と応用研究代表者
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  法政大学
プログラムの表示的意味論と効率的実行手法の研究研究代表者
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京都立大学
岩澤理論の精密化とその応用
- 研究代表者
  
  栗原将人
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  東京都立大学
数論アルゴリズムの研究と数論システムの開発
- 研究代表者
  
  中村憲
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  東京都立大学
遠アーベル幾何学とガロア群の相互作用の数論的研究
- 研究代表者
  
  中村博昭
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  東京都立大学
数論に於けるコンピュータによるデータ計算とソフト開発
- 研究代表者
  
  中村憲
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  東京都立大学
結び目のエネルギーの研究(エネルギー最小元の存在と数値実験)研究代表者
- 研究代表者
  
  倉田俊彦, 今井淳
- 研究期間 (年度)
  1998 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  東京都立大学

[図書] 京都大学数理解析研究所考究録1635(RIMS共同研究:証明論と論理・計算の構造報告集)2009
- 著者名/発表者名
  倉田俊彦
- 総ページ数
  133
- 出版者
  京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-19700012
[図書] 証明論と論理・計算の構造報告集2009
- 著者名/発表者名
  倉田俊彦
- 総ページ数
  133
- 出版者
  京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-19700012
[雑誌論文] An Algebraic Counterpart of Kripke Semantics Based on Completely Prime Elements2024
- 著者名/発表者名
  T.Kurata, K.Fujita,
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: -
- データソース
  KAKENHI-PROJECT-23K10991
[雑誌論文] Boolos' "The Hardest Logic Puzzle Ever" and coinduction2023
- 著者名/発表者名
  K.Fujita, T.Kurata
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 2276 ページ: 47-56
- データソース
  KAKENHI-PROJECT-23K10991
[雑誌論文] A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic2022
- 著者名/発表者名
  T. Kurata, K. Fujita
- 雑誌名
  
  Kyoto University RIMS Koukyuroku
  
  巻: 2228
- オープンアクセス
- データソース
  KAKENHI-PROJECT-20K03711
[雑誌論文] A gneral form on the logic puzzles of Boolos2022
- 著者名/発表者名
  K. Fujita, T.Kurata
- 雑誌名
  
  Kyoto University RIMS Koukyuroku
  
  巻: 2229
- オープンアクセス
- データソース
  KAKENHI-PROJECT-20K03711
[雑誌論文] Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic2019
- 著者名/発表者名
  Kurata Toshihiko、Fujita Ken-etsu
- 雑誌名
  
  Fundamenta Informaticae
  
  巻: 170 号: 1-3 ページ: 223-240
- DOI
  10.3233/fi-2019-1861
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K05343
[雑誌論文] Distributive Concrete Domains and Sheaves on DI-Domains2018
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 印刷中
- データソース
  KAKENHI-PROJECT-17K05343
[雑誌論文] Distributive Concrete Domains and Sheaves on DI-Domains2018
- 著者名/発表者名
  Toshihiko Kurata
- 雑誌名
  
  Kyoto University, RIMS Kokyuroku
  
  巻: 2083
- データソース
  KAKENHI-PROJECT-17K05343
[雑誌論文] On Sheaves Categorically Equivalent to Distributive Concrete Domains2015
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1950
- オープンアクセス
- データソース
  KAKENHI-PROJECT-25400192
[雑誌論文] On sheaves categorically equivalent to distributive concrete domains2015
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 印刷中
- オープンアクセス
- データソース
  KAKENHI-PROJECT-24500025
[雑誌論文] On sheaves categorically equivalent to distributive concrete domains2015
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: --
- データソース
  KAKENHI-PROJECT-25400192
[雑誌論文] Sheaf-theoretical representation of concrete domains2013
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1832 ページ: 8-18
- データソース
  KAKENHI-PROJECT-25400192
[雑誌論文] Sheaf-Theoretical Representation of Concrete Domains2013
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: -
- データソース
  KAKENHI-PROJECT-24500025
[雑誌論文] Sheaf-theoretical representation of concrete domains2013
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録（RIMS共同研究　証明論と複雑性）
  
  巻: 1832 ページ: 8-18
- データソース
  KAKENHI-PROJECT-24500025
[雑誌論文] 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性2011
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録 1729
  
  ページ: 1-8
- データソース
  KAKENHI-PROJECT-19700012
[雑誌論文] 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性2011
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1729 ページ: 1-8
- データソース
  KAKENHI-PROJECT-19700012
[雑誌論文] 完備半順序集合の層に関する双極限の構成2009
- 著者名/発表者名
  倉田俊彦
- 雑誌名
  
  京都大学数理解析研究所講究録 1635
  
  ページ: 60-76
- データソース
  KAKENHI-PROJECT-19700012
[雑誌論文] Denotational semantics excluding weak-extensionality in simple Types
- 著者名/発表者名
  Toshihiko Kurata
- 雑誌名
  
  数理解析研究所講究録 (掲載予定)
- データソース
  KAKENHI-PROJECT-14780235
[学会発表] 2階直観主義論理の解釈と決定可能性に関する考察2023
- 著者名/発表者名
  倉田俊彦，藤田憲悦
- 学会等名
  京都大学数理解析研究所RIMS研究集会（証明論と計算論の最前線）
- データソース
  KAKENHI-PROJECT-23K10991
[学会発表] 2階直観主義命題論理の解釈と決定可能性に関する考察2023
- 著者名/発表者名
  倉田俊彦，藤田憲悦
- 学会等名
  京都大学数理解析研究所共同研究（証明論と計算論の最前線）
- データソース
  KAKENHI-PROJECT-20K03711
[学会発表] Spectral Spaces for Models of Intuitionistic Logic2022
- 著者名/発表者名
  T.Kurata, K.Fujita
- 学会等名
  日本数学会2022年度年会
- データソース
  KAKENHI-PROJECT-20K03711
[学会発表] A general form on the logic puzzle of Boolos2022
- 著者名/発表者名
  K.Fujita, T.Kurata
- 学会等名
  京都大学数理解析研究所RIMS共同研究 (Logic, Algebraic System, Language and Related Areas in Computer Science)
- データソース
  KAKENHI-PROJECT-20K03711
[学会発表] Spectral spaces for models of intuitonistic logic2021
- 著者名/発表者名
  T.Kurata, K.Fujita
- 学会等名
  京都大学数理解析研究所RIMS共同研究（証明論と計算の理論と応用）
- データソース
  KAKENHI-PROJECT-20K03711
[学会発表] On formalization of logic puzzles a la George Boolos2021
- 著者名/発表者名
  K.Fujita, T.Kurata
- 学会等名
  日本数学会2021年度秋季総合分科会（数学基礎論）
- データソース
  KAKENHI-PROJECT-20K03711
[学会発表] Sequential Algorithm の分解2017
- 著者名/発表者名
  倉田俊彦
- 学会等名
  京都大学数理解析研究所研究集会「証明論と証明活動」
- データソース
  KAKENHI-PROJECT-17K05343
[学会発表] 高階逐次アルゴリズムの分解について2017
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会
- 発表場所
  首都大学東京
- 年月日
  2017-03-25
- データソース
  KAKENHI-PROJECT-25400192
[学会発表] 分配具象領域と領域層の圏論的同等性に関する考察2014
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  広島大学
- 年月日
  2014-09-28
- データソース
  KAKENHI-PROJECT-25400192
[学会発表] On the models of 2nd order intuitionistic propositional logic2011
- 著者名/発表者名
  倉田俊彦, 藤田憲悦
- 学会等名
  日本数学会年会
- 発表場所
  早稲田大学理工学術院
- 年月日
  2011-03-21
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] 2階直感主義命題論理の代数的モデルについて2010
- 著者名/発表者名
  倉田俊彦, 藤田憲悦
- 学会等名
  RIMS共同研究(形式体系と計算理論)
- 発表場所
  京都大学数理解析研究所
- 年月日
  2010-09-15
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] Sheaf Semantics and Higher Order Sequentiality2009
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会年会(分科会特別講演)
- 発表場所
  東京大学数理科学研究科
- 年月日
  2009-03-26
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] Sheaf Semantics and Higher-Order Sequentiality2009
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会年会(分科会特別講演)
- 発表場所
  東京大学数理科学研究科
- 年月日
  2009-03-26
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] A fixed point construction for continuous functors on sheaves of dcpos2008
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  東京工業大学
- 年月日
  2008-09-27
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] Lambda-algebras by inverse limit construction on sheaves of dcpos2008
- 著者名/発表者名
  倉田俊彦
- 学会等名
  RIMS共同研究:証明論と論理・計算の構造
- 発表場所
  京都大学数理解析研究所
- 年月日
  2008-09-08
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] Lambda-algebras by inverse limit construction on sheaves of dcpos2008
- 著者名/発表者名
  倉田俊彦
- 学会等名
  RIMS共同研究 : 証明論と論理・計算の構造
- 発表場所
  京都大学数理解析研究所
- 年月日
  2008-09-08
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] 完備半順序集合の層について2007
- 著者名/発表者名
  倉田俊彦
- 学会等名
  証明論研究集会
- 発表場所
  首都大学東京
- 年月日
  2007-12-03
- データソース
  KAKENHI-PROJECT-19700012
[学会発表] Sheaf-theoretical representation of concrete domains
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  愛媛大学
- データソース
  KAKENHI-PROJECT-25400192
[学会発表] On sheaves categorically equivalent to distributive concrete domains
- 著者名/発表者名
  倉田俊彦
- 学会等名
  RIMS研究集会「証明論・計算論とその周辺」
- 発表場所
  京都大学数理解析研究所
- 年月日
  2014-12-24 – 2014-12-26
- データソース
  KAKENHI-PROJECT-25400192
[学会発表] 分配具象領域と領域層の圏論的同等性に関する考察
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  広島大学（広島県東広島市）
- 年月日
  2014-09-25 – 2014-09-28
- データソース
  KAKENHI-PROJECT-24500025
[学会発表] Sheaf-theoretical representation of concrete domains
- 著者名/発表者名
  倉田俊彦
- 学会等名
  日本数学会2013年度秋季総合分科会
- 発表場所
  愛媛大学（愛媛県）
- データソース
  KAKENHI-PROJECT-24500025
[学会発表] On sheaves categorically equivalent to distributive concrete domains
- 著者名/発表者名
  倉田俊彦
- 学会等名
  RIMS研究集会「証明論・計算論とその周辺」
- 発表場所
  京都大学数理解析研究所（京都府京都市）
- 年月日
  2014-12-24 – 2014-12-26
- データソース
  KAKENHI-PROJECT-24500025
[学会発表] Sheaf-Theoretical Representation of Concrete Domains
- 著者名/発表者名
  倉田俊彦
- 学会等名
  RIMS研究集会（証明論と複雑性）
- 発表場所
  京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-24500025

1. 藤田憲悦 (30228994)

共同の研究課題数: 5件

共同の研究成果数: 11件
2. 中村憲 (80110849)

共同の研究課題数: 4件

共同の研究成果数: 0件
3. 川崎健 (40301410)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 中村博昭 (60217883)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 三宅克也 (20023632)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 古森雄一 (10022302)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 鹿島亮 (10240756)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 栗原将人 (40211221)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 今井淳 (70221132)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 宮崎琢也 (10301409)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 岡睦雄 (40011697)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 大仁田義裕 (90183764)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 出口哲生 (70227544)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 竹田雄一郎 (30264584)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 伊藤由佳理 (70285089)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 津村博文 (20310419)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 長尾孝一 (00308321)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 木田雅成 (20272057)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 松野一夫 (40332936)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 岡崎龍太郎 (20268113)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 寺尾宏明 (90119058)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 阿原一志 (80247147)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 荻上紘一 (10087025)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 福田隆 (00181272)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 横山和弘 (30333454)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 蔵野和彦 (90205188)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 中澤巧爾

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 松田直祐

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 岡本龍明

共同の研究課題数: 1件

共同の研究成果数: 0件
30. Schubert Aleksy

共同の研究課題数: 1件

共同の研究成果数: 0件

倉田 俊彦 Kurata Toshihiko

研究課題

研究成果

共同研究者

直観主義論理の推論に関する代数的特徴付けの精密化研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ゲーデルのシステムTと計算量的階層に関する研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

簡約システムの存在定理に関する定量的性質の解明

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ラムダ計算の型問題に対する可解性・非可解性の特徴付け

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算と論理に対する層論的構造解析の展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

アルゴリズムの構造を反映する数理モデルの構成と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

プログラムの表示的意味論と効率的実行手法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

岩澤理論の精密化とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数論アルゴリズムの研究と数論システムの開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

遠アーベル幾何学とガロア群の相互作用の数論的研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数論に於けるコンピュータによるデータ計算とソフト開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

結び目のエネルギーの研究(エネルギー最小元の存在と数値実験)研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] 京都大学数理解析研究所考究録1635(RIMS共同研究:証明論と論理・計算の構造報告集)2009

著者名/発表者名

総ページ数

出版者

倉田俊彦 Kurata Toshihiko