Javaだって関数型言語に負けないぐらい魅力的：オブジェクト指向だけで計算してみる - ようじょと結婚したい
HaskellやScalaなどで一躍大人気となった関数型言語には、その根底に型付きラムダ計算という計算体系の理論が存在しています。この型付きラムダ計算の理論のおかげで、関数型言語では型安全なプログラミングが出来るのです。 ではオブジェクト指向言語にはそのような理論は存在するのでしょうか。 Javaについては、割と最近ですが、Javaをモデル化した計算体系を扱った、 Featherweight Java: a minimal core calculus for Java and GJ [Igarashi et al., 2001] という論文が存在します。この論文では、JavaとJava 5.0以降で採用されたジェネリクスという仕組みをモデル化したオブジェクト指向の体系を定義し、この体系上での型安全性の証明を行っています。 この論文の体系では構造化定理で言う条件分岐と反復が定義されていません
ずぼらな俺が4年間の一人暮らしでたどり着いた部屋作り＆暮らし方 - はてな匿名ダイアリー
2011 9/8 失敗したものと部屋の選び方を追加しました 2012 9/29 わあ！また上がってるぜってことで、またちょっと追加です。 見た目の良さは度外視している。 本当にずぼらでめんどくさがり(しかも貧乏)だが、できるだけ清潔に便利に(そしてできれば健康に)暮らしたいという人向け。 そんなの今更目新しくねーよってことばかりだけど一応。 俺は、めんどくさがり屋だが、それ以上にパンクしやすい人間だ。 ゴミ、未実行の工程(畳む、拭く、しまう)などが貯まると、パンク、というかショートして何もできなくなり、どんどん散らかり汚くなっていく。 だからできるだけ、工程を減らしつつ、ひとつひとつの工程のハードルを低くしつつ、散らかりにくくすっきりした暮らし方を目指している。 俺が重要視するポイント ■まあ散々言っているが、少工程でひとつひとつの作業を簡単に ■オサレじゃなくていいが、すっきりと清潔にし
【HTML】最近のPCサイトに見るテンプレ要素まとめ | istis
新卒入社2年目で、フロントエンドエンジニアをしています。阿部です。 いろいろなサイトのソースを見ていて、最近見るなぁと思った要素を勉強がてらにまとめてみました。 「IE対策」、「キャッシュ対策」、「高速化」、「ソーシャルメディア要素」、「スマートフォン要素」の5つに分けて、広く浅くですがご紹介します。 IE対策 <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> IEで閲覧している場合、Google Chrome Frameで表示します。 Google Chrome Frameがインストールされていない場合は、IEの利用可能な最新のレンダリングエンジンで表示します。 Google Chrome Frame（GCF）とは、IEでGoogle Chrome相当のレンダリングエンジンを利用可能にするIEのプラグインで
Javaバイトコード
クラスファイルを説明するときに残した宿題、Code属性で定義されるバイトコードについて、ここで説明していきます。バイトコードは、JVMを前提にした一種の機械語です。javapでは、アセンブラー風に出力していますが、実際は命令を表わす１バイトのオプコードに０バイトから数バイトのオペランドで構成されています。オプコードは１バイト(もちろん符号なしです)なので、最大でも２５６個の命令セットしか表現できません。これが大きいか小さいかは議論があるかもしれませんが、ともかく現状で２５６個の内、２３１個は既に使用されています。(本当は仮押えも含むので、指定済みと言った方が正確かも知れませんが) (1) バイトコードの特長 Javaバイトコードには、様々な特長がありますが、まずその名前に現れているように、バイト･ストリームとして扱うことができるという点です。先頭のオプコードが１バイトで表現されており、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
