予定調和とは - はてなキーワード
哲学者ゴットフリート・ライプニッツが形而上学説モナド論（モナドロジー）において提唱した考え方。 ライプニッツのモナドは合成体ではなく究極の単純な実体であり窓を持たず相互に関係を持たず、自己独自の内的論理のみに従って変化する。そこでモナド相互があたかも関係を持って変化し、ひとつの同じ世界を「反映」しているのは何故かという問いが生まれる。これは同時にライプニッツのモナドが魂でもあることから、心身の並行関係の根拠への問いともなり、複数の主観が同一の現実を経験しているとみなせる根拠は何かという問いでもある。 そこでライプニッツの答えは、神が、予め、個々のモナドが結果として一致して、ひとつの宇宙を反映するように、うまく初期状態を定めたからだ、ということであった。たとえば二つの異なるメカニズムの時計をそれぞれ同じ時刻に鳴るように仕組んだ場合、二つの時計の間に相互作用はないにもかかわらず、あたかも相互作
動的型とか静的型の話の前に「作者の気持ち」を考えろ - mizchi log
自分の思考を整理する意味でも、件のアレについて考えたことを書いてみる。 変数に型がないということの利点について考える - サンプルコードによるPerl入門 http://d.hatena.ne.jp/perlcodesample/20130227/1361928810 この件に触れることはプログラマとしての中二病である。恥ずかしい。マジレス乙だ。 でも気づいたら5000文字も書いてしまったし、公開して酒のんで寝る。 型のフローは機械のためだけでなく、人間に対するものでもある 最近TypeScriptを書いている。こいつを使って、二次元座標上で二点間を求める関数、getDistanceを定義してみよう。 interface IPoint { x: Number; y: Number; } var getDistance = (a:IPoint, b:IPoint): Number => Ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
