オブジェクト思考
Blogger で 無理やり Markdown を使うために、今までは Tips - MarkdownをHTMLにembedする : 404 Blog Not Found の方法を使ってました。 簡単に言うと、textarea 内に Markdown を書いて、js で HTML に変換するってだけです。 この方法のいいところは、Markdown -> HTML 変換なしで Markdown のまま post できることです。 自分で HTML に変換してから post だとそのワンステップ自体も、後で Markdown と HTML を同期するのも面倒ですから。 この方法の問題は、スマートフォン等のモバイルデバイスでうまく表示できないことです。 そりゃナシだろってくらい致命的な問題ですが、これまではそれを知ってて無視してました。 アリテイに言うと、スマートフォンからのアクセスを捨ててたわ
圏論とオブジェクト指向 - 檜山正幸のキマイラ飼育記 (はてなBlog)
あっ、そういえば http://d.hatena.ne.jp/m-hiyama/20051124/c/ ： 圏論とオブジェクト指向の関係は、というとね …… コメントじゃ場所が窮屈だな、いずれまた本文で なんて書いたことがある、だいぶ前に。発端は、http://d.hatena.ne.jp/bonotake/20051127/1133025173 とか http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20051112#p01 あたり。 「圏論とオブジェクト指向は別に関係ないっす」と言うのが、とりあえずは無難で妥当な答えだと思いますよ（身も蓋もない）。 僕はオブジェクト指向ってよくわからない。なんか小難しくて。経験豊富な人がある主張をしますね、別な経験豊富な人が反対の主張をしたりしまして、僕には何がホントのことか判断できない。恣意的な党派対立なのか、
圏論とオブジェクト指向：資料編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
圏論とオブジェクト指向で： 以下は、説明は全部省略して、単に僕が見ている“景色”を述べるだけです、あしからず。 と書いたのですが、参考になりそうなURLだけ記しておきます。 インスティチューションの中心人物はGoguen（http://www.cs.ucsd.edu/users/goguen/）です。彼のインスティチューション・ページ（http://www.cs.ucsd.edu/~goguen/projs/inst.html）をハブに使えます。 抽象モデル論という発想はバーワイズ（Barwise）が先のようですが、文（sentence、命題、制約）の集合を天下りに“単なる集合SenΣ”にしてしまったところが、Goguen/Burstallの割り切り。バーワイズもGoguenも、分野横断的に精力的な活動をしていて、現代のプチ“ダ・ビンチ”という感じですね。 Maude（http://mau
オブジェクト指向ってなんだっけ？
pokarim @pokarim オブジェクト指向は、集合論<->圏論のアナロジーでいくと、とても集合論ぽく感じているんだけど、これはただの自分の個人的なイメージ。どうしたらちゃんとした議論にできるかな。 2011-01-06 00:11:11
クラスとは何かを集合論から考えなおす - 2009-03-08 - きしだのはてな
いま論理学とか集合論とかを勉強してるので、クラスって何かという話のときも集合論として考えてた。 なので、そのとき考えたことをまとめておく。 まず、「なにか」があるとする。「なにか」はなんでもいい。 そして、その「なにか」の集合を考える。たとえば"aaa"や"bbb"を要素とするStringという集合を考える。3とか5とかを要素とするIntegerという集合を考える。 ここで、その集合がなにを扱うかという規則をどうするかというのがオブジェクト指向としては大切になるかもしれないけど、今回はそこには触れないでおく。 とにかく、「なにか」と『「なにか」の集合』を考えることをここでは大切にする。 これで『「なにか」の集合』を考えたところで、『「なにか」の集合』を要素とする集合を考えて、この集合をクラスとする。つまり、クラスという集合は、StringやIntegerといった集合を要素にもつ。 ここで、
innumerate memo » オブジェクト指向の歴史 数学と論理学の融合
オブジェクト指向のプログラミングに、論理学と数学的な論拠を提供したのは、タイプ理論とクラス理論を定義した１９１０年の「プリンキピア・マテマティカ」の序論であった。 ホワイトヘッド、ラッセルプリンキピア・マテマティカ →クロード・シャノン→イヴァン・サザランド それまでの流れ ・ルルス アルス・マグナ（参考：千夜千冊ライプニッツ） ・パスカル ・ライプニッツ -変化をモデル化する微分方程式により、数学は世界を動的に 記述することができるようになり、問題に対する最適な解法を発見 していくことができるようになった。 -関数の創始者 -普遍言語の可能性を模索 -２進法 -ジョージ・ブール 命題論理に発展 ・バベッジ -蒸気機関で動く計算機 ・パース -プロセス哲学者 パース、ベルクソン ラッセルの自叙伝のページが少し面白い。 Comments mySQL err
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
福岡大学研究者情報 ( 理学部 応用数学科 助教 濱田 龍義 )
集合論のクラス: やりたいことで自分らしく成幸する方法：あるベイトソニアンの独り言
http://www2.ee.knct.ac.jp/el/E3/E305/H16/oop.html
ソフトウエアエンジニアのための記号論理学とオブジェクト指向開発: 技術戦略アドバイザ／開発テクノロジーコンサルタント ハシモト・タカナリのエンジニアリング日記