Haskellの型と直観論理 - 朝日ネット 技術者ブログ
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互いに関連する値の集合である。 ---- 『プログラミングHaskell』 Graham Hutton 著 / 山本和彦 訳 だとか、 値の世界は型と呼ばれる系統的な集まりへと分割される。 ---- 『関数プログラミング入門 Haskellで学ぶ原理と技法』 Richard Bird 著 / 山下伸夫 訳 などのように書かれています。たとえば Bool は True と False の2つの値からなる集合だし、Intは整数の集合というように、型は値の集合というふうにみることができます。それならば型などと呼ばずに集合と呼べばいいと思いますが、「異なるものには異なる名前をつけろ
全日空が、「日本のゲームカルチャー」を世界に発信するサイト「GAME CHRONICLE」を公開。業界キーマンが日本のゲーム史を語る - AUTOMATON
全日本空輸は10月30日、日本のゲームカルチャーを世界に発信することを目的とした「GAME CHRONICLE」を公開した。訪日外国人向けのプロモーションメディア「IS JAPAN COOL？」の一部として、1980年代から年代別に日本のゲーム史を紐解いていくというコンセプト。あわせてファミコン開発者の上村雅之氏、プロゲーマーの梅原大吾氏、『大乱闘スマッシュブラザーズ』シリーズの桜井政博氏など、計11人のインタビュー動画が公開されている。 「GAME CHRONICLE」のサイトでは、年代ごとのゲームの歴史を合計100のトピックに分けて紹介している。ゲームハードやソフトの進化の歴史、アーケードゲーム、eスポート、さらにはビデオゲームではない日本古来の伝統ゲームまでカバー。各トピックは、2Dアクションゲームにてアイテムを収集する感覚でアンロックしていくというフォーマットを取っている。 また同
「身の丈に合わせて、大学行かずに就職すればいいじゃん」
中学3年の時、親にそんなことを言われてケンカしてから、どれほどの年月が経っただろうか。 そんな私は、某国立大の大学院を出て、参考書の編集者をしている。 幼い頃から、勉強だけは好きで、よくできた。けれども運動もコミュニケーションもへっぽこだったので、小中（公立）時代は同級生にいつもからかわれた。それ以上に辛かったのは、私が好きな勉強のことで、話が出来る相手がクラスにいなかったことだ。 「商業高校？とんでもない！君は普通科に行って、大学に入りなさい」 中学の時の担任は私に、世の中には進学校と呼ばれる、勉強が得意な人が集まって大学進学を目指す高校があることを教えてくれた。今振り返ればバカみたいな話だが、ネットが普及してない当時、塾に通わず、通信教育や家庭教師の類もやってなかった私には、そうした情報を得られる機会がほとんどなかったのだ。両親は共に非大卒で大学受験に詳しくないし、世帯所得も多くなく、
オタクと気持ち悪いという言葉 - データをいろいろ見てみる
概要 Twitter上で「気持ち悪い」、「キモイ」という言葉が、どのように使われてるかと調査した。 調査対象は、キモイ、気持ち悪いという言葉を含むtweet、約28万件 時系列の変化を見るため、2018年と2019年で調査を行った 気持ち悪いと言う言葉は、オタクへの言及とともに使われている オタクを含んだtweetは、28万件中、14431件あった 調査結果 2018年調査 2018年に投稿されたツイート調査 調査期間 2018/01/09 - 2018/12/31 tweetソース元 Sample realtime Tweets API 2019年調査 2019年に投稿されたツィート調査 調査期間 2019/01/01- 2019/10/20 tweetソース元 Sample realtime Tweets API 気持ち悪いという言葉の特徴 気持ち悪いという単語は、他者を侮蔑する意味と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
