東北大学 · 情報科学研究科 · 准教授

研究キーワード関数プログラミング・プログラミング言語・Correctness by Construction・領域特化言語・プログラム変換・双方向変換

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案松田一孝, 筧一彦, 胡振江, 武市正人
• Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model CheckingKazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
• FliPpr: A Prettier Invertible Printing SystemKazutaka Matsuda, Meng Wang
• Polynomial-time inverse computation for accumulative functions with multiple data traversalsKazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano

• 高階モデル検査とその応用小林 直樹, 篠原 歩, 五十嵐 淳, 海野 広志, 寺内 多智弘, 住井 英二郎, 松田 一孝
• 継続と文脈の概念にもとづく新しい関係的プログラム意味論住井 英二郎, 松田 一孝, キセリョーヴ オレッグ
• 一方向プログラミングと双方向プログラミングの融合松田 一孝
• プログラムの系統的な自動双方向化の理論と実装に関する研究松田 一孝

• 公式プロフィール
• ORCID