小川 瑞史 | Ntt基礎研究所
スポンサーリンク
概要
関連著者
-
小川 瑞史
Ntt基礎研究所
-
小川 瑞史
Ntt
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt ソフトウェア研究所
-
小野 諭
Ntt情報流通プラットフォーム研究所
-
小野 諭
Nttソフトウェア研究所
-
小野 諭
日本電信電話株式会社
-
真野 健
NTTコミュニケーション科学基礎研究所
-
大山口 通夫
三重大学工学研究科
-
太田 義勝
Faculty Of Engineering Mie University
-
太田 義勝
三重大学工学部
-
松浦 邦博
三重大学工学部情報工学科
-
カシダシヴィリ ズーラブ
NTT基礎研究所
-
松浦 邦博
三重大
-
大山口 通夫
三重大学大学院工学研究科情報工学専攻
著作論文
- 抽象実行 そのフレームワークと実例(その3)
- 抽象実行 そのフレームワークと実例(その2)
- 抽象解釈におけるLazyな抽象領域の生成
- 抽象実行 そのフレームワークと実例(その1)
- 非線形TRSのE重なり性について
- 書換え系のPerpetual性と一様停止性
- 高階書換え系の単一正規形性
- 逐次性v.s.ストリクト性 : 非線形項書換え系の最適戦略にむけて
- 高階書き換え系の単一正規形性
- 項グラフ書換え系における単純ギャップ停止性
- 91-37 パラメトリシティの証明論の概略
- 理論計算機科学に関する豊橋シンポジウムに参加して
- グラフマイナー定理に基づく線形時間アルゴリズムの自動生成