Journal of Science and Philosophy Volume 3, Issue 1 (March, 2020) を2020年3月31日に発行いたします。（書籍版 ISBN 978-4-909624048）

詳しくはこちらをご覧ください。

やまなみ書房と提携している合同会社リベラリティとも交流がある、左馬さざなみ氏が『詩マシン』という「詩」の自動生成システムを開発しています。

VAE^*やSeqGAN^**など、機械学習を用いたテキスト生成が流行していますが、「詩マシン」はそのようなstate-of-the-artなテクニックを導入しているわけではありません。しかし、チューニングがとても巧妙で、大変上手く作り込まれています。

2020年2月に発売された町屋良平『坂下あたると、しじょうの宇宙』（講談社）の刊行記念で公開された「コンピューター詩人坂下あたる」のシステム制作も左馬氏が行っており、「詩マシン」がそのベースとなっております。

是非ご覧ください。

^* Bowman, S.R., Vilnis, L., Vinyals, O., Dai, A.M., Jozefowicz, R., Bengio, S. 2015. Generating Sentences from a Continuous Space. arXiv:1511.06349.

^** Yu, L., Zhang, W., Wang, J., Yu, Y. 2016. SeqGAN: Sequence Generative Adversarial Nets with Policy Gradient. arXiv:1609.05473.

保科宏樹氏が「量子論の諸問題と今後の発展（第7回）」（略称：QMKEK）で発表を行います。本研究はやまなみ書房 学術コミュニティー活性化事業助成金 (助成番号T00002)によって助成されています。

• 研究会名： 量子論の諸問題と今後の発展（第7回）（略称：QMKEK）
• 日時：2020年2月11日（火祝） 発表時間15:50–16:30
• 場所：高エネルギー加速器研究機構（KEK） 研究本館小林ホール前のラウンジ
  • 高エネルギー加速器研究機構 施設案内図
• 参加費：茶菓子代 1日あたり200円（要申し込み）
• 発表タイトル：生成消滅演算子にもとづく量子論理
• 研究会webサイト https://www-conf.kek.jp/QMKEK/

詳細はこちらをご覧ください。

Journal of Science and Philosophy Volume 3, Issue 1 (March, 2020) 掲載論文の一つを先行公開いたします。

• 先行公開論文： 書評:ケイト・マン 『ひれふせ、女たち』(小川芳範訳，慶應義塾大学出版会，2019 年)

［ＰＲ］

アメリカでベストセラーとなった分析的フェミニズムの著作Down Girl: The Logic of Misogyny, Oxford University Press, 2018の翻訳書が2019年11月30日に発行されました（ケイト・マン 『ひれふせ、女たち』(小川芳範訳，慶應義塾大学出版会，2019 年)）。本稿は刊行された訳書に対する本格的な書評です。本書の解説はもちろん、評者によるコメント・文献案内を含んでおり、分析哲学やフェミニズムにご興味ある方必見です！

詳しくはこちらをご覧ください。

保科宏樹氏が第9回 QUATUO 研究会で発表を行います。本研究はやまなみ書房 学術コミュニティー活性化事業助成金 (助成番号T00002)によって助成されています。

• 研究会名： 第9回 QUATUO 研究会
• 日時：2020年1月11日（土）
• 場所：崇城大学 熊本メインキャンパス 情報学科棟（F号館）9階
  • 崇城大学 アクセスマップ（崇城大学公式サイトへ）
  • 崇城大学 メインキャンパスマップ（崇城大学公式サイトへ）
• 参加費：無料（要申し込み）
• 発表タイトル：生成消滅演算子にもとづく量子論理
• 著者：保科宏樹，飯澤正登実，齋藤曉
• 研究会webサイト http://www.sceng.kochi-tech.ac.jp/koban/quatuo/doku.php?id=第9回quatuo研究会

詳細はこちらをご覧ください。

細谷曉夫著『解析力学』を2020年1月1日に発売開始します。

内容紹介

学部学生を対象に、解析力学独特の考え方の導入部に神経を使ったつもりである。最小作用を考える動機と起源など初学者が疑問に思うことを、実際に受講した東工大の学生から受けた質問を元に取り上げた。その一方で、類書にないトピックも取り上げた。例えば、摩擦のある系、ラグランジュの未定係数法の正当化と抗力などである。最後は、量子力学による最小作用の原理の正当化で締めくくった。

ダウンロード・購入

初版 2020年1月1日 発行

製本版はこちらでお買い求め戴けます。（書籍版 ISBN 978-4-909624031）

• Amazon
• 楽天ブックス
• 三省堂書店 各店 （店舗一覧） ※注文後の生産となります。店頭端末では在庫なしと表示されますがご注文戴けます。

発売はAmazon・楽天ブックス・三省堂書店のみとなっております。一般の書店ではお買い求めいただけません。

この書籍はクリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下で提供しています。

PDF版は無償で公開しております。

詳しくはこちらをご覧ください。

細谷曉夫著『解析力学』刊行予定。乞うご期待！

詳しくはこちら。

『形式論理探求 第2巻 様相論理のタブロー』（仮題）刊行プロジェクトが、高木翼氏の主導によりスタートしました。

第1巻 (2019年5月31日 初版発行) では古典論理のタブローが扱われました。第2巻では様相論理のタブローを扱う予定です。

「論理・タブローブックス」プロジェクト 第2弾！

詳しくはこちら。

やまなみ書房事務所を神奈川県相模原市から、東京都世田谷区に移動いたしました。新住所・電話番号は以下の通りです。

所在地	〒156-0043 東京都世田谷区松原5丁目22番地6番 リベラリティ内
電話番号	03-6869-4549
電話受付時間	平日 10:00–17:00 (お問い合わせはメールでいただければ幸いです)
E-mail	books@yamanami.tokyo
URL	https://www.yamanami.tokyo/

E-mail, URLに変更はございません。今後ともやまなみ書房をよろしくお願い申し上げます。

『形式論理探求 第1巻 古典論理のタブロー』の著者、高木翼氏がwebサイトを開設されました。

論理学に関しては『形式論理探求 第1巻 古典論理のタブロー』のweb版と言えるものが掲載されています。スマホ等でも読みやすく、古典論理初学者にとって大変便利なサイトです。

現在(2019年8月23日)、Prologの解説記事も執筆中のようです。

高木氏のwebサイト、ぜひご覧ください。