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

研究关键词関数プログラミング・プログラミング言語・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