友石 正彦 | 東京工業大学
スポンサーリンク
概要
関連著者
-
友石 正彦
東京工業大学
-
米崎 直樹
東京工業大学大学院情報理工学研究科計算工学専攻
-
米崎 直樹
東京工業大学大学院情報理工学研究科
-
松岡 聡
東京工業大学
-
東田 学
大阪大学
-
飯田 勝吉
東京工業大学学術国際情報センター
-
佐藤 仁
東京工業大学
-
益井 賢次
東京工業大学学術国際情報センター
-
松岡 聡
国立情報学研究所
-
滝澤 真一朗
東京工業大学
-
友石 正彦
東京工業大学学術国際情報センター
-
實本 英之
東京工業大学
-
松岡 聡
東京工業大学:国立情報学研究所
-
東田 学
大阪大学サイバーメディアセンター
-
松岡 聡
東京工業大学情報理工学研究科数理・計算科学専攻
-
飯田 勝吉
東京工業大学大学院理工学研究科
-
益井 賢次
東京工業大学
-
飯田 勝吉
東京工業大学
-
松岡 聡
東工大:国情研
-
小林 泰三
九州大学大学院工学研究院
-
小林 泰三
九州大学情報基盤研究開発センター
-
青柳 睦
九州大学情報基盤研究開発センター
-
合田 憲人
国立情報学研究所
-
萩原 茂樹
東京工業大学大学院情報理工学研究科計算工学専攻
-
伊東 利哉
東京工業大学学術国際情報センター
-
合田 憲人
東京工業大学
-
吉田 真一
青山学院大学附置情報科学研究センター
-
青柳 睦
九州大学情報基盤センター
-
坂根 栄作
大阪大学
-
山梨 毅
東京工業大学
-
大庭 淳一
九州大学
-
水谷 文保
分子科学研究所
-
山田 清志
分子科学研究所
-
津田 知子
名古屋大学
-
河野 貴久
名古屋大学
-
下條 真司
情報通信研究機構
-
小林 泰三
九州大学
-
青柳 睦
九州大学 情報基盤センター
-
坂根 栄作
大阪大学サイバーメディアセンター
-
實本 英之
東京工業大学:jst Crest
-
中村 匡伸
東京工業大学大学院 情報理工学研究科 計算工学専攻
-
下条 真司
大阪大 サイバーメディアセ
-
小林 泰三
立命館大学物理学教室池田研究室
-
合田 憲人
国立情報学研
-
増井 健司
北陸先端科学技術大学院大 情報科セ
-
伊東 利哉
東京工業大学
-
中村 匡伸
東京工業大学 情報理工学研究科 計算工学専攻 米崎研究室
-
飯田 勝吉
東京工業大学学術情報国際センター
-
坂根 栄作
国立情報学研究所
-
青柳 睦
九州大学
-
森 亮靖
東京工業大学情報理工学研究科計算学専攻
著作論文
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築 (インターネットアーキテクチャ)
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築 (技術と社会・倫理)
- NAREGIグリッドミドルウェアによる大規模連携接続実証実験(OS-6:分散システム,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築(システム構築技術2,インターネットと情報倫理教育,一般)
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築(システム構築技術2,インターネットと情報倫理教育,一般)
- e-サイエンス基盤としての計算機センターPOP(Point-of-Presence)連携
- PoP(Point of Presence)によるe-サイエンスリソース連携(研究発表,ネットワーク研究開発テストベッド運用・利用,一般)
- e-サイエンス基盤としての計算機センターPOP (Point-of-Presence) 連携
- Formal Method Europe(FME)2001参加報告
- 初等的でないフレームを持つ様相論理の統一化による証明法
- 無線LANにおけるセキュリティ技術の動向
- SSLとリレーサーバを用いたPOP before SMTPのセキュアな実現法
- 合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)
- 欠陥仕様からの修正情報抽出に関する研究
- 合成可能な時間論理タブローの構成法
- 時相論理による仕様記述の無矛盾性判定のための再利用可能なタブローについて
- 時相論理によるリアクティブシステム仕様の実現可能性に関する分類 (21世紀のソフトウェア工学)