| 研究者番号 |
40396528
|
|---|
| その他のID |
|
|---|
| 所属 (現在) |
2024年度: 東北大学, 電気通信研究所, 助教
|
| 所属 (過去の研究課題情報に基づく) *注記 |
2016年度 – 2023年度: 東北大学, 電気通信研究所, 助教
2004年度 – 2006年度: 東北大学, 電気通信研究所, 助手
2002年度 – 2003年度: 千葉大学, 理学部, 特別研究員(PD)
|
| 審査区分/研究分野 |
- 研究代表者
-
計算機科学 /
小区分60050:ソフトウェア関連 /
ソフトウェア /
情報学基礎
- 研究代表者以外
-
小区分60050:ソフトウェア関連 /
情報学基礎理論 /
計算機科学 /
理工系
|
|---|
| キーワード |
- 研究代表者
-
プログラム検証 / 書き換えシステム / プログラム理論 / 数理論理学 / 合流性 / 理論計算機科学 / 局所十分完全性 / 帰納的定理 / 完全性 / 明示的代入計算
… もっと見る
/ ラムダ計算 / 強正規化性 / カリーハワード対応 / カット除去手続き / シーケント計算
… もっと見る
- 研究代表者以外
-
ラムダ計算 / 停止性 / 書替え系 / Haskell / 合流性 / 関数プログラム / 関数プログラミング / プログラム理論 / 代数仕様 / 書換え系 / ソフトウェア科学 / 検証 / 数理論理学 / 直観主義論理 / minlog / 証明検証系 / α同値 / 古典論理 / balanced weak confluence / external reduction / normalizing strategy / negular preserving approximation / needed reduction / reduction system / 木オートマン / 逐次性 / 到達可能性 / リダクションの近以 / 構成子システム / 条件付き書き換え / リダクションの近似 / 優先順位付き書き換え / 書き換えシステム / プロトコル検証 / 近似木オートマトン / 変換パターン / バランス弱合流性 / 外延リダクション / 正規化戦略 / 正規保存近似 / 必須リダクション / リダクションシステム / 項書き換えシステム / 定理自動証明 / プログラム変換 / ソフトウェア検証 / 情報基礎
隠す
|
|---|
