AIアルゴリズムからAIセーフティへ―生成AIとLLM [単行本]

AIリスク・マネジメント―信頼できる機械学習ソフトウェアへの工学的方法論 [単行本]

ソフトウェア工学から学ぶ機械学習の品質問題 [単行本]

デジタル・プラットフォーム 解体新書-製造業のイノベーションに向けて [単行本]

Event-B―リファインメント・モデリングに基づく形式手法 [単行本]

SPINモデル検査―検証モデリング技法 [単行本]

優れたデザインにとってコンセプトが重要な理由―使いやすく安心なソフトウェアを作るために [単行本]

情報処理 2022年11月号（情報処理学会） [電子書籍]

情報処理特別号 2022年11月号別刷「《特集》AIの品質保証」（情報処理学会） [電子書籍]

情報処理2017年8月号別刷「《特集》「ソフトウェア工学の最前線 ～ ソフトウェアが社会のすべてを定義する時代 ～」（情報処理学会） [電子書籍]

帝都防空戦―松本州平帝国陸海軍機モデリングブック 海軍機編 [単行本]

規基準の数値は「何でなの」を探る〈第1巻〉 [単行本]

松本州平のヒコーキ模型道楽〈2〉 [単行本]

建築土木教科書2級建築施工管理技士第一次・第二次検定合格ガイド 第3版 (施工管理技術検定学習書) [単行本]

歴史はなぜ必要なのか―「脱歴史時代」へのメッセージ [単行本]

共生のプラクシス―国家と宗教 増補新装版 [単行本]

宇治拾遺物語(角川ソフィア文庫) [文庫]

コスモロギア―天・化・時(シリーズ・キーワードで読む中国古典〈1〉) [全集叢書]

特攻の記録―「十死零生」非情の作戦(光人社NF文庫) [文庫]

SPIN モデル検査 検証モデリング技法（近代科学社） [電子書籍]

戦争遺跡（電子書籍Ver.）（ミリオン出版/大洋図書） [電子書籍]

ことばを紡ぐための哲学-東大駒場・現代思想講義 [単行本]

Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]

時代を問う文学(笠間ライブラリー―梅光学院大学公開講座論集〈第60集〉) [全集叢書]

Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]