Tohoku University · Graduate School of Information Science · 教授

Research keywordsソフトウェア基礎科学・プログラミング言語理論・λ計算・セキュリティ・π計算・関数型プログラミング・型システム

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

• VMλ: a Functional Calculus for Scientific DiscoveryEijiro Sumii, Hideo Bannai
• VMλ: A Functional Calculusfor Scientific DiscoveryEijiro Sumii, Hideo Bannai
• 無限の入出力を行う関数型プログラムの K正規化の形式的検証水野雅之, 住井英二郎
• Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式前田 俊行, 住井 英二郎, 米澤 明憲

• 高性能広域分散計算のための適応的な基盤ソフトウェア米澤 明憲, 増原 英彦, 住井 英二郎, 田浦 健次朗, 小林 直樹, 遠藤 敏夫, 山本 泰宇, 大山 恵弘
• 美しい日本のMLコンパイラ
• 高階オープンシステムの数理的検証住井 英二郎, 寺内 多智弘
• プログラミング言語モデルによる情報セキュリティの実現と検証

• Official profile