2009-02-01から1ヶ月間の記事一覧
プログラマー面接時の技術的な質問事項(アプレッソ版) : 小野和俊のブログ に回答してみよう。まだ学生だし、たぶん間違えているけど、気にしない。
属人性って言葉からだとどういう意味なのか曖昧だよね。『能力に依存』しているのか『人そのものに依存』しているのか。 属人性の排除とか(プログラマ以外編) - monjudoh’s diary あたりだと『人そのもの』に依存しているから、それを自動化できるようなツー…
自分、専門は意味論ではないですが。 そうするとなんて言うか、何で"数学的に"やるんだろうかとか考えてしまうわけです。表現、記述するのに十分に強い(??)とかっていう事なんだろうかと。 プログラム意味論を学ぶ意義 - Yet Another Ranha たぶん理由は2点…
これは発見がとても難しいバグとなります。 2009-02-22 - 新言語 Xtalを作る日記 なぜ発見が難しくなってしまうかというと、with で指定している式のメンバを参照しているのか、あるいは単にローカル変数を参照しているのかが、文法的に区別できなくなるため…
java-ja 温泉が延期されてしまい予定が空かなくなってしまったので、自力で計画立てて行ってみようかと思案中。場所は……そうだな。鬼怒川温泉あたりが良いなぁ。一度行ってみたかったし。時期は3月中旬あたりで何とかしたいな。 誰か一緒に行かない? とか…
カプセル化、情報隠蔽、データ隠蔽 - ぐるぐる~ かなり感動してしまった。見る限りは『情報隠蔽』という用語に大きな揺らぎはないのに、『カプセル化』には揺らぎが見出せてとても興味深い。 自分は、カプセル化(encapsulation)はパッケージ化(packaging)と…
結果 鈴仙・優曇華院・イナバ 犬走椛 橙 火焔猫燐(お燐) 八雲藍 ûL\[g (・∀・)イイ!
えー? 俺も scala わかんないけど、ほとんど読めたよ? さすが処理系ばっかり書いている人は違うと思った。scalaがわかってないのもあるけど、根本的にどんな動きをするのか全く理解できない。 http://d.hatena.ne.jp/nagaShima/20090216/p3 h_sakurai さん…
くあー! 4月はいったら完全にむりじゃー。・゚・(ノД`)・゚・。 残念 orz
http://blog.livedoor.jp/dqnplus/archives/1217616.html マジコンのことを良く知らんのだが、例えば DS と寸分の狂いもなく同じ動作をする機械Xがあったときに、その機械と DS を区別できるかと言われたら無理なわけだ。 ファミコンのエミュが広く出回って…
BlockString の処理を少し調整して、quine に挑戦。 s={" "s={\"\n " + s + "\n\"}; " + s puts; "}; "s={\"\n " + s + "\n\"}; " + s puts;
情報系の学生登場。一応国立大の大学院まで行きました。 情報系の学生が悲観的みたいな事が書いてあるのを見るけど、4年間も情報処理の勉強した経験に価値がないなんて事は絶対に無いし(遊んでたなら別だけど) http://d.hatena.ne.jp/nagaShima/20090211/p…
http://d.hatena.ne.jp/nagaShima/20090208/p1 プリプロセッサはメタプログラミングの一種だと思う。C++流テンプレート術も同じくメタプログラミングの範疇。こいつらはコンパイル時計算してコード生成できるからね。 けど Scala はどうだろう。あれは一…
wikipedia:メタプログラミング とかを見るかぎりだと『機械的なプログラム生成』という共通項はあるんだけど、それって定義が物凄く広いですよねという話をしてみる。 自分としては Java のソースコードを生成する JavaCC は、メタプログラミングという範疇…
http://d.hatena.ne.jp/nagaShima/20090202/p1 ネタにマジレスだけど、チューリングさん設計のマシンなのでチューリングマシンですね。
ゆの in kuzha - SiroKuro Page を久しぶりに。あれから半年、文法も色々と変化しました。 X = { s = "ひだまり"; `/` = (|| { s += "スケッチ"; `/` = (|| { s += "x365"; `<` = (|msg| s + msg puts ); }); }); }; X / _ / X < "来週も見てくださいね!";
kz> x = 1; > { x++; x puts; }; > x puts; > 2 2 kz> x = 1; > { x += 2; x puts; }; > x puts; > 3 3
kz> x = 1; > { x++; x puts; }; > x puts; > 2 2 kz> s = 1; > { s += 1; s puts; }; > s puts; > 2 1
kz> { name = "tama"; } dump; > #object(0x1F1FBA0) { * this = #object(0x1F1FBA0); * parent = #Scope(0x1AAA14A); name = "tama"; } kz> { name = x let x = "tama"; } dump; > #object(0x1837697) { * this = #object(0x1837697); * parent = #Scope(0x…
kz> { name = "foo"; } dump; > #object(0x3EE284) { * this = #object(0x3EE284); * parent = #object(0x8965FB); name = "foo"; } kz> { name = x /let x = "foo"; } dump; > Exception in thread "main" java.lang.IncompatibleClassChangeError: Class k…