赤間 世紀

「Processing」は、Java言語をベースにした言語で、「グラフィックス」や「オブジェクト指向」など、現在の標準的なプログラミング技術に対応しています。一方、「GUI」は、対話的なプログラムの作成に必要な要素です。その「GUI」の「Processing」による構築を、本書では、「ライブラリ」(ControlP5)を使うことで実現しています。

内容詳細

Processing GUIプログラミング (I・O BOOKS)

「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。

形式手法教科書 (I・O BOOKS)

第二I O編集部

「Octave」による「シミュレーション」の入門書。「Octave」を用いることで、さまざまな「シミュレーション」の手法を学ぶことができる。各手法の理論と、「Octave」のプログラムによる実例を紹介。

著者：赤間世紀の検索結果

Processing GUIプログラミング (I・O BOOKS)

形式手法教科書 (I・O BOOKS)

Octaveによるシミュレーション入門 (I・O BOOKS)

著者：赤間 世紀の検索結果

Processing GUIプログラミング (I・O BOOKS)

形式手法教科書 (I・O BOOKS)

Octaveによるシミュレーション入門 (I・O BOOKS)

著者：赤間世紀の検索結果