Slides and more info: http://www.codemesh.io/codemesh2015/stephanie-weirich Is Haskell a dependently typed programming language? Should it be? The Glasgow Haskell Compailer's many type-system features, such as Generalized Algebraic Datatypes (GADTs), datatype promotion, multiparameter type classes, and type families, give programmers the ability to encode domain-specific invariants in their types
マイナンバーの通知が始まった。「個人情報が抜かれる」「副業が勤務先にバレる」といったネガティブな記事が人気を集めているが、実際、どれくらい“危険”なものなのだろうか？ マイナンバー制度の構築を担当した人物にロングインタビューを行い、さまざまな疑問をぶつけてきた。 マイナンバー（個人番号）の通知が始まった。「なりすましが横行する」「個人情報が芋づる式に抜かれる」「副業が勤務先にバレる」「徴税祭りがやってくる」「お上に個人の金の流れが筒抜けになる」などネガティブな情報が先行し、不安を煽る記事が衆目を集める。 果たして本当にそうなのだろうか。政府が満を持して投入するマイナンバー制度（正式名称は「社会保障・税番号制度」）は、それほどまでに脆弱かつ、国民の財布の中身を監視する恐ろしいシステムなのだろうか。それならば、と、疑問の数々に終止符を打つべく、マイナンバー制度の構築に関わった「中の人」に会って
スマホ暗証番号を「８３７６」にした時から運命は変わる！スマホアンショウバンゴウヲハチサンナナロクニシタトキカラウンメイハカワル フジテレビ系『突然ですが占ってもいいですか？』で話題沸騰の琉球風水式“スマホ占い”!! あなたのケータイ＆スマホ番号「下４ケタ」だけで、恋もお金も仕事も「過去」「現在」が丸わかり!! さらに自分にぴったりの「守護ナンバー」を暗証番号にするだけで、あなたの「未来」大開運!! 「あなたが何気なく使っている、選んでいるひとつひとつの数字には意味がある!」 「数字の持つ“パワー”と“意味”を正しく知って使うだけで運命は変えられる！」 ５万人以上の悩める人々を幸せに導いてきた琉球風水志・シウマが提唱する数字を使った開運術“数意学”を わかりやすく解説。面倒な模様替えや掃除は必要なし！ 暗証番号やログイン番号、SNSのアカウント……等々、 普段スマホやケータイで何気なく使って
PC革命！ 72コアで8テラフロップ性能のデスクトップマシンが来年発売2015.11.20 16:20 湯木進悟 インテル、入りすぎ！ インテルは、同社製で最強パフォーマンスとなる、Xeon Phiチップの第2世代モデル｢Knights Landing｣の製造開始を公表。 同時に、基本はスーパーコンピューター（スパコン）向けの同チップを、2016年前半にデスクトップワークステーション向けに発売する計画も明らかにしましたよ。 72コアのKnights Landingは、マザーボードに載せるCPUではなく、PCI Express規格の演算ボードとして提供予定。高バンド幅のMCDRAMメモリを16GB搭載しており、DDR4メモリの5倍のバンド幅を実現し、新たなKnights Landingでは、初代に比べて3倍の処理性能に達するんだとか。単精度で8テラフロップという、1秒間に8兆回の浮動小数点演
We're writing this book because many have found learning Haskell to be difficult and it doesn't have to be. Learning Haskell from the ground up is easier and works better - for both experienced hackers and people new to programming. The language is different enough from any you might've already tried that building up from the foundations will be less difficult and more enjoyable. If you are an exp
最新情報 2017/12/12 通信環境測定ツールのRaspbian版を公開しました。 2016/11/08 実験のため、リアルタイム映像伝送試験をYoutube Liveで公開します。予告なく停止する場合があります。 2016/06/17 通信環境測定ツールの0.7.39.0版を公開しました。 ファイル転送ツールの0.7.39.0版を公開しました。 2016/03/15 ファイル転送ツールの0.7.35.0版を公開しました。 2016/03/15 通信環境測定ツールの0.7.38.0版を公開しました。 2016/01/26 通信環境測定ツールの0.7.34.0版を公開しました。 2015/12/18 日経エレクトロニクス1月号(22-23ページ)にHpFPが紹介されました。 2015/12/10 通信環境測定ツールの0.7.32.0版を公開しました。 2015/12/03 日経エレクトロ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く