u_wot_m8のブックマーク / 2015年2月2日

u_wot_m8 id:u_wot_m8

2015年2月2日のブックマーク (7件)

エラー
キャリア（中途）採用情報
u_wot_m8 2015/02/02
FFXVを完成させるぞという強い気持ちのある方
リンク
George Lucas: I'm not a sci-fi fan
u_wot_m8 2015/02/02
リンク
「充足可能性問題(3-SAT)を解く乱択アルゴリズム」 by Julia - Qiita
前置き元ネタは、結城浩氏著の「数学ガール乱択アルゴリズム」。新しい言語を覚えるとき、慣れるために「充足可能性問題（3-SAT）を解く乱択アルゴリズム」（p.353）を実装するという癖をつけていま1す。ということで。前回の Egison版に引き続き。勉強開始約1ヶ月の Julia ( http://julialang.org/ ) で実装してみました2。開発環境・動作確認環境 Mac OSX 10.9.5 Julia 0.3.5 コード # Rw3sat.jl sample(a::Array) = a[rand(1:end)] immutable Literal index::Int not::Bool end literal(index, not) = Literal(index, not) # issatisfied(l::Literal, x::BitArray{1}) =
u_wot_m8 2015/02/02
Julia
リンク
中学レベル代入計算からカリー／ハワード流証明の圏へ - 檜山正幸のキマイラ飼育記 (はてなBlog)
Coqをいじっていると、カリー／ハワード対応の威力を実感します。一方で、証明といえども所詮は計算なんだな、とも思います。中学校くらいでやる代入計算の直接的な延長線上に証明の合成操作があるんですよね。中学レベルの計算と形式的証明では、用語や記号がまったく違うのですが、そこにうまく通路を作ってやると、やってることは大差ないことが分かります。「寄り道Coq： exactタクティクと型理論と圏論」の最後の節「大きなラムダ式／小さなラムダ式」で述べたことの敷衍です。内容： 1次式の代入計算代入の圏代入をシーケントで表す型判断を成分とする代入カリー／ハワード対応による再解釈 Coqにおける実例まとめと展望 1次式の代入計算話を簡単にするために、式としては1次式だけを考えます。1次式による計算結果を変数に代入することを次の形で書きます。 v := 2x + 3y - 1 連立の場合もあり
u_wot_m8 2015/02/02
Coq

圏論
リンク
The F# Way To Relaxation
u_wot_m8 2015/02/02
F#
リンク
2013年の実質成長率は市場マネタリストとケインジアンのどちらの主張を崩したのか？ - himaginary’s diary
2013年4月28日のエントリでクルーグマンは、ゼロ金利下の金融政策では財政緊縮策の穴埋めはできず、市場マネタリストの想定通りには物事は進展していない、と書いた。それに対しスコット・サムナーが、2013年の成長率が高かったことを基に、クルーグマンらケインジアンは間違っていた、と2年越しの反論をeconlogで展開している。年次ベースの成長率は、2012年が2.3%で、2013年が2.2%なので、2013年は前年より僅かながら減速したように思われる。しかしサムナーに言わせれば、年内に発生したショックの影響を避けるため、ここは第4四半期から第4四半期への成長率で考えるべき、という。その計測方法では2012年の成長率は1.67%だったのに対し、緊縮のあった2013年は倍近くの3.13%となる。サムナーはこの数字を、（ここで紹介した）サックスのProject Syndicate論説に反論したサ
u_wot_m8 2015/02/02
リンク
Fosdem 2015: It's Christmas! | shadowcat_mdk [blogs.perl.org]
Get Ready to Party! Larry Wall If you are reading this and you didn't hear that Larry bit the bullet, rolled the dice, flipped the coin, shattered the space time continuum...breathe... then you really are going to get a shock. Larry has announced that the Perl 6 Developers will attempt to make a development release of Version 1.0 of Perl 6.0 in time for his 61st Birthday this year and a Version 1.
u_wot_m8 2015/02/02
Perl
リンク
- 2015年2月3日
- 2015年2月2日
- 2015年1月31日