Tohoku University · Graduate School of Information Science · 准教授

Research keywords関数プログラミング・プログラミング言語・Correctness by Construction・領域特化言語・プログラム変換・双方向変換

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案松田一孝, 筧一彦, 胡振江, 武市正人
• 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

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

• Official profile
• ORCID