【Kindleセール】最大30%オフ「光文社『はたらく人文知』発売記念！人生×人文 最大30%OFFキャンペーン」人生の短さについて・嫉妬論～民主社会に渦巻く情念を解剖する～・幸福について・教養（インテリ）悪口本・座右のニーチェなど（10/8まで） 2026/9/30 Kindleセール
「証明」によりAIの誤りを阻止しGPU上で動作する高速プログラミング言語「Bend」、C言語並みの処理速度・CUDAによる並列処理・Leanによる形式的証明・Python風の構文 2026/9/30 AI, ソフトウェア,
