研究者番号 |
80569575
|
その他のID |
|
所属 (現在) |
2024年度: 東北大学, 電気通信研究所, 教授
|
所属 (過去の研究課題情報に基づく) *注記 |
2016年度 – 2024年度: 筑波大学, システム情報系, 准教授
2013年度 – 2016年度: 筑波大学, システム情報系, 助教
2015年度: 筑波大学, 大学院システム情報工学研究科, 助教
2012年度 – 2014年度: 筑波大学, システム情報工学研究科(系), 助教
|
審査区分/研究分野 |
- 研究代表者
-
小区分60050:ソフトウェア関連 /
ソフトウェア
- 研究代表者以外
-
小区分60050:ソフトウェア関連 /
ソフトウェア /
大区分J /
中区分60:情報科学、情報工学およびその関連分野 /
情報学基礎理論 /
情報学基礎
|
キーワード |
- 研究代表者
-
関係的仕様 / プログラム検証 / プログラム合成 / 循環証明 / 述語制約解消 / 不動点論理 / 時相的仕様 / 帰納的定理証明 / ホーン節制約解消 / 依存型
… もっと見る
/ リファインメント型 / 再帰データ型 / 動的論理 / 述語充足可能性判定 / 不動点制約解消 / スコーレム関数 / ランキング関数 / 不変条件 / 時相的・関係的仕様 / 依存リファインメント型 / プログラミング言語 / 停止性検証 / 関係的仕様検証 / 抽象解釈 / トレース意味論 / ゲーム意味論 / 制約最適化 / 制約解消 / 定理自動証明 / 型システム
… もっと見る
- 研究代表者以外
-
プログラム検証 / 型システム / 高階モデル検査 / 機械学習 / 不動点論理 / 高階不動点論理 / プログラミング言語 / モデル検査 / 代数的エフェクト / 自動定理証明 / 関数型プログラム / 高階文法 / データ圧縮 / 述語制約解消 / 述語制約 / 依存篩型 / システム検証 / CHCソルバ / 定理自動証明 / 演繹的推論 / 確率付き高階不動点論理 / 形式手法 / ハイブリッドシステム / 強化学習 / PDR / IoT / 形式検証 / トレース意味論 / 非決定計算 / 顕在的契約計算 / 計算効果 / 漸進的型付け / プログラム論理 / ソフトウェアモデル検査 / 循環証明 / 分離論理 / 共通型 / 高階論理 / 確率付き文法 / ソフトウェア検証 / 実行時プログラム生成 / 関数型プログラミング言語 / 高性能計算 / プログラム特化 / プログラム変換 / プログラム生成 / 関数型プログラム言語 / ディペンダブルコンピューティング / 型理論 / 高階再帰スキーム / 関数型言語
隠す
|