最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
ガタガタ言わずに強くなるか「僕は全部駄目です」と諦めるかすれば？ - シロクマの屑籠
200X年の、恋愛相談を思い出して。 「僕じゃ、彼女に迷惑をかけるから」 だったら迷惑にならない、有益な男になればいいじゃないか。 「僕じゃ、彼女を守ってあげられないから」 守りきれるような男になってしまえばいい。 「僕じゃ、彼女と釣り合わないから」 釣り合うように、男をあげればいい。 「僕はキモメンだから」 キモいという短所を軽減する方法論を研究したのかね？キモさを上回る長所を伸ばしたのかね？ 「根性無いから、努力できません。そのうえ才能もルックスもないからダメなんです。」 そりゃダメだわ。 そんな風にガタガタ言い訳する暇があるなら、強くなっては如何でしょうか。モテるモテないなんて喚いてないで、自分を限界まで強化したほうがいいんではないでしょうか。駄目なものは駄目というのは同意しますけど、ホントに全部、隅から隅まであなたは駄目なんですか？確かに今日日の男女交際で高値取引されやすいスペック
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
