前ふりは「型→代数→…それから:型理論入門(の前半)」にあります。これは本編(後半)。1回読み切り(長いけど)で、比較的新しい*1型理論を紹介します。「入門(門に入る)」というよりは門の外から中を覗いてみる程度。 説明用コードはJavaの構文を使います。ただし、パッケージ宣言は書かないし、publicはなるべく省略。 内容: インターフェースなんて、所詮こんなもの 心理的効果とか、人間-人間コミュニケーションとかは、別問題 わけわからんインターフェースに制約を付加する もっと制約を足してみる 謎のインターフェースに意図されたもの で、それが型理論にどうつながるの? インターフェースなんて、所詮こんなもの まず、次のインターフェースを見てください。 interface AB { int a(); void b(); } これスゴイでしょ。何がスゴイって、これを見てもなんのことやらサッパリわか
「みんなのGOLF」シリーズは1997年にPlayStationで始まり、誰でも爽快なゴルフを楽しめるゲームとして愛され続けてきたゴルフゲームシリーズ。 シリーズ初のPS4タイトルとなる『New みんなのGOLF』は、ゴルフの楽しさ、爽快感、奥深さを味わえることはもちろん、コースで釣りをしたりカートに乗ったりと、「みんGOLファー」ライフを楽しむことができるゴルフエンタテインメントゲーム。シリーズ初の様々な要素で、ひとりでも、友達や家族とでも爽快なゴルフを楽しめちゃう! 広々としたコースで、さらに爽快に!シリーズならではのゴルフの楽しさはそのままに、9ホールが一体となった広々としたオープンコースで、さらに爽快で戦略的に! 9ホールが1つになったことで、隣接しているホールからショートカットが狙えるところを探して攻めることができるなど、攻略の幅が大幅に広がった。特性の異なるコースがそれぞれOU
このブログを始めた一つのきっかけは、価値観に根ざした習慣である「7つの習慣」と、日常のタスクマネージメントに密着した「GTD」のバランスこそが今後非常に重要になるだろうと思い、それを両方とも追いかけるブログを作ってみたかったのがあります。 しかしその二つに次ぐ、第三の潮流だと思うのが先日から紹介している Tim Ferris の The Four-hour Work Week です。自分の夢・目標に忠実になり、それに必要ない仕事は消去するか、他人にまかせてしまおうという考え方を説明した本です。 本の中には「トラブルしかもたらさない顧客はこちらから解雇しよう」とか「日常の業務もインドにアウトソーシングしてしまえばいい」といった、字だけを追っていると反感を買いそうなこともたくさん書いてあるので、素顔の Tim がどんな人物かには非常に興味がありました。 先日、Tim Ferris が Scob
忙しい人のためのまとめ 一般に「オブジェクト指向プログラミング」と呼ばれる考え方には発案者が異なる二系統がある。(ただし簡単のため、次のうち前者から批判的に派生して生じたプロトタイプベースのオブジェクト指向はここには含めていない) アラン・ケイによる、変化に強い長期運用可能な遅延結合システムを SIMULA67 にあった「オブジェクト」をメッセージの受け手とすることで実現(オブジェクトにメッセージ送信)するアイデアに基づく「メッセージングのオブジェクト指向」と、 ビアルネ・ストラウストラップ(前後して抽象データ型を発案したリスコフ本人、オブジェクトクラスを考えたニガードらSIMULA陣営、Eiffelのメイヤーらも同様の着想を得ている)による、ユーザー定義型(抽象データ型)を SIMULA67 にあった「クラス」という言語機能を使って実現(カプセル化、継承、多態性)するアイデアに基づく「抽
chasm 404 here's some extremely appropriate imagery for the beloved 404 error. There are lots more where this came from: Area 404. what do you think about this? IE does the same thing, really. Past news can be found in the archives. Would you like to increase your IT repertoire? Register for one of our InDesign training Chicago classes and get going. We also feature InDesign training as well
AIBOという名称が生まれる前。はじめてロボットが歩行するようになったときの試作名はMUTANT(ミュータント)でした。 ある開発スタッフの娘さんの名前がみうちゃんで、みゅーたんとよばれていたらしく、そこから名づけられました(笑)。
Even the best have some down time. But not every web company keeps a sense of humor about it… here are a few examples. ____________________________________________________ Google : if we’re not back, you’re in trouble, so cross your fingers. ____________________________________________________ Flickr : You have a massage. ____________________________________________________ More Flickr : This ti
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く