ホワット・ア・ワンダフル・ワールド Proof Assistant Coq
The Coq proof assistant を，とりあえず apt-get でインストール (coq，coq-libs，coqide) してみようと思ったら，debian パッケージが壊れているっぽくて，インストールできませんでした (stable/testing/unstable いずれも)．残念．そのうち直ると思うので，しばらく様子を見てみます(軟弱者)． ちなみに Coq ってのは，Agda や Isabelle/HOL と同じような，定理証明支援系のこと．Calculus of Inductive Construction とかいう，あまり聞きなじみが無い論理体系をベースにしているそうな． # これについては，Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inducti
Rails勉強会第7回（in 恵比寿） - ヤドカリデンキ商会（ブログ版）
2日連続で勉強会に出席すること自体に意義を見いだしたのははじめて。自分の中では二つの勉強会が有機的につながった感じだったので Railsの人たちの共通認識としては「ジェネレータは重要じゃない」。scaffoldは最初のきっかけという感じで実際には使わない 前半の参加セッション：DHHふたたび 自分が録音した音声と写真を撮ったスライドでRubyKaigiのDHHの講演を再現。写真のスライドが暗くて見にくかったのと写真を切り替えるタイミングがぐだぐだで、音声はともかくスライドはあまり役に立たなかった。心より恥じる DHHが講演中はRESTという言葉を使っていないのは 正確な定義でのRESTではないことがわかっていた？ RESTの宗教論争に巻き込まれるのがいやだった？ ogijunさんいわく、スライドの日本語訳はYAPCのを見てやろうと思ったとのこと。フォントは映画の字幕で使われるやつらしい 後
「デスノート」前編 - 虚馬ダイアリー
監督：金子修介 脚色：大石哲也 原作：大場つぐみ/小畑健 公式サイト：http://wwws.warnerbros.co.jp/deathnote/ おおおおおおおっ！面白い。意外と言っちゃなんだが、原作が原作だったので不安先行で見たのだ。が、前編だけで言えば、素晴らしい。 原作を毎週、連載の開始から終了までリアルタイムで追っていて、なおかつジャンプ感想を某掲示板に書いている（最近お休み気味ですまん＞暗之云さん）私が言うが、映画版が漫画版を超える可能性を残したと思う。 あらすじについては、おおまかに原作を踏襲しているので割愛するが、そのアレンジはなかなか振るっている。特に香椎由宇演じる映画オリジナルの幼なじみと、南空ナオミの使い方は唸った。 で。 主演の藤原竜也が秀才っぽくない、完璧っぽくないから月役には向いていない、とかいう意見をよく見たが、俺は実に適役だと思った。理由はある。 原作の欠
RoR Wiki 翻訳 Wiki - RubyKaigi2006
最近オープンしたエミナルクリニックの徳島院がめっちゃ気になるなぁ。 医療脱毛なのにすごい安くていい評判も聞くけど、ほんとに痛くないのかな？ 通っている人の口コミをみてみたいなぁー。 なんて気になったので、エミナルクリニックの徳島院についてSNSやネットで調べてみました。 そう思ってSNSを中心に調べてみたら、、、口コミや評判も良いじゃない♪ ちなみに、似たようなサービスや商品があるかも？なので、今回調べてみたのはこちらになります。 オープンしました！ エミナルクリニックの徳島院ですが、すでにオープンしています！（2021年4月9日オープン済） もちろんですが、オープンしたてなんでめっちゃ予約が取りやすいです。 ただし！！人気のある医療脱毛院なので早めの予約が良いかも？！
dataが苦手 - haskonの日記
今日は、有理数の計算（足し算）をしようとして、 data Yuuri = Yu Integer Integer YAdd::Yuuri -> Yuuri -> Yuuri YAdd (Yu s1 b1 ) (Yu s2 b2) = Yu (s1*b2+s2*b1) (b1*b2)というプログラムを書いて、ghciで実行しようとしたのですが、 $ ghci yuuri.hs Loading package base-1.0 ... linking ... done. Compiling Main ( yuuri.hs, interpreted ) yuuri.hs:3:0: Not in scope: data constructor `YAdd' yuuri.hs:4:0: Not in scope: data constructor `YAdd' Failed, modules load
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてダラ - papamitra