スポンサーリンク
東京工業大学理学部情報科学科 | 論文
- モデル検査を用いた通信プロトコル二重化の検証(プロトコル,インターネット技術とその応用論文)
- 5-1 超臨場感を達成するための同室感というアプローチ(5.コミュニケーション技術・システム化技術,超臨場感コミュニケーションの近未来像)
- ITクラフトマンシッププロジェクト : 小中学生によるドリトルプログラミング
- モデル検査を用いた通信プロトコル二重化の設計と検証(インターネットアーキテクチャ,一般,インターネットセキュリティ,一般)
- オブジェクト指向計算特集の編集にあたって
- グラフ同型問題から環同型問題への新たな帰着 (理論計算機科学の深化と応用)
- Nuts : ホワイトボックスコンポーネントアーキテクチャ
- ベクターコンポーネント : コンポーネント結合による差分プログラミング
- アクションゲーム記述に特化した言語
- 1.情報科学教育の重要性と情報処理学会の活動(未来のコンピュータ好きを育てる)
- ゲーム理論とOR
- 3X-2 非常時情報流通におけるインターネットと公衆電話網の連携 : インターネット災害訓練の経験から(情報社会へ参画する態度,一般講演,コンピュータと人間社会)
- 2H-8 電灯線LANを活用したPC用電源制御機構
- 2T-3 WIDE/IFAXの相互接続性とEIFAXへの拡張
- 2S-3 IPv6の特徴を活用した資材管理システムの構築 : 無線タグを利用した実現方式
- RFC2305に準拠したシンプルモードインターネットFAXの設計と実装
- 2R-2 WIDE版インターネットFAXシステム : (2)相互接続性の確認と今後の課題
- 2R-1 WIDE版インターネットFAXシステム : (1)設計と実装
- 中学校におけるCSアンプラグドの授業提案
- CLUマシンシステムの開発