古森雄一 KOMORI Yuichi

研究者番号	10022302
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2016年度: 千葉大学, 大学院理学研究科, 名誉教授 2013年度 – 2015年度: 千葉大学, 理学(系)研究科(研究院), 名誉教授 2012年度: 千葉大学, 総合メディア基盤センター, 教授 2001年度 – 2006年度: 千葉大学, 総合メディア基盤センター, 教授 2002年度: 千葉大学, 理学部, 教授 1996年度 – 2000年度: 千葉大学, 理学部, 教授 1993年度 – 1995年度: 静岡大学, 理学部, 助教授
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) 研究代表者以外数学一般(含確率論・統計数学) / 計算機科学 / 統計科学 / 解析学 / 数学基礎・応用数学 / 情報学基礎 / 代数学
キーワード	研究代表者ラムダ計算 / BCK論理 / 直観主義論理 / 古典論理 / Lambda Calculus / BCK Logic / Intuitionistic Logic / Classical Logic / 部分構造論理 / 型理論 … もっと見る / Illative Combinatory Logic / Russel's Paradox / Curry-Howard isomorphism / Church / 極小論理式 / P=NP問題 / 数理論理学 / 集合論 / ラッセルの逆理 / Curry-Howard対応 / チャーチ / Type Theory / Substructural Logic … もっと見る研究代表者以外ラムダ計算 / 部分構造論理 / 型理論 / クリプキ意味論 / 文法的性質 / 古典論理 / 適切さの論理 / 構成的論理 / 非標準論理 / タイヒミュラー空間 / ショットキイ群 / BCK論理 / ペッティス集合 / 積空間 / デデキント和 / Optimization Theory / Mathematics for Programming / Mathematical Programming / Bellman Equation / Fuzzy Theory / Dynamic Programming / Markov decision Processes / ファジィ理論 / 最適化理論 / 数理計画法 / 計画数学 / ベルマン方程式 / ファジイ理論 / 動的計画法 / マルコフ決定過程 / stability of optimal solution / least squares solution / singular value decomposition / linear constraint / quadratic constraint / maximization of correlation / nonlinear optimization problem with constraints / 正準相関分析 / 相関係数最大化 / 非線形最適化問題 / カタストロフィックな変化 / 最適解の安定性 / 最小2乗解 / 特異値分解 / 1次制約条件 / 2次制約条件 / 相関係数最大化問題 / 制約条件付き非線形最適化問題 / fuzzy logic / many-valued logics / residuated lattices / universal algebra / substructural logics / 剰余構造 / 有限モデル性 / ファジー論理 / 多値論理 / 剰余束 / 普遍代数 / α-conversion / substitution / first-class context / explicit substitution / cut elimination / intuitionistic modal logic / modal substructural logic / context / explicit environment / 正規化 / α変換 / 束縛変数 / 代入操作 / 文脈 / 明示的代入 / カット除去 / 直観主義的様相論理 / 様相部分構造命題論理 / Substructural Logic / Strong Normalization / Syntactic Property / Category Theory / Model / Semantics / Type Theory / 部分構造理論 / 強正規化 / 強制規化 / カテゴリ理論 / モデル / 意味論 / Simulation / Size and power of tests / Area difference statistic / AR model / Moving block / Bootstrap test / Test of curve difference / Wind velocity data by artificial satellite / AUC-統計量 / ordered moving block bootstrap法 / カルマンフィルター / longitudinal data / 人工衛星データ / 検出力のシミュレーション / 2種類の曲線の差の検定 / moving block bootstrap法 / 状態空間モデル / ブートストラップ検定 / シミュレーション / 検定のサイズ・検出力 / 面積差統計量 / ARモデル / moving block / bootstrap検定 / 曲線の差の検定 / 人工衛星風速データ / lambda calculi / cut elimination theorem / game theory / Kripke semantics / epistemic logic / modal logic / substructural logic / nonstandard logic / クリプキ・フレーム / 自然演繹体系 / クリプキ完全性 / カット除去定理 / ゲーム理論 / 認識論理 / 様相論理 / CLASSICAL LOGIC / RELEVANT LOGIC / TYPE THEORY / LANBDA-CALCULUS / 線型論理 / 証明システム / Classical logic / Formulas-as-types / Curry-Howard / Relevant logic / Intuitionistic logic / Type theory / Lambda calculus / Constructive logic / 線形論理 / 型としての論理式 / curry-Haward / 直観主義論理 / 合流性 / 型推論 / 型検査 / チャーチ・ロッサーの定理 / カリー流 / チャーチ流 / 決定可能性 / 型推論問題 / 型検査問題 / innocent戦略 / ゲーム意味論 / 逆像層 / 逐次アルゴリズム / 具象領域 / 分配具象領域の表現定理 / 層論 / 高階逐次性 / 分配具象領域 / 項書換え系 / 知識の論理 / ハウスドルフ次元 / 弱プレコンパクト集合 / バナッハ空間 / ω-無矛盾性 / 弱ペテイス集合 / バンツハ空間 / ショットキー群 / メ-ビウス群 / マルコフ過程 / 離散群 / 不連続群 / ヨルゲンセン数 / タイヒミコラ-空間 / クライン群 / ショットキイ空間 / 軌道体 / 高次微分 / 自己準同型環 / 組成列 / 飛石状モデル / ショットキィ空間隠す

ラムダ計算の型問題に対する可解性・非可解性の特徴付け
- 研究代表者
  
  藤田憲悦
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  群馬大学
計算と論理に対する層論的構造解析の展開
- 研究代表者
  
  倉田俊彦
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  法政大学
チャーチのラムダ計算のBCK論理による再生研究代表者
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
数理最適化問題における不確実性モデルの展開とその応用
- 研究代表者
  
  安田正實
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
部分構造論理と代数構造
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
統計モデルにおける制約条件付きパラメータ推定とその安定性についての研究
- 研究代表者
  
  田栗正章
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  統計科学
- 研究機関
  千葉大学
論理体系の意味論と文法的性質の関係
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  千葉大学
非標準論理研究の新しい展開
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
状態空間モデルに基づく縦断的データの解析へのブートストラップ法による接近
- 研究代表者
  
  田栗正章
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  統計科学
- 研究機関
  千葉大学
部分構造論理の研究研究代表者
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
型理論の意味論と文法的性質の関係
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  千葉大学
非標準論理とその情報科学への応用
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
関数解析学と関連分野の研究
- 研究代表者
  
  松田稔
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  静岡大学
数理論理学と関連分野の研究研究代表者
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  静岡大学
構成的論理の推論構造の研究
- 研究代表者
  
  廣川佐千男
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
複素解析学と関連分野の研究
- 研究代表者
  
  佐藤宏樹
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  静岡大学
確率過程と関連分野の研究
- 研究代表者
  
  近藤亮司
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  静岡大学
整数論と関連分野の研究
- 研究代表者
  
  浅井哲也
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学
- 研究機関
  静岡大学
環論と関連分野の研究
- 研究代表者
  
  伊澤達夫
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  静岡大学
構成的論理の推論構造の研究
- 研究代表者
  
  廣川佐千男 (廣川左千男)
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学

すべて 2015 2014 2013 2007 2006 その他

すべて雑誌論文学会発表

[雑誌論文] Reduction Rules for Intuitionistic λρ-calculus2015
- 著者名/発表者名
  Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, and Naosuke Matsuda
- 雑誌名
  
  Studia Logica
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-24500025
[雑誌論文] Reduction Rules for Intuitionistic lambda-rho-calculus2015
- 著者名/発表者名
  K. Fujita, R. Kashima, Y. Komori, N. Matsuda
- 雑誌名
  
  Studia Logica
  
  巻: 103 号: 6 ページ: 1225-1244
- DOI
  10.1007/s11225-015-9616-1
- 査読あり
- データソース
  KAKENHI-PROJECT-25400192
[雑誌論文] A Simplified Proof of the Church-Rosser Theorem2014
- 著者名/発表者名
  Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa
- 雑誌名
  
  Studia Logica
  
  巻: 102 号: 1 ページ: 175-183
- DOI
  10.1007/s11225-013-9470-y
- 査読あり
- データソース
  KAKENHI-PROJECT-24500025, KAKENHI-PROJECT-25400192
[雑誌論文] Lambda rho-calculus II2013
- 著者名/発表者名
  Yuich Komori
- 雑誌名
  
  Tsukuba Journal of Mathematics
  
  巻: 37
- 査読あり
- データソース
  KAKENHI-PROJECT-25400192
[雑誌論文] λρ-calculus II2013
- 著者名/発表者名
  Yuichi Komori
- 雑誌名
  
  Tsukuba Journal of Mathematics
  
  巻: 37 ページ: 307-320
- NAID
  120006582878
- 査読あり
- データソース
  KAKENHI-PROJECT-24500025
[雑誌論文] λ ρ-calculsu2007
- 著者名/発表者名
  Yuichi Komori, Arato Cho
- 雑誌名
  
  Proceedings of the 39th MLG meeting
  
  ページ: 1-6
- データソース
  KAKENHI-PROJECT-15540107
[雑誌論文] λp-calculus2007
- 著者名/発表者名
  古森雄一
- 雑誌名
  
  Proceedings of the 40th MLG meeting
  
  ページ: 1-6
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540107
[雑誌論文] 汎用システムとしての「ラムダ計算+論理」2007
- 著者名/発表者名
  古森雄一
- 雑誌名
  
  京都大学数理解析研究所講究録 1533
  
  ページ: 39-48
- データソース
  KAKENHI-PROJECT-15540107
[雑誌論文] λp-calculus2007
- 著者名/発表者名
  Yuichi Komori
- 雑誌名
  
  Proceedings of the 40th MLG meeting
  
  ページ: 1-6
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15540107
[雑誌論文] Independent Axiom Systems of Minimal formulas for Classical Logic2006
- 著者名/発表者名
  Yuichi Komori
- 雑誌名
  
  Proceedings of the 39th MLG meeting
  
  ページ: 56-58
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15540107
[雑誌論文] Independent Axiom Systems of Minimal formulas for Classical Logic2006
- 著者名/発表者名
  古森雄一
- 雑誌名
  
  Proceedings of the 39th MLG meeting
  
  ページ: 56-58
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540107
[学会発表] 数学者のために数理論理学雑談
- 著者名/発表者名
  古森雄一
- 学会等名
  日本数学会
- 発表場所
  九州大学
- 招待講演
- データソース
  KAKENHI-PROJECT-24500025

1. 桜井貴文 (60183373)

共同の研究課題数: 5件

共同の研究成果数: 0件
2. 山本光晴 (00291295)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 廣川佐千男 (40126785)

共同の研究課題数: 4件

共同の研究成果数: 0件
4. 藤田憲悦 (30228994)

共同の研究課題数: 4件

共同の研究成果数: 2件
5. 松田稔 (10022229)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 佐藤宏樹 (40022222)

共同の研究課題数: 4件

共同の研究成果数: 0件
7. 小野寛晰 (90055319)

共同の研究課題数: 3件

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

共同の研究課題数: 3件

共同の研究成果数: 2件
9. 千葉慶子 (90022227)

共同の研究課題数: 3件

共同の研究成果数: 0件
10. 中西敏浩 (00172354)

共同の研究課題数: 3件

共同の研究成果数: 0件
11. 白井古希男 (70077915)

共同の研究課題数: 3件

共同の研究成果数: 0件
12. 中神潤一 (30092076)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 中村勝洋 (10344962)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 伊澤達夫 (20021941)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 金子守 (40114061)

共同の研究課題数: 2件

共同の研究成果数: 0件
16. 鈴木信行 (60216421)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 高野道夫 (70126423)

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 倉田俊彦 (40311899)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 志村立矢 (90246835)

共同の研究課題数: 2件

共同の研究成果数: 0件
20. 田栗正章 (10009607)

共同の研究課題数: 2件

共同の研究成果数: 0件
21. 橋本明浩 (60164779)

共同の研究課題数: 2件

共同の研究成果数: 0件
22. 宮埜壽夫 (90200196)

共同の研究課題数: 2件

共同の研究成果数: 0件
23. 辻尚史 (70016666)

共同の研究課題数: 2件

共同の研究成果数: 0件
24. 浅井哲也 (50022637)

共同の研究課題数: 2件

共同の研究成果数: 0件
25. 板津誠一 (20126767)

共同の研究課題数: 2件

共同の研究成果数: 0件
26. 横山美佐子 (80240224)

共同の研究課題数: 2件

共同の研究成果数: 0件
27. 小崎高太郎 (10028186)

共同の研究課題数: 2件

共同の研究成果数: 0件
28. 今野良彦 (00205577)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 種村秀紀 (40217162)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 金沢誠 (20261886)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 田中義人 (70320132)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 浜野正浩 (50313705)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 東条敏 (90272989)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 汪金芳 (10270414)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 桜井裕仁 (00333625)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 安田正實 (00041244)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 蔵野正美 (70029487)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 門田良信 (90116294)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 吉田祐治 (90192426)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 内藤聡 (60252160)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 近藤亮司 (00021931)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 外山芳人 (00251968)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 渚勝 (50189172)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 中村吉邑 (90110270)

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 西崎真也 (90263615)

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 腰越秀之 (70110294)

共同の研究課題数: 1件

共同の研究成果数: 0件
47. コワルスキトマシュ (70303336)

共同の研究課題数: 1件

共同の研究成果数: 0件
48. 多田充 (20303331)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 1件
51. Schubert Aleksy

共同の研究課題数: 1件

共同の研究成果数: 0件

古森 雄一 KOMORI Yuichi

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

チャーチのラムダ計算のBCK論理による再生研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

部分構造論理の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数理論理学と関連分野の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

古森雄一 KOMORI Yuichi