職業プログラマが圏論をスルーすべき理由
情報系の大学の学部を出た人々が増えたせいか、HaskellやScalaなどの関数型プログラミング言語が流行ってきて、最近はクライスリ圏、モナド、モナドと呟く人々をネット上でよく見かけるようになった。圏論プログラミングなるモノが流行っていると勘違いしだす人もいるようだ。しかし、これらの言語に触れた人は少なくないと思うが、圏論について学んだ職業プログラマーは少ないと思う。これから学ぶべきなのか気になっている人もいると思うが、実際問題使い道が無いので、スルーした方が無難だ。 圏論は数学の中でも広く教えているとは言えない部類のもので、20世紀も中盤以降に研究が進んできたものだ。圏論の土台部分はシンプルなもので、目的に応じて概念を追加して応用されており、例えばHaskellのモナドはクライスリ圏の中の概念であるクライスリトリプルに対応している。だからクライスリ圏に習熟していれば、数学的にモナドによる
あるマルクス経済学者のプロパガンダ(12)
マルクス経済学者の松尾匡氏の連載『リスク・責任・決定、そして自由！』の新記事『旧リベラル派の「社会契約」という「ゴマカシ」』が出ていた。本題は著作の宣伝な気もするが、社会保障を正当化する哲学的議論も紹介している。小うるさい哲学者と厚生経済学者が待ち構えている倫理の問題に踏み込んでいるのだが、幾つか大丈夫なのか疑問に思う所がある。ロールズの議論が理解されているのか疑問だし、規範的な議論を実証的に批判してしまっているし、「社会契約」と言う単語に固執しすぎているように思える*1。この辺の議論は平成24年版 厚生労働白書の第1部第2章に分かりやすい解説が書いてあるのだが、それを参考にしつつ問題点を説明したい。 1. なぜ社会保障制度に哲学的議論が必要なのか？ 松尾氏に前段として書いて欲しかった事がある。社会保障でも全員が得になるパレート改善になるような制度は哲学的な議論なしで、だいたい正当化される
ブラック企業は無くならない ─ 社会学者の卵の会話にある無責任
東京大学大学院総合文化研究科の古市憲寿氏・川村遼平氏と上智大学大学院グローバル・スタディーズ研究科地域研究専攻博士前期課程の大野更紗氏の対談記事が公開されている（前編、後編）。何だか初々しい。 院生を掴まえて批判するのは心が引けるが、気になった事がある。ブラック企業を批判するのは良いのだが、ブラック企業が果たしている社会的な役割を考察していない点だ。 1. ブラック企業以外の雇用先はあるのか？ ブラック企業に負けないように、これからは労働法と社会保険の知識が必要だとか、労働基準監督署が機能不全だとか、ブラック企業が潰れればいいとか言っている。初々しいのだが、労働争議は戦前からある問題で今に始まった事ではないし、ブラック企業が無くなったときに雇用先があるとは限らない。特にブラック企業が消失したときの事を考えていないのは問題であろう。 2. 市場価値の高い労働者はブラック企業に勤めない ちょっ
素人が価格の国際比較を行うとこうなる ─ 藤沢数希のケース ─
『日本の電気代の国際比較』と言う、著者の藤沢数希氏が為替レートを意識しない、金融とは無縁の世界に生きている人なのが良く分かる記事があった。 2010年度版のエネルギー白書を元に日本の電気代が高くないと主張しているのだが、経済学部の1年生でも気付きそうな以下のミスを犯している。 為替レートの変化を考慮していない。エネルギー白書を確認すれば分かるが2008年のデータなので、米ドルが107.42円、ユーロが169.57円（2008年6月30日）での比較になっている。現在は米ドル80.76円、ユーロが116.54円（2011年6月30日）なので、現在の日本の電力料金は為替レートの変化で1.5倍になっている。 化石燃料価格の変化を考慮していない。実はエネルギー白書のグラフでは、日本とドイツは2007年の値になっている。他の国は2008年だ。2007年と2008年は化石燃料価格は随分と違い、例えば日本
SVNからMercurialに移行するべき8つの理由
Git、Mercurial、Bazaarはオープンソースの分散バージョン管理システムで、どれも人気がある。特にGitとMercurialはもともとはLinux Kernelの開発のために作られた歴史からしても、ライバルと言える関係だ。LinuxやAndroid OSではGitが採用されたが、MercurialもOpenJDKやNetBeans、Xen、Python等で採用されている。 SVNから分散バージョン管理システムに移行を検討している所は多い。日本だと濱野氏がGitのメンテナをやっているせいかGitに人気が集中しているようだ。しかし気軽に分散バージョン管理システムを導入したいソフトウェア開発チームには、あえてMercurialを勧めたい。 1. SVNからMercurialに移行するべき8つの理由 取り扱いが楽で、今すぐ移行できる事がMercurialを導入するべき理由だが、もう少し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
