岡田 浩一 | Ntt情報流通プラットホーム研究所
スポンサーリンク
概要
関連著者
-
岡田 浩一
Ntt情報流通プラットホーム研究所
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学
-
宮本 衛市
北海道大学システム情報工学研究科
-
宮本 衛市
北海道大学
-
岡田 浩一
Ntt情報流通プラットフォーム研究所
-
岡田 浩一
北海道大学工学部システム情報工学専攻
-
冨士 仁
NTT情報流通プラットフォーム研究所
-
冨士 仁
日本電信電話(株)ntt情報流通プラットフォーム研究所
-
冨士 仁
日本電信電話株式会社
-
赤間 清
北海道大学工学部情報工学科
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
岡田 浩一
日本電信電話株式会社情報流通プラットフォーム研究所
-
繁田 良則
東芝システムLSI技術研究所
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
小池 英勝
札幌学院大学社会情報学部社会情報学科
-
小宮 輝之
NTT情報流通プラットフォーム研究所
-
小池 英勝
北海道大学大学院工学研究科システム情報工学専攻
-
大西 真樹
日本電信電話株式会社NTT情報流通プラットフォーム研究所
-
大西 真樹
NTT情報流通プラットフォーム研究所
-
Eric Y.
NTT情報流通プラットフォーム研究所
-
中山 隆二
NTT情報流通プラットフォーム研究所
-
伊集院 正
NTT情報流通プラットフォーム研究所
-
宮本 衛一
北海道大学
-
岡田 浩一
NTTソフトウェア研究所
-
馬淵 浩司
岩手県立大学
著作論文
- 負制約の等価変換による問題解決の基礎理論
- LM-9 シングルサインオンにおけるプライバシ保護について(M. ネットワーク・モバイルコンピューティング)
- グローバルアドレスを使用しない個人単位エクストラネットの実現
- スター型End-to-end-VPNを提供するVPN-exchange方式のスケーラビリティ向上
- スター型End-to-end-VPNを提供するVPN-exchange方式のスケーラビリティ向上
- B-7-14 DoS攻撃防止のためのバックボーンネットワークス構築法
- VPNを利用するサーバホスティングにおけるアドレス重複の回避
- 負制約の等価変換による問題解決の基礎理論
- 参照を含む宣言的記述の定義と負参照の等価変換の正当性
- 参照を含む宣言的記述と負参照の等価変換
- 文字列領域における負制約の等価変換の基礎
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- 等価変換による仮説推論
- 宣言的プログラムの宣言的意味による仮説推論問題の定式化
- 否定を含む宣言的プログラムのプログラム変換