エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
正確な記述と演繹のための非日本語記法 - 檜山正幸のキマイラ飼育記
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
正確な記述と演繹のための非日本語記法 - 檜山正幸のキマイラ飼育記
少し前に「TypeScriptで(無理して)論理式: 言霊排除」という記事を書きました。タイトル内の「言霊排... 少し前に「TypeScriptで(無理して)論理式: 言霊排除」という記事を書きました。タイトル内の「言霊排除」の意味は、次のようなことです。 自然言語(日本語)には言霊〈ことだま〉が宿るとかいいますが、強烈なイメージ喚起力は言霊のパワーなのかも知れません。...[snip]... 数学的・論理的な命題の記述と解釈においては、言霊の影響 -- 現実世界や感情の世界への連想・参照 -- をできるだけ排除したい。...[snip]... ともかく、命題を扱う際は真偽判定に集中してください。言霊の影響を断ち切ってください。 命題自体を日本語(自然言語)で書くのをやめても、その周辺で使っている日本語により、またしても日常的な不正確さ/曖昧さ/根拠薄弱な推論の悪習へと引きずり込まれてしまうことがあるようです。なんとかせねば。 この記事の内容は「証明の“お膳立て”のやり方」シリーズと類似してますが、よ