タグ

ブックマーク / dl.dropboxusercontent.com (3)

  • 京大受験生のための退学エントリ あるいは教育機関としての京都大学に対する一考察

    1 京大受験生のための退学エントリ あるいは教育機関としての京都大学に対する一考察 京都大学工学部を中退します。退職・退学エントリに見習って書きます。長く続くブログとかで書くつもり はないのと、あと日記とかそういうのをやると三日坊主で終わるんで多くの人の目に触れられるように増田 に投下します。1 一般に京都大学を退学する人は少ないです。おおよそ学部ごとに数人程度であり、1 割を超えることはほぼ ありません。ほとんどの人が、京都大学に入れば、卒業します。僕も受験生の時は、なぜ京大に入ってまで、 中退するんだろうと、統計資料を見ながら不思議に思ったものです。 現役で入ってからしばらく真面目に通っていましたが、留年を機に二年ほど続けて休学し、時折思い出し たように大学に行き、気づいたら入学してから八年が経過していました。やり直す最後のチャンスが巡って きました。京都大学を退学すべきか、卒業すべ

    Nyoho
    Nyoho 2015/11/16
    素晴らしい。ここまでそこの教育の問題点をまとめて指摘できるとは。理事になられては!
  • Watch YAPC ASIA 2015 #yapcasia

    Nyoho
    Nyoho 2015/08/21
  • モナドって結局何なのよ? — join to Monad v0.1.3 documentation

    モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね、Haskell って。コンピュータ言語らしいんです、あ、それは分かってると。良く挙げられる性質は次な感じ?: 関数型言語 強い型付け 遅延評価 参照透過 ここでちょっと型に関して見てみましょう。試しに Haskell の実装の 1 つである Hugs で 1 について考えてみます。Hugs では :type や :info というコマンドで hugs に型の情報などを質問することができます。例え

  • 1