最上の日々 - 数学を表現するのに最適な媒体はコンピュータである

▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると

[marmotY]

良い言語化。

[kiyo_hiko]

個人的には6/12と6/14がおもしろかった。「うまれる前から死んでいる技術がある。少なくともその一部は屍臭からそれと分かる。」ソフトウェアはちいサイズを積み重ねてデータを分離することが大事なのだと

[propella]

[あとで読む] 全体的に面白い事が書いてあるので、もう一度 あとで読む

[webmarksjp]

business

[shigeo-t]

あはは。よく見かける。

[k1m]

"つまり改良が不可能なような気がするのは、最終的にどうするべきか分かっていないからなのだ。"

[sshi]

未来の、「数学を支援するツール」の話の補足。なんだけど「あ、そういえば、紙とエンピツを手にしていない時、人間はチューリング完全ではないと私は思っている。多分。」の部分が一番おもしろい。

[kururu_goedel]

Coqとかはありますが。証明を記述することだけが数学を表現することではありませんし、論理を追いかけるだけでは理解したとは言えませんし、少々一面的な見方かと思います。

[yshl]

地球近くを周る軌道だと望遠鏡間の距離が変化して干渉させるのが難しくなると思います。地球の公転軌道っぽいものだと太陽と地球のL2点に置くESAのDarwinなどがありますが。

[Nean]

でも同じ様なことは文系の論文類にも当てはまる。哲学なんて再解釈の歴史みたいなもんだもん。で、省略なしとことん説明型記述が可能になれば、スノッブ型の論文を絶滅させられるかも。無理かなぁ(^_^;;

[Schuld]

「もしかすると素人考えなのかも知れないけど、文系学術の本質は文献や史料を見つけることとその信頼性について判断する技術なのではないか、と最近は考えるようになった。」

[joan9]

なるほど

[godaxp]

どっきりどきんちょ

[rxh]

美しい言葉だ…

[jintonny]

けっこー目からウロコ

[yuu013]

最後が見えてないから。

[tokyocat]

《改良が不可能なような気がするのは、最終的にどうするべきか分かっていないからなのだ》

[chamiso]

よくある

[suVene]

目標が分かっていて、修正経路を考えたときに、最初から作るほうがコストとリスクが軽いと思われる時に作り直したくなる。そういう場合は少ないのと、目的が見えていないで癇癪しているのを一緒くたには扱えない。

[kkobayashi]

なんかもうムキー！ってなるんだよね。リファクタリングで何とかしてるうちにますます悪化しそう。

[hiro_y]

「目標が分かって無いときにこそ、何もかも放棄して作り直したくなるもの」

[tks_period]

重要なポイントの整理：　(1)「弱者の声→問答無用の世論」となる過程　(2)発言者の属性によって変化する、記事から「読み取られる」意味

[I11]

「最初から作り直すのは大抵は間違いだ。地道なリファクタリングで大抵はなんとかなる」に同感。単に修正の仕方を知らないだけ。人生も同じかも。少しずつ修正するのが正しいことが多い。

[overtake]

はじめからやり直したい症候群

[fuki1234]

目標が分かって無いときにこそ、何もかも放棄して作り直したくなる

[stealthinu]

『最終的にどうしたいのかが分かっていれば、大抵は連続的な変形/改良の経路を発見する事ができる。つまり改良が不可能なような気がするのは、最終的にどうするべきか分かっていないからなのだ。』

[akkun_choi]

何をしたいかわかってないから

[hirok73]

プログラムというのは書くのより読むほうが難しい（ジョエルオンソフトウェア24章）

[ced]

「つまり改良が不可能なような気がするのは、最終的にどうするべきか分かっていないからなのだ。」