t_hayashiは形式化したい
- fujitapiroc1964
- 1782
- 19
- 0
- 0
@fujitapiroc1964 このご投稿についても、次に一言しておきます。 twitter.com/fujitapiroc196…
2024-01-02 20:20:22@t_hayashi おっしゃりたいことはわかります。だけど言語の形式化で曖昧さを回避できるかどうかは、俺には疑問です。工業規格担当の知財の専門家とか法曹界の人たちの意見とか聞いてみたいところですけど。
2024-01-02 17:32:12@fujitapiroc1964 法文には、法技術上の理由から、文言にあえて曖昧さ(「抽象性」といった方が適当かもしれまさん)を残している側面も多分にありますので、悉く「形式化で曖昧さを回避」することはむしろ求められていないのではないかと思います。
2024-01-02 20:21:04途中から例によって脱線したことを言い始めるジタさん
フィードバックの機会を誰にも与えぬまま毎日一定量の無駄口を叩き続ける「て日々」という意味不明のウェブコンテンツが世の中にはあるわけだが、最近は中の人がくたびれ気味で、お世辞にも饒舌とはいえなくなっている。
2024-01-02 20:14:18MarriageTheoremさんのコメント
@fujitapiroc1964 関連するかわかりませんが、以前こういうツイート twitter.com/MarriageTheore… をしたのを思い出しました。議論の形式的記述化が「唯一のグローバルな名前空間への帰依の強制」に繋がらないかという懸念があります。
2024-01-02 20:06:35(承前)こうした「定義の揺れ」に対応する術がないと、定理証明支援系の普及が、ある概念の「唯一の正しい定義」を定める行為に繋がってしまい、それは「数学の自由性」と相反するものになりかねないのでは、と危惧しています。 (この辺りが解消されるのであれば、強力な道具だと思いますが…。)
2023-10-25 11:05:48@MarriageTheorem ありがとうございます。大いに関連すると俺は思います。形式化ということにつきまとう問題ですね。
2024-01-02 20:09:38@fujitapiroc1964 お返事ありがとうございます。多分、「まっさらな状態から始めて形式化された体系を作り上げる」のと「現存する非形式的な体系から形式的体系に(現在の非形式的体系のユーザを満足させる形で)移行する」のとでは難度が桁違いなのでしょう。(業務システムのデジタル化の難しさをも連想します。)
2024-01-02 20:17:52そもそも計算機科学の基本概念の一つであるチューリング機械の定義からして複数の異なる流儀がある(例:テープの左端からさらに左移動の指令が下った場合に「動作を終了」 or 「ヘッドを動かさず続行」)、という事案に思いを馳せている twitter.com/t_hayashi/stat…
2024-01-02 20:41:18@fujitapiroc1964 @Nr2YcdmDGE53729 @wagatsukireizen @squawai 数理論理学や計算機科学でいう形式言語にかぎらず、議論をしている両者のあいだに何か共通認識がえられればいいんですが、そのためには、あるいていど数理論理学あるいは計算機科学でいわれるような形式言語に範をとったものを想定するのがよいとはおもっています。
2024-01-02 20:19:54