RT @verypluming: 人工知能学会誌でインタビューして頂きました。人工知能37巻5号学生フォーラム第113回谷中瞳先生インタビュー「人間のように言語の意味を理解する言語処理技術を目指して」https://t.co/ymAOBuHtvt 研究内容、女性・社会人の博士進…

証明論的意味論、自然言語の意味論にも活用されているらしくておお～ってなっている https://t.co/seF8yruZRz

文脈自由言語と文脈依存言語の間にある言語クラスに関しても色々と研究されているらしい 関浩之, 鯵坂恒夫 (2011)『ソフトウェアサイエンスの基本』シリーズ第1回 「言語理論の話をしよう」 https://t.co/YILY0Zeyhr

発表します:人工演繹推論コーパスによる学習は言語モデルをどのように強化するか？ https://t.co/0HpxPvAup9 言語モデルの論理推論能力を強化するため、数理論理学に基づく大規模コーパスを生成したよ。一階述語論理の完全性を頼りに、多様な多段演繹推論を学習させる。実験で効果を確認。 #JSAI2023

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。

人工知能学会誌でインタビューして頂きました。人工知能37巻5号学生フォーラム第113回谷中瞳先生インタビュー「人間のように言語の意味を理解する言語処理技術を目指して」https://t.co/ymAOBuHtvt 研究内容、女性・社会人の博士進学、エンジニアのマネジメントと研究室運営の関連など語ってます。ぜひ

論理式の定義がなぜ循環的定義ではないのかについて調べていたら、難しそうな話に突入した https://t.co/yNzNDiK0aH

@hartZucker 生成文法は門外漢なのですが、もしこのペーパー（https://t.co/JIAmilwPv4 のp.1）にあるようにmergeがcurry化と同一視できるのなら、mergeの代替になる表現はあり得ても、mergeより単純な表現はあり得ないことになる気がします。 https://t.co/r4recfn3Wh

いい話「発想は，著者が NAIST の 修士課程在学中に研究室内で雑談をする中で生まれた．当時の松本研究室では，特定曜日の19時頃から一部の学生がゼミ室に集まって勉強会を開く文化があり，勉強会終了後も 0 時頃までだらだらとゼミ室で雑談に耽ることが多かった．」 https://t.co/coIfJ57JK0

『科学基礎論研究』収録の論文が、オンラインで公開されました。グライスの話です。 J-STAGE Articles - 会話の格率の三つの破りかた https://t.co/psZuFK3bA4

【宣伝】 私の初めての論文が『科学哲学』54巻1号に掲載されました。いわゆる規則のパラドックスに対してクリプキが与えた懐疑論的解決を再構成し、その整合性を擁護しています。 https://t.co/7VrdIkY4uR