次回の「ゲーデルを読もう」の担当範囲。 命題論理の定理はすべて恒真式である。 (comment 「ゲーデル 不完全性発見への道」 北田均 より 3.3 命題論理の定理の真理値 ) (defn implies [x y] (if (and (= x true) (= y false)) false true)) (defn third [ls…

雍也第六 十九 子曰わく、人の生くるは直し。之を罔いて生くるは、幸にして免るるなり。素直さが大切であるというのは昔から言われている。 ただし、素直であることと愚かであることは違う。 この違いの表現に近いのはこれか。 子路第十三 二三 子曰わく、君…

研修用にインストーラを作成していると、 Eclipseの設定に手間がかかる。\workspace\.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.jdt.core.prefs org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core…

http://www.excel-img.com/save02.html なんだ、できるじゃん。

http://partake.in/events/30381166-394a-4fab-a5ea-5984d051de01みんなすごいなぁ。

http://kokucheese.com/event/index/22419/なかなか豪華にやってます。私の斜め向かいに座ってる人が、当日の運用をするんです。 その人の開発してるアプリはこれ。 http://www.windowsphone.com/ja-JP/publishers/ray2100?appid=caaa4172-f915-4f3a-9ecd-7b…

http://ceylon-lang.org/文法をJavaに似せる、っていうのは大事なんだろうか。 なんとなく似ているけど実は違う、っていうのが 一番メンテナンスしにくい気がするんだが・・・。

Excel VBAで保守性の高いコードを見たいが、なかなか見つからない。 VBAに限らず、どの言語でも状況は似ている感じがする。 そもそも「作り捨てでいい」という考えでコーディングするから 保守性が上がらないのだと思う。 関数型プログラミング言語を使って…

ここ数日、ExcelVBAのマクロを書いています。Excelのシートで書かれた大量のアンケート、申請書などの項目を 全部一覧形式にしてチェックしたいときがしょっちゅうあります。そんなときに使えるマクロを作ってみました。 Option Explicit Sub データ抽出() D…

とりあえず取得しておいた。 http://kencoba.hatenablog.com/

まぁこのくらいならVBAの方が単純ですね。 Sub ClearInputCells() For i = 4 To 82 Step 2 Range("D" & i, "BA" & i).Select Selection.ClearContents Next i End Sub <DnaLibrary Name="FSharp Sample" Language="F#"> </dnalibrary>

http://www.info.ucl.ac.be/~pvr/paradigms.html http://www.info.ucl.ac.be/~pvr/VanRoyChapter.pdf当該分野のいろんな考え方を深く知っている、 というのがプロフェッショナルのプロフェッショナルたるところだと思うのです。

http://www.reviewboard.org/とりあえず、こういうのが必要になる規模のコードを書かねば。

ルールを見ているだけで楽しい。 http://www.kmonos.net/pub/Presen/ptt378.pdf

開催告知 http://kokucheese.com/event/index/18660/ Jenkins開発者川口耕介さんの日記 http://d.hatena.ne.jp/kkawa/20111006/p1?utm_source=twitterfeed&utm_medium=twitter USTREAM http://www.ustream.tv/channel/jenkins-night はじめに http://www.ust…

基本的な語彙の確認に使えるかも。http://www.ipa.go.jp/software/open/ossc/seika_0605_2.html

http://www.dartlang.org/http://gotocon.com/dl/goto-aarhus-2011/slides/GiladBracha_and_LarsBak_OpeningKeynoteDartANewProgrammingLanguageForStructuredWebProgramming.pdf うーむ、どんなものなのか調査してみよう。

ProofSummit2011振り返り natはCoqでは5000くらいで止まってしまう プログラミング言語でのintには対応しないよAgdaであそぼ -- プログラム代数の話 来年どうするか? 関数型プログラミングのイベントにくっつけるのなら、名古屋でやるんじゃないか? 昔はOCam…

https://github.com/pallet/ritzClojureをdisassembleする方法があるらしい。# thanx @athos0220

論文を読む習慣をつけるため、 会社のFacebookコメントと連動して日記を書く。http://www.itu.dk/courses/BPRD/E2009/fundamental-1967.pdf 気になったこと evaluatingとapplyingの違い ad hoc polymorphismとparametric polymorphism

某所で、「函数プログラミングの集い」( http://partake.in/events/2228deb7-124e-43d0-ba6b-026ec4b67d39 )に関する記事原稿の チェック作業を仰せつかった・・・のだが、 私は函数プログラミングの集いに参加していない。 技術情報ならともかく、発表者の…

RailsでECサイトを構築するツールを探すことにした。 探すと結構あるものです。 Spree http://spreecommerce.com/ エレコマ http://ec.kbmj.com/index.html EC-Rider http://ec-rider.net/ herokuに乗せて動作を確認しよう。

基本はこちら。 http://devcenter.heroku.com/articles/clojure sudo apt-add-repository 'deb http://toolbelt.herokuapp.com/ubuntu ./' curl http://toolbelt.herokuapp.com/apt/release.key | sudo apt-key add - sudo apt-get update sudo apt-get inst…

Eテレでやってた歌。感動した。思わず調べてしまった。アニメーションを作成された方のBLOG http://d.hatena.ne.jp/oomomo_yousuke/20110614/1308006806歌詞 http://shimenoyuki.blog40.fc2.com/blog-entry-1581.html

告知 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 Ustream http://www.ustream.tv/channel/proofsummit1#utm_campaign=t.co&utm_source=9389178&utm_medium=social togetter http://togetter.com/li/192747 出席者(自主的に記入してくだ…

Common Lisp用フレームワーク。 http://d.hatena.ne.jp/yuushimizu/20110922/1316627415

ちょっと気になったので、調べてみた。 (Scalaはこちらを参考に追ってみた->http://blog.s21g.com/articles/1762) Clojure Noir http://webnoir.org/ Compojure https://github.com/weavejester/compojure/wiki Conjure https://github.com/macourtney/Conju…

http://clojure-libraries.appspot.com/ ライブラリ一覧。

http://blog.heroku.com/archives/2011/7/5/clojure_on_heroku/ http://www.publickey1.jp/blog/11/herokulispclojure.html http://d.hatena.ne.jp/sy-2010/20110708/1310105845 https://gist.github.com/1130459 話題に乗り遅れている自分に気づく。

オンラインで読めるって知らなかった。 http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/