Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
形式的マイクロプロトコル組立てフレームワーク
グラフオートマトン ∼自発的に自由度を変化させる力学系∼
外乱によって自己組織化するセルオートマトンの進化的探索
木下 佳樹 「検証における記述量爆発問題の構造変換による解決」
溝口 佳寛 (MIZOGUCHI Yoshihiro)
形式言語とオートマトン
元 岡村酒造
全文 - 東芝情報システム株式会社