意味論

意味とはなにか。この問はつまり「”意味”の意味を探ること」に他ならないがこれは一見変な感じがする。しかしここではそのことについては一切考えず”意味”の意味を探る。 意味を問うときそれは”何か”の意味を問うのである。そしてその”何か”とは様々なものが考えられ、例えば日常的に用いられる各種”単語”であったり、何者かの行動、有様などがあげられる。ここでは「単語」、「行動」、「有様」の３つに焦点を合わせて考えていく。 「単語」とは日常的に用いられる”りんご”とか”食べる”といったワードのことである。”食べる”のような動詞（単語）を「行動」について考えるときにも文中で出すが、これは「単語」におけるそれと…

「構文付き変換手インスティチューション 1/n」で言い残していることはあるのですが、いったんそれは棚上げにして構文付き変換手インスティチューションの実例を挙げます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\op}{ \mathrm{op} } \newcommand{\In}{\text{ in }} %\newcommand{\u}[1]{\underline{#1}} %\newcommand{\o}[1]{\overline{#1}} \newcomman…

随伴系、モナド、モナドのアイレンベルク／ムーア代数、自己関手のランベック代数、ベックの分配法則などを扱っていると、こういうモノ達を系統的に組織化したい、という気持ちになります。代数的構造の組織化のためには、ゴグエン／バーストル〈Joseph Goguen, Rod Burstall〉のインスティチューションが優れたフレームワークです。が、上記のような構造を扱うには幾つかの問題があります。 抽象的過ぎる。 構文を表現する手段が貧弱。 高次元のサポートがない。 そこで、具象的で構文を表現できて高次元（当面は2次元）を扱えるインスティチューションを考えようと思い立つわけです。もう何年も前からそう思っ…

ながゆめのねむりもさめて梁あがる涙まじりの淡いため息 去るひとよものみな寂しかたときも放さなかつた希みもあらじ 意味論のむいみをわらう線引きの多き書物の手垢をなぞる 夏よ──ふたたび駈け抜けん未勝利レースきようも観るのみ 桃のごと手のひら朱む水場にてだれかがいつたわるくち落とす アレックス夢見る真昼最愛もなくて贖う「汚れし血」なぞ 鞭のように蛇ぶらさがる樹木あり「美少女図鑑」ふと落としたり はつ恋のような初夏汗滲む肉慾はなし さらば青春 来訪もあらず室にて梨を食むこのひとときのむなしさを識れ 方代の額髪青き時代なぞ午睡のなかにひとり現る 雨踊る駅まで趨る終列車到着時間ぎりぎりの脚 大父の死に誘…

Effective C# 6.0/7.0作者:Bill Wagner翔泳社Amazon ※2024/4月現在、C# の最新verは12であることに注意 C#をより良く書いていくためのtips集。細部的かつ具体的なtips集のため、なかなかスイスイと読んでいくのは難しい。もう少し抽象度の高い記述、コンセプト化があると読み進めやすいだろうなと思った。ただ、苦労しながら読んでいくうちに、筆者の一貫した価値観といったものを感じ取れ、中級以上を目指すための適切な心構えを感じ取ることができた。まとめると、抽象的な学びは下記の通り。 ■本書のメッセージを抽象化して理解すると 歴史のある言語なら、同じ目的を達…

Webデザイナーとして活躍するためには、HTMLコーディングのスキルは不可欠です。本記事では、WEBデザイナーの方々に向けて、HTMLコーディングの練習におけるポイントを徹底解説します。以下は、この記事で取り上げるポイントを示した目次です。 1. **HTMLコーディングの基礎を理解しよう** - HTMLの基本構造とタグの使い方 - セマンティックなHTMLの重要性 2. **HTML5の新機能を活用したコーディングテクニック** - 新しいセクション要素やフォーム要素の活用方法 - CanvasやVideoなどのマルチメディア要素の使い方 3. **SEO対策に役立つHTMLタグの使い方*…

グロタンディーク構成とその逆 Diag構成 Fam構成 Atlas構成 特定形状の前層構成 特定形状の余前層構成 関手意味論 モデル構成（指標とターゲットからモデル圏を構成する） アイレンベルク／ムーア構成 クライスリ構成 ランベック構成（自己関手から代数の圏を作る） 随伴-モナド・構成 随伴-コモナド・構成 Para構成 オプティック構成 スライス構成（スライス圏、デカラージ、ファイブレーション）とコスライス構成 スパン構成、コスパン構成 クインテット構成、反クインテット構成 プロ円板構成（二重権から2-圏を取り出す） Core構成（圏から亜群を取り出す） ベック分配系から2個の演算を持つ代…

オットー・ブルンナー、ヴェルナー・コンツェ、ラインハルト・コゼレックが編集した全8巻の Geschichtliche Grundbegriffe（歴史的基礎概念）という事典がありますが、その批判的継承をめざした、Das 20. Jahrhundert in Grundbegriffen という事典のオンライン版の刊行が始まりました。リンクを貼っておきます。 Ernst Müller/Barbara Picht/Falko Schmieder (Hg.), Das 20. Jahrhundert in Grundbegriffen, Schwabe Verlag. 約150の見出し語のなかで、ド…

カプチ／マイヤース〈Matteo Capucci, David Jaz Myers〉の依存アクテゴリーは、アクテゴリーと二重圏の中間にある、ほど良い感じの概念的フレームワークです（「依存アクテゴリーが面白い」参照）。まだ定義さえハッキリしない状態ですが、僕は期待してます。「依存アクテゴリーに向けて」より： 事例がないと何していいか分からないので、事例を探すことにします。 けっこう良い例が見つかった！ 別に新しいモノではなくて、昔から僕が使っていた構造です。が、依存アクテゴリーだと思って眺めると、新しい側面が見えて新鮮です。$`\newcommand{\mrm}[1]{ \mathrm{#1} …

デジタル庁が公開している「デザインシステム」の内容を自分用に整理しました。 デザインシステムとは？ （手引き） カラースタイル デザイントークン キーカラー 共通カラー 機能カラー アクセントカラー セマンティックカラー ニュートラルカラー プリミティブカラー 2.0 角の形状 エレベーション 画像のアスペクト比（＋レイアウト） 余白 フォント 見出し 参考 デザインシステムとは？ （手引き） デザインシステムとは「あるべきデザインを一貫性を持って、ユーザーに提供するための仕組み」のこと。 デジタル庁のデザインシステムは、使い勝手のよい（行政サービスを）効率よく構築するためのガイドライン or…

日常に対価はない。それだけしか考えていない。 価値がないとは言わない。各々の日常に各々の価値はあるし、それを大切に守る人の行為を蔑みたいわけではない。 でも、日常に対価はない。何にも替えられない。大した意味がない。 ”平日”に仕事をしないで眠っていることは労働の逆張りとして意味があるけれど、休日に遊ばないことは"休日"の意味論的下位互換でしかなく、なんの意味もない。本当にお金がないわけではないけれど、とにかくお金がない。本当にやる気がないわけではないけれど、とにかくやる気がない。本当に体力がないわけではないけれど、とにかく体力がない。 平日にいるときは土日をオアシスのように臨み続けるが、たどり…

substack notes向けに書いた独り言をこっちに転用。ただの思いつきであり、大きな間違いはないと思うが確認はしてない フォーダー&ルポア「意味の全体論」は、(比喩や見栄ではない)私の文字通りの愛読書だが、最近もチャーチランドの章を読み返した。チャーチランドはコネクショニストとして有名だが、対してフォーダーはコネクショニズム批判で有名だ。この本でもコネクショニズムを批判に論じているのだが、今の大規模言語モデルの時代に読んでもなかなかに面白い。 フォーダーのコネクショニズム批判として有名なのは、言語の体系性を反映できないことだが、それは他の学者による最近の論文でも大規模言語モデルの欠点とし…