Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
（1）木下 佳樹
ホウ酸エステルの動的自己組織化に基づく高次機能の開拓
研究課題別中間評価結果 1．研究課題名 日常生活を拡張する着用指向
木下 佳樹 - 科学技術振興機構
木下 佳樹 長） 「検証における記述量爆発問題の構造変換による解決」 1
研究領域「高度メディア社会の生活情報技術」中間評価（課題評価） 結果
チラシ
電子線励起微小光源による光ナノイメージング
システム検証技術を社会へ－組込みシステム産業の検証高度化支援
自動証明系と対話型証明支援系の 連携によるポインタ操作プログラム の
構成管理ツールおよびその運用手順に関するリスク
形式手法≠モデル検査 - システム検証研究センター
Agdaプラグイン機構
システム検証研究センター 研究報告集
自動証明系と定理証明支援系の連携によるポインタ操作
システム検証研究センター 研究報告集
巻頭に寄せて
システム検証研究センター 研究報告集
