マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システムを組み込んで何が嬉しいんだろう？ 何が嬉しくないんだろう？ と疑問をお持ちになる方も多いだろうと思います。 この記事ではF*で使われている複雑な型の一部と、複雑な型を持つことの利点・欠点の一部を述べ、それを簡単なコード例を通じて体感してみます。 疑問に対する答え F*とは？ マイクロソフトと Inria が開発中のプログラミング言語です。 依存型や monadic effect などが組み込まれており、複雑な仕様が型で表現できます。構文は OCaml や F#などのML系関数型言語に似ています。 詳しくは下記のリンクたちを参照。 F* (プログ

100円ショップのスパイスでも本格インドカレーは作れるのか？本場の味を知るインド人が挑戦！ Written by: 島田みゆ 来日する多くの外国人が、その品揃えの多さとクオリティの高さに驚く100円ショップ。今回は、そんな日本が誇る100円ショップで売っているスパイスを使って、本格的なインドカレーは作れるのか!? というトンデモ企画に挑戦。インドカレーと言えば、さまざまなスパイスが調合された複雑な味で、我々日本人が作るのはちょっと難しいイメージですが、果たして日本の100円ショップで売っているスパイスのみで、美味しいインドカレーは完成するのでしょうか？

非常に残念ですが、日本のベスト８への夢は潰えました。 本当にあと少しでベスト８という所だったので気持ちの整理に時間が必要だった人も多いんじゃないでしょうか。 本日はそんな日本対ベルギーの試合のレビューをお送りします。結果は２－３で日本は逆転負け。あと２０分守れたらベスト８という所まで来てたんですがね・・・。気持ちが落ちてついてから見返してみると色んな事がわかりました。今日はそんなレビューになります。 日本対ベルギー、スターティングメンバーとフォメ まず、日本対ベルギーのスタメンですが、 こうなってました。日本は４２３１で、大迫のワントップに2列目は乾香川原口、ボランチは長谷部柴崎、４バックは長友昌子マヤ酒井の並びです。ちなみに試合が行われる前にポーランド戦でのスタメン流出が問題となり、長友と本田がメディアに「情報流出止めて！」的なメッセージを出す異常事態が起きてます。このメッセが出た時には