情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」 2016/07/15
情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用～パズルからプログラム検証まで～」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。（解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋 剛秀、藤田 博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀）
...続きを読む情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」 2016/07/15 のユーザーレビュー
情報処理2016年8月号別刷「《特集》SAT技術の進化と応用～パズルからプログラム検証まで～」 2016/07/15 の詳細情報
-
- カテゴリ
- ：
- 雑誌
-
- ジャンル
- ：
- 趣味・スポーツ・トレンド / モノ・トレンド
-
- 出版社
- ：
- 情報処理学会
-
- ページ数
- ：
- 40ページ
-
- 電子版発売日
- ：
- 2016年07月15日
-
- コンテンツ形式
- ：
- EPUB
-
- サイズ(目安)
- ：
- 26MB
閲覧環境
- 【閲覧できる環境】
- ・ブックライブ for Windows PC（アプリ）
- ・ブックライブ for iOS（アプリ）
- ・ブックライブ for Android（アプリ）
- ・ブックライブ PLUS for Android（アプリ）
- ・ブラウザビューア
※アプリの閲覧環境は最新バージョンのものです。
この本をチェックした人は、こんな本もチェックしています
趣味・スポーツ・トレンド ランキング
