経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
Coqと少しの圏論が分かる人向けのhomotopy type theory(その1) -
The HoTT Book http://homotopytypetheory.org/book/ が完成したらしいけど、どっちかというと、数学者向けに書かれてて500ページもある。homotopy type theoryで今できてることって、CoqやAgdaで書いたら、せいぜい数千行とか、そんなもんじゃないかと思うので、長すぎる気がする 一応、HoTTに関わる知識は、型理論の他に、ホモトピー論や圏論(モナドとかHaskell関連で出てくる類の知識はあまり知らなくてもいいけど、higher categoryとか教科書に書いてなさそうな話題や、モデル圏とかを知ってるといい)があって、全部真面目に勉強しようと思うと、それぞれのテーマで一冊以上の本が書ける。ただ、実際には、ホモトピー論や圏論はアイデアや視点を提供しているだけで、あくまでCoqやAgdaで書かれてる部分が重要なので、ホモトピー論や
1. ガイド — OMakeマニュアル 日本語訳
1. ガイド¶ あなたがOMakeを始めて使うのであれば、 2. OMakeクイックスタートガイド はどのようにプロジェクトを始めるべきなのかについて、簡単に説明してくれるでしょう。 3. OMakeビルドサンプル ではプロジェクトをビルドするための、より詳細なコードサンプルを紹介しています。そして 4. OMake言語の概要と構文 では実際にプログラミングするときに役立つ、いくつかの一例を紹介しています。 1.1 注意事項¶ OMakeマニュアル 日本語訳 v1.3.2 このドキュメントは OMake バージョン0.9.8.6の マニュアル を日本語訳したものです。原文のニュアンスを忠実に翻訳するよう心がけていますが、意図しない翻訳ミスやドキュメントの不備があるかもしれません。よって、 内容の正確さについて保証することはできません。 2. クイックスタート OMakeを利用するためのクイ
「沖縄女性、慰安所で頑張った」 橋下氏「感謝の念」 参院選遊説 - 琉球新報デジタル
日本維新の会共同代表の橋下徹大阪市長は５日、県内から参院選比例代表に立候補している公認候補を支援するため来県した。橋下氏は応援演説で、米施政権下の県内で日本政府による米兵向け慰安所が設置されたとして「レイプを止めるために、沖縄県の女性が一生懸命になってやってくださった。感謝の念を表す」などと発言した。橋下氏は５月の米兵風俗利用発言を撤回し、米側に謝罪の意を示していたが「過去に女性を性の対象に利用していた、とアメリカに言いたい」と述べた。 橋下氏は沖縄本島中南部の４カ所を遊説した。沖縄市の胡屋十字路では「米軍の沖縄占領時、日本の政府が真っ先に作ったのは、ＲＡＡという特殊慰安所協会だ」などと主張した。「女性の人権を蔑視していると言うが、沖縄の女性が特殊慰安所協会で一生懸命頑張ったことを全部無しにするのか」と持論を展開した。 沖縄女性史研究家の宮城晴美氏によると、日本政府が米国占領下の県内で、慰
朝日新聞デジタル：「慰安施設の女性たちに感謝」維新・橋下氏、沖縄で演説 - 政治
日本維新の会の橋下徹共同代表は５日、沖縄県沖縄市での演説で、戦後の米軍統治下の沖縄で沖縄民政府が主導して米兵向けに設けた慰安施設について「端的に言えば、レイプを止めるためにそのような施設をつくった。沖縄県の女性が一生懸命になって、そういうことをやってくださった。そういう女性たちに感謝の念を表して、そこで悲惨な境遇を受けた場合にはおわびや反省もしなければいけない」と述べた。 橋下氏発言とその波紋 そのうえで橋下氏は「二度と繰り返してはならないが、そうやって一生懸命、戦後みんなで歯を食いしばって頑張ってきた。だから僕は米国に言いたい。あんたたちも過去に女性を性の対象として利用しただろうと」と持論を展開した。 関連記事橋下氏「参院選の苦境、私の責任」 維新議員総会で謝罪7/2橋下氏の慰安婦発言、３０地方議会が抗議 海外でも決議6/29沖縄の慰霊式典、維新・橋下氏が出席へ6/15レコメンドシステ
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
ブラック大学の内部からみた現状
東北大学がブラック企業にノミネートされた。 俺は東北大学を今年卒業した社会人だが、覚えてる範囲で概略をつらつら述べてこうと思う 俺がいたのは理学部のとある学科だ。そこでマスターまでとった。 修論を書いてる時は心労でマジで死ぬかと思った。何度か理学部にある総合棟から身を投げそうになった。 今から話す内容はあくまで一部の事である。特定を避けるためにあえて抽象的にしてある。すまない。 ブラック企業に選ばれた理由を理解してもらう一番簡単な方法は深夜、何時でもいいから東北大学のキャンパス、特に山の上と呼ばれる青葉山付近に来てみることだと思う。 いくつかの研究室に明かりがついている。しかも、決まって同じ部屋に。 東北大学のすべての研究室がブラックということではない。特定の研究室がブラックなのだ。 しかし、そのブラック研究室の労働環境は想像を絶する。 土日も来るのは当たり前、深夜12時を回っても帰る学生
「私は特定の事例の哲学者なのです」 - A Particularist, Fact-Lover and Philosopher
さて来たるべき読書会に向けてイアン・ハッキングへのインタビュー論文を読みましたので、ちょっとブログでまとめてみましょう。 書誌情報 Madesen, O.J., Servan, J. and Oyen, S.A. (2009)‘I am a philosopher of the particular case’: An interview with the 2009 Holberg prizewinner Ian Hacking, History of the Human Sciences, vol.26-2, pp.1-20. 内容を一言でまとめると ハッキング：お気づきになるでしょうが、私はあまり一般化することに熱心ではないのです。私は特定の事例の哲学者なのです。(You will be beginning to notice that I am not keen on general
メディアリテラシーを身につけるために大切にしたい考え方 - 脱社畜ブログ
数日前に話題になった記事。 「まとめサイトに洗脳された大人」と「まとめサイト思想に染まる若者たち」 http://bayaread.hatenablog.com/entry/2013/07/04/004426 「マスコミの偏向報道」を声高に叫ぶ人に限って、ネットに書いてあることは何の確認もなしに受け入れていたりする。テレビや新聞の言うことを無批判に受け入れるのも、ネットに書いてあることを無批判に受け入れるのも、ある特定のメディアの内容を自分で吟味せずにそのまま取り入れてしまっているという点では何も変わらない。ネットの情報に精通しているからと言って、メディアリテラシーが高いということには当然ならない。 テレビにせよ新聞にせよネットにせよ、メディアの情報を適切に読み解く、つまり「メディアリテラシー」を身につけるためには「自分で考える」ことが必要不可欠だ。ただ、「自分で考える」といっても、漠然と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ベネズエラ 元職員の亡命受け入れ表明 NHKニュース