小川 瑞史 | Ntt ソフトウェア研究所

スポンサーリンク

概要

• 同名の論文著者
• Ntt ソフトウェア研究所の論文著者

関連著者

• 小川 瑞史

  Ntt

• 小川 瑞史

  Ntt ソフトウェア研究所

• 小川 瑞史

  北陸先端科学技術大学院大学

• 小川 瑞史

  Ntt基礎研究所

• 胡 振江

  東京大学大学院情報理工学系研究科

• 小野 諭

  Ntt情報流通プラットフォーム研究所

• 小野 諭

  Nttソフトウェア研究所

• 小野 諭

  日本電信電話株式会社

• 小川 瑞史

  東京大学大学院情報理工学系研究科,科学技術振興事業団

• 小川 瑞史

  東京大学大学院情報理工学系研究科 科学技術振興事業団

• 武市 正人

  東京大学大学院情報理工学系研究科

• 胡 振江

  国立情報学研究所アーキテクチャ科学研究系

• 武市 正人

  電気通信大学電気通信学部計算機科学科

• 武市 正人

  東京大学

• 武市 正人

  東京大学工学部

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 篠埜 功

  東京大学大学院工学系研究科情報工学専攻

• 小川 瑞史

  北陸先端科学技術大学院大学情報科学研究科

• 田浦 健次朗

  東京大学

• 前田 敦司

  筑波大学

• 柴山 悦哉

  東京工業大学大学院情報処理工学研究科数理・計算科学専攻

• 長谷川 立

  東京大学

• 高橋 和子

  関西学院大学

• 渡部 卓雄

  東京工業大学

• 小川 瑞史

  科学技術振興事業団さきがけ研究21

• 小川 瑞史

  NTTコミュニケーション科学基礎研究所・科学技術振興事業団さきがけ21

• 原田 康徳

  Ntt

• 結縁 祥治

  名古屋大学 情報科学研究科

• 八杉 昌宏

  京都大学大学院情報学研究科

• 高橋 和子

  関西学院大学理工学部

• 小川 宏高

  産業技術総合研究所

• 大山口 通夫

  三重大学工学研究科

• 高木 浩光

  産業技術総合研究所

• 小野寺 民也

  日本アイ･ビｰ･エム

• 太田 義勝

  Faculty Of Engineering Mie University

• 前田 敦司

  筑波大学システム情報工学研究科

• 山岡 裕司

  東京大学大学院情報理工学系研究科

• 岩崎 英哉

  電気通信大学

• 高木 浩光

  電子技術総合研究所

• 高木 浩光

  電総研

• 高木 浩光

  名古屋工業大学

• 富樫 敦

  宮城大学

• 高木 浩光

  名古屋工業大学工学部電気情報工学科

• 筧 一彦

  東京大学大学院情報理工学系研究科

• 筧 一彦

  東京大学大学院情報理工学系研究科数理情報学

• 太田 義勝

  三重大学工学部

• 堀田 英一

  NTT情報流通プラットフォーム研究所

• 鈴木 太朗

  会津大学

• 松浦 邦博

  三重大学工学部情報工学科

• カシダシヴィリ ズーラブ

  NTT基礎研究所

• 堀田 英一

  日本電信電話株式会社NTT情報流通プラットフォーム研究所

• 脇田 建

  東京大学理学部

• 村上 昌己

  岡山大学

• 高木 浩光

  (独)産業技術総合研究所情報セキュリティ研究センター

• 竹内 泉

  東邦大学

• 松浦 邦博

  三重大

• 中田 秀基

  産業技術総合研

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 小川 瑞史

  NTT・電気通信研究所

• 胡 振江

  国立情報学研究所

• 脇田 建

  東京工業大学

• 李 しん

  北陸先端科学技術大学院大学情報科学研究科

• 胡 振江

  東京大学

• 大山口 通夫

  三重大学大学院工学研究科情報工学専攻

• 筧 一彦

  東京大学

もっと見る 閉じる

著作論文

• モデル検査技術を利用したプログラム解析器の生成ツール
• イベント順序証明システムの正当性の形式的証明
• 抽象実行 そのフレームワークと実例(その3)
• 抽象実行 そのフレームワークと実例(その2)
• 抽象解釈におけるLazyな抽象領域の生成
• 抽象実行 そのフレームワークと実例(その1)
• さきがけ「機能と構成」研究1 : 効率的で正しいプログラムの自動生成
• ASIA-PEPM 2002/FLOPS 2002参加報告
• 利得の最適連想規則を求める線形時間アルゴリズムの導出
• 最大重み和問題の線形時間アルゴリズムの導出
• ACM PLI 2000会議報告
• ナップサック問題およびその発展問題の統一的解法
• 非線形TRSのE重なり性について
• 書換え系のPerpetual性と一様停止性
• 高階書換え系の単一正規形性
• 逐次性v.s.ストリクト性 : 非線形項書換え系の最適戦略にむけて
• 高階書き換え系の単一正規形性
• 89-29 ストリクトネス解析に基づく関数型プログラムの計算量解析
• 87-21 関数型プログラムの静的解析
• グリッドコンピューティングにおける代理証明書信任リスト(ディペンダブルソフトウェア)
• 「情報処理学会論文誌 : プログラミング」の編集について
• 「情報処理学会論文誌 : プログラミング」の編集について

もっと見る 閉じる

スポンサーリンク