クラスとは何かを集合論から考えなおす - 2009-03-08 - きしだのはてな
いま論理学とか集合論とかを勉強してるので、クラスって何かという話のときも集合論として考えてた。 なので、そのとき考えたことをまとめておく。 まず、「なにか」があるとする。「なにか」はなんでもいい。 そして、その「なにか」の集合を考える。たとえば"aaa"や"bbb"を要素とするStringという集合を考える。3とか5とかを要素とするIntegerという集合を考える。 ここで、その集合がなにを扱うかという規則をどうするかというのがオブジェクト指向としては大切になるかもしれないけど、今回はそこには触れないでおく。 とにかく、「なにか」と『「なにか」の集合』を考えることをここでは大切にする。 これで『「なにか」の集合』を考えたところで、『「なにか」の集合』を要素とする集合を考えて、この集合をクラスとする。つまり、クラスという集合は、StringやIntegerといった集合を要素にもつ。 ここで、
モナドはメタファーではない · eed3si9n
2011-05-28 Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた “Monads Are Not Metaphors” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三年前、僕は絶対にモナドの記事だけは書かないと自分に約束した。既にモナドに関する記事は有り余っている。記事の数が多すぎてその多さだけで多くの人は混乱している。しかも全員がモナドに対して異なる扱い方をしているため、モナドの概念を初めて学ぼうとする者は、ブリトー、宇宙服、象、砂漠のベドウィン (訳注: アラブ系遊牧民) の共通項を探す努力をするハメになっている。 僕は、この混乱した
【面白!】『サブカルで食う 就職せず好きなことだけやって生きていく方法』大槻ケンヂ : マインドマップ的読書感想文
サブカルで食う 就職せず好きなことだけやって生きていく方法 【本の概要】◆今日ご紹介するのは、ロックバンド「筋肉少女帯」の大槻ケンヂ氏による、パーソナルブランディング風味のエッセイ。 最近、勝間さんの新刊『「有名人になる」ということ』と比較したり一緒に読まれている方のツイートを見て、思わず買ってしまいました。 アマゾンの内容紹介から一部引用。ミュージシャン、小説家、エッセイスト、テレビタレント、ラジオパーソナリティ、俳優……数十年に渡りサブカル界の第一線で活躍してきた大槻ケンヂが、自身の活動を振り返りながら、定職につかずに「サブカルで食っていく」ために必要なことを、若者や元若者へ伝授！ ライムスター宇多丸とオーケンによる『サブカル対談』も収録。 なるほど本書はオーケン版『「有名人になる」ということ』と言えるかもしれません！ いつも応援ありがとうございます！ 【ポイント】■1.何かを表現する
最強のIT系かあちゃんからたかしへのアドバイス
バーンれっどさーん @ledsun たかしへ あなたの勤怠確認しました．こんなに残業が多い割に大して売上が上がってないのはどうしてですか？顧客との信頼関係の構築も甘いとと思います．来月からは頑張って下さい．ちなみに母さんは今月、10人月で作ったシステムを3000万で売ってきました。 2012-02-24 13:21:23 バーンれっどさーん @ledsun たかしへ あなたの立てたスケジュール読みました。作成工数だけでバッファがありません。予想外の事態が起きた時はどうするのですか？残業でカバーですか？お客様が参加するイベントが入っていません。都度調整ですか？事前に提示していないと都合がつかなくても納期延長できませんが大丈夫ですか？ 2012-02-24 13:46:29 バーンれっどさーん @ledsun たかしへ あなたの作った機能仕様書読みました。技術的面ではチャレンジグで素晴らしかっ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
型と集合 - しげるメモ
テクノロジー : 日経電子版
