Unicode（ユニコード） Unicode 覚書【発音記号】
よく使う（管理人に限らず）と思われるUnicodeを枚挙してゆきたいと思います。Unicodeの便利さに気づいてから、それなりに日が経ちました。記事：ようやくUnicodeのありがたみがわかるようになってきました。Unicodeの打ち込み方...
Unicode（ユニコード） 
ChatGPT ChatGPTの誤り事例：読み間違い
レポートなり、テストの答案など、そして恐らく専門家でさえ、ChatGPTを使って答えを導き出す人が増えている、というのは想像に難くありません。このシリーズ（ChatGPTの誤り）で、私（管理人）が体験したChatGPTの誤りをまとめておきた...
ChatGPT AIが評価語を使うことについて
ChatGPTを使うことによる検索（別のAIツールを使ってもいいですが）は、単純なブラウザ検索（Googleが代表）に取って代わろうとしています。そこには「対話的」な面白味さえあります。しかし、最近「・・・は信用できない」といった表現をAI...
英語 requirement of という表現は可能か
requirementの後ろに続く表現はforが普通だろう。例 requirement for a president 社長の要件この「の」は「（である）ための」という意味になる。他の「の」を表すのにofを用いたい。そう考えた時、requi...
ChatGPT 【私見】ChatGPTの使い方
↑出だしでAIと話が噛み合わないというのは問題ではない↑私の担当する講義でもChatGPTで解答作成する学生さんが、目に余るほど増えて来たので、「そんなこと言わなくてもわかっているだろう」というレベルの話だと思い込んでいたのですけれども、私...
日本語 カタカナ（片仮名）ンの小文字がない
Wordで文章を作成するときに頭痛の種となるのが、小文字のンがないことです。現状について、まとめてみました。下付き「ン」にするしかない。Wordでは、下付き文字にすることができますので（タブ「ホーム」→「フォント」→「X2」）、それを使う、...
論理学 【集合論や数学記号】Word（MS明朝体）での記号の出し方
Wordを使って文章を作っている時，わざわざCambriaMathを使うなどして記号を入力するのが面倒なひと（例えばメールのやり取り）のために，集合論の記号を枚挙しておきます。記号論理は☟こちらを参照してください。共通部分・積集合・交わり ...
Unicode（ユニコード） Unicode【数学】
発音記号についてのUnicode覚書を非常に重宝しています（管理人が）。なので今度は論理・数学の記号を枚挙してゆきます。補集合の上付きバー = 0305上付きCや，/で補集合を表さずに、上付きバーで補集合を表したい時のUNICODEは、03...
英語 英語時間表現 1789-1799 はどう読むのか？
英語の専門家も恐れて手を出さない表現に - があります。はっきり言って私も考えたくないのですが、ずっと引きずって来た問いなので暫定的にまとめてみます。en dashでありhyphenではない。まず 1789-1799 といった英語表現で使わ...
論理学 【命題論理の証明問題】⊢ p→(p→(p⋁q))
文型理系に限らず，記号論理の証明問題ができない人はびっくりする位います。本記事では，その考え方を伝えたいと思います。真理表があれば命題論理の証明問題（いわゆる構文論）を解く必要はない、と考えるのは間違いです。なぜ間違いなのかは、それなりに論...