タグ

2017年6月22日のブックマーク (4件)

  • Haskellの静的解析ツール HLint を使おう - Qiita

    この記事はLint Advent Calendar 2016の23日目の記事です はじめに 軽い気持ちでHaskellのリントツールである HLint を紹介するよ なかなかHaskellのコードレビューをしてもらう機会ってないと思うんだけど、こいつは結構頼りになる奴なんだ 動作も軽快だし、stack使ってるならインストールも一瞬だよ 例 命名規則 スネークケースをキャメルケースにしろ、って

    Haskellの静的解析ツール HLint を使おう - Qiita
  • 須藤「初めて会ったときから好きだな」一問一答全文 - AKB48 : 日刊スポーツ

    17日のAKB48選抜総選挙開票イベントのスピーチで前代未聞の「結婚宣言」をしたNMB48須藤凜々花(20)が21日、都内でスポーツ紙の合同会見に臨み、グループを卒業する決意を明かし、宣言の真意も説明した。一問一答は以下の通り。 -発表から4日がたって心境は 須藤 自分の口から発表する時に、大変いろんな方面にお騒がせしてしまって…。分かった上で発表して、発表した後の反応だったり、いろんな媒体だったりで目にしたり、直接連絡を受けたりして、それは自分がその時にそうなることを分かっても言いたくて言ったので。だからどう向き合っていこうかといろんな人と相談しながら、でも結局は自分で考えなきゃいけないって、考えていました。 -週刊誌の報道通り結婚も予定している 須藤 はい。でも時期はまだ決まっていないです。 -約束はした 須藤 はい -プロポーズは受けた 須藤 今年に入ってから。あまり詳しくは言えない

    須藤「初めて会ったときから好きだな」一問一答全文 - AKB48 : 日刊スポーツ
    SWIMATH2
    SWIMATH2 2017/06/22
    何かかわいそうで読んでて苦しくなる/“恋愛禁止ってルールで我慢できる恋愛は、恋愛じゃないんじゃないかなって思ってしまいました“と言えるのは強い
  • IIJ Research Laboratory

    ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

    SWIMATH2
    SWIMATH2 2017/06/22
    “数理論理学における命題はプログラミングにおける型と一対一対応があり、証明はプログラムと一対一対応があります”
  • IIJ Research Laboratory

    ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで