西崎 真也 | 京工業大学大学院情報理工学研究科
スポンサーリンク
概要
関連著者
-
西崎 真也
京工業大学大学院情報理工学研究科
-
西崎 真也
東京工業大学
-
西崎 真也
東京工業大学大学院情報理工学研究科
-
清水 亮
新日鉄ソリューションズ株式会社
-
高橋 孝一
産業技術総合研究所
-
渡部 卓雄
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
渡部 卓雄
東京工業大学
-
森口 草介
東京工業大学大学院情報理工学研究科計算工学専攻
-
山田 一宏
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
森口 草介
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
萩谷 昌己
東京大学大学院情報理工学系研究科
-
冨岡 大悟
京工業大学大学院情報理工学研究科
-
池田 立野
京工業大学大学院情報理工学研究科
-
樋口 貴志
東京工業大学工学部情報工学科
-
丸山 宏
日本アイ・ビー・エム(株)東京基礎研究所
-
高橋 孝一
電子技術総合研究所
-
萩谷 昌己
東京大学理学部情報科学科萩谷研究室
-
森口 草介
東京工業大学情報理工学研究科
-
須藤 正人
松下電器産業株式会社
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
玉井 哲雄
東京大学総合文化研究科
-
萩谷 昌己
東京大学 大学院 理学系研究科
-
児島 尚
東京工業大学大学院情報理工学研究科
-
山本 光晴
千葉大学理学部
-
小田 崇史
東京工業大学大学院情報理工学研究科 計算工学専攻
-
小田 崇史
東京工業大学工学部情報工学科
-
丸山 宏
日本アイ・ビー・エム(株)東京基礎研究所 : 東京工業大学情報理工学研究科
-
丸山 宏
日本アイ・ビー・エム株式会社東京基礎研究所
-
丸山 宏
日本ibm
-
浅井 弘子
東京大学 理学部 情報科学科
-
玉野 浩嗣
東京工業大学大学院情報理工学研究科計算工学専攻
-
戸沢 昌彦
東京大学大学院理学系研究科
-
高橋 孝一
電子技術綜合研究所
-
西崎 真也
東京大学 理学部 情報科学科
-
戸沢 昌彦
日本ibm東京基礎研究所
著作論文
- 通信プロトコルにおけるサービス不能攻撃耐性解析のための型付きπ計算(システム検証の科学技術)
- 多相環境計算における強正規化可能性
- 多相環境計算における強正規化可能性
- 多相環境計算における強正規化可能性
- 名前呼び環境PCFの意味論
- Javaにおけるインテグリティモデル
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
- 定理アーカイブにおけるDoS攻撃耐性
- ファーストクラス継続を持つオブジェクト計算
- ファーストクラス環境による単一化機構の関数型言語への組み込み
- Javaのクラスローダ制約の定式化
- 自然言語インターフェースを用いた検索結果の視覚化
- プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ