『現代意味論入門』読書会
招待リンクは主催者にDMするかどこかの鯖で拾ふかで
かそろ氏と共に『現代意味論入門』を読み進める会でした
形式意味論
二月末から六月一杯ごろまで？活動
ほぼ聞き専だけど個人的なメモは/keisikiimirontokanomemo/に
元々Gistで書き始めたけど数式とかはScrapboxに軍配かなとなり
頓挫して放置
数学徒勢と主催者が全章何とか/難なく理解に達するのを横目に
読書会総まとめコンテンツを期待してたけど望み薄か
可能世界内包タイプ理論のダウンアップのあたりで落伍者と化してた
そのくせカスタムemoji作りに勤しむ
可能世界の章までは事前知識の貯金で賄つてた
/keisikiimirontokanomemo/先人の読書メモだと寧ろ可能世界の章から読書スタートみたいな雰囲気
基礎知識の格差ェ…
厳密に形式的な理解とは別のゆるふはアプローチで自力での理解に至りたい気持ちがある
膨張する一方の妄想/野望
モンタギュー意味論とかロジバンにも適用できないかなと
montagovian