Books pro

  SpecC は、組込みシステム（ハードウェア＋ソフトウェア）を システムレベル で記述するための設計言語です。位置づけとしては ANSI C を拡張した言語 で、Verilog/VHDL のような低レベルHDLに落とす前の、上流の仕様化と段階的な具体化（リファインメント）に...

  ■ 鈴木大拙『日本的霊性』 戦時期に書かれた思想書。国家のための日本精神ではなく、禅や浄土に見られる個の内面の宗教的覚醒を「霊性」として捉え、日本文化の深層を静かに描き直した。 ■ 本居宣長 江戸中期の国学者。『古事記伝』などの注釈を通じ、日本には外来思想以前の「真心」「もの...

  ハルシネーションは「誤謬（ミス）」ではなく「生成的メカニズムの性質」である理由 ここでいう 誤謬（error） とは、 「本来あるべき唯一の正解から逸脱した結果」 を指します。しかし、LLMにおけるハルシネーションは、そもそも 正解を参照する仕組みではなく、確率的生成を通じて...

  「いわゆる“天文学的数字 (astronomical odds／astronomical numbers)”」だと考えるなら、確かに 1／14,000,605（約1400万分の1）は その“天文学的”の中では比較的小さい部類 で、宇宙や生命、偶然の産物などを論ずる場で使わ...

  量子真空（quantum vacuum）は、**「何もない空間」ではなく、量子場が必ず持ってしまう“最低限のゆらぎ”がある状態（基底状態）**のことです。 1) 「真空」なのに何があるの？ 古典物理だと真空は“完全にゼロ”ですが、量子論では場（電磁場など）を量子化すると、エネ...

  人それぞれ本の読み方がある。こういう読み方もあります、というのを、ツールも交えてご紹介します。 本をたくさん読みますけど、通しで読んだことがない人　栞 付箋 フィルム【10色各20枚 200枚×3冊 600枚入り】インデックス 付箋 見出しシール ふせん リングノートに取付可...