国枝 正典 | 東京大 工学部 精密工学科
スポンサーリンク
概要
論文 | ランダム
- 新・組み込みソフトへの数理的アプローチ(第12回)テストとプログラム検証--TDD(テスト駆動開発)におけるテスト
- 新・組み込みソフトへの数理的アプローチ(第11回)プログラム検証とテスト--CBMCを使ってソース・コードから仕様を検証する
- artisocで作成する初等情報教育用OSPF ネットワークルーティングシミュレーション
- リンク評価値を用いた経路構成法による高機能ノードマルチキャスト木構成効率の検討(ネットワーク構成・一般,自律分散ネットワーク,グリッドコンピューティング,VPN,DDoS,ネットワークセキュリティ,PAN,センサーネットワーク及び一般)
- アルゴリズム構造の理解を促すプログラミング教育の提案