Haskell/GADT - Wikibooks, open books for an open world
Generalized algebraic datatypes, or simply GADTs, are a generalization of the algebraic data types that you are familiar with. Basically, they allow you to explicitly write down the types of the constructors. In this chapter, you'll learn why this is useful and how to declare your own. We begin with an example of building a simple embedded domain specific language (EDSL) for simple arithmetical ex
Generalized Algebraic Data Types in ATS
Bluish Coder Programming Languages, Martials Arts and Computers. The Weblog of Chris Double. The ATS programming language supports defining Generalized Algebraic Data Types (GADTS). They allow defining datatypes where the constructors for the datatype are explicitly defined by the programmer. This has a number of uses and I'll go through some examples in this post. GADTs are sometimes referred to
今後10年の最大の社会変化はなにか？ 藤原和博氏が教える、“正解のない問題”の考え方 - ログミー
2018年9月7日～17日にかけて、日本財団「SOCIAL INNOVATION FORUM」と、渋谷区で開催した複合カンファレンスイベント「DIVE DIVERSITY SUMMIT SHIBUYA」が連携し、都市回遊型イベント「SOCIAL INNOVATION WEEK SHIBUYA」が開催されました。本セッションでは「AI時代を生き抜く」と題し、藤原和博氏が登壇。AI時代を生き抜くために必要なマインドセットやスキルについて語りました。 都内初の民間校長かつビジネス講師の藤原和博氏 司会者：お待たせいたしました。本日は、ご来場いただきまして、誠にありがとうございます。ただいまから日本財団ソーシャルイノベーションフォーラム2018・分科会「AI時代を生き抜く」を開始いたします。 ここ数年、メディアでは「AI」や「人工知能」が話題に取り上げられることが多くなってきました。自動運転、自動
米ペンス副大統領の対中方針演説、関西弁に意訳されるとより過激に : 市況かぶ全力２階建
ジー・スリー(旧コネクト)、西村浩社長が別会社(上海電力のステルス参入問題に登場した伸和工業）においてやらかした脱税の疑いで逮捕された件でお詫び
MongoDBもクラウド事業者に対抗してライセンスを変更、AGPLから独自作成のSSPLへ | OSDN Magazine
オープンソースのドキュメント志向データベースシステムを開発する米MongoDBは10月16日、オープンソース版のライセンスを「Server Side Public License（SSPL）」に変更することを発表した。同社が新たに作成したライセンスで、「AGPLを強制するための訴訟コスト」ではなくMongoDB開発に継続して投資できると述べている。 MongoDBは拡張性と柔軟性を特徴とするデータベースシステム。JSON風のドキュメントでデータを保存するのが特徴で、柔軟性がありアプリケーションが扱うオブジェクトの構造を損ねずにデータベースに保存できる。このほかさまざまな特徴を持ち、非SQLデータベース（NoSQL）の代表格となっている。 Server Side Public License（SSPL）は、MongoDBをサービスとして提供するための条件を含むライセンスとなっている。AGPL
メガドライブ互換機「Mega SG」発表。ソフト互換性100％、音源もFPGAで再現、メガCDも接続可能 - Engadget 日本版
Nintendo Switch 2: Everything we know about the coming release
ロジカルシンキングだけではもう限界 編集的思考に不可欠な「ロジックとアナロジーの往復」とは
2018年8月23日、NTTドコモ・ベンチャーズ ラウンジにて「21世紀のビジネスパーソン必携の思考法とは?! 企画力・発想力を引き出すアナロジカル・シンキング」が開催されました。時代を切りひらく武器として、企業や学校など幅広い場面で活用されている「編集工学」。第2回の開催となる今回は、「アナロジカル・シンキング（類推）」をテーマとして、株式会社編集工学研究所のシニアコンサルタント・安藤昭子氏が講演を行ないました。本記事では後半の講演模様をお送りします。 アナロジカルシンキングを上達させるための秘訣 安藤昭子氏（以下、安藤）：じゃあ最後ですね。あと30分ちょっとでざーっとお話をしていきたいと思いますが、もういっこ。アナロジカルシンキングを上達させるための秘訣です。 略図的に考える、ということが書いてあります。先ほどから皆さんに似てるもの似てるものという言い方をしていますけれども、なにかとな
ドコモ、スマホの子機的端末「ワンナンバーフォン」発表 スマホと同一番号で発着信可 - Engadget 日本版
Nintendo Switch 2: Everything we know about the coming release
［速報］GitHub、見られてはいけないコード中のアクセストークンを発見し通知してくれる「Token Scanning」発表。GitHub Universe 2018 － Publickey
［速報］GitHub、見られてはいけないコード中のアクセストークンを発見し通知してくれる「Token Scanning」発表。GitHub Universe 2018 クラウドサービスが充実してきたことで、コードからクラウドAPIを呼び出して利用することが一般的になってきました。クラウドAPIを呼び出す際には、適正な呼び出し権限を持つことを示すため、あるいは呼び出す側を特定して課金するなどの目的でアクセストークンを用いることがあります。 アクセストークンは第三者に知られないように安全に管理し利用する必要がありますが、何らかの原因でアクセストークンがコード内にそのまま記述されてそのコードがGitHubなどで公開された結果、悪意のある第三者に使われ、アクセストークン本来の持ち主に膨大な利用料金が請求される、といった事故がしばしば起きています。 GitHubはこうした事故を防ぐため、コード内に記
750円のマイクロコントローラーでスーパーコンピューターを作る方法 - GIGAZINE
低性能のコンピューターでもクラスタとして連ねることで、高い性能を持たせることが可能です。「非力なRaspberry Piを組み合わせてスーパーコンピューターを作る」という試みはよく行われていますが、Raspberry Piよりもさらに安い7ドル(約750円)のマイクロコントローラー「ESP32」をクラスタにする試みがGitHubで公開されています。 Broccoli/Broccoli_readme_en.md at master · Wei1234c/Broccoli · GitHub https://github.com/Wei1234c/Broccoli/blob/master/notebooks/demo/Broccoli_readme_en.md How to Build a Mini Supercomputer for Under $100 - Motherboard https
HIW 2018・Haskell Symposium 2018に行ってきた | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 HIW 2018・Haskell Symposium 2018 とは HIW 2018 (Haskell Implementors’ Workshop 2018)とHaskell Symposium 2018は、ICFP (International Conference on Functional Programming)という関数型プログラミングについての国際会議に併設された、Haskell専門のワークショップと国際会議です。 Haskell Symposiumは投稿されたHaskell全般についての論文の発表会です。 一方HIWは、名前通りのHaskellの実装（主にGHC）
BetrFS
What is BetrFS? The Bε-tree File System, or BetrFS, is an in-kernel file system that uses Bε trees to organize on-disk storage. Bε trees are a write-optimized dictionary, and offer the same asymptotic behavior for sequential I/O and point queries as a B-tree. The advantage of a B ε tree is that it can also ingest small, random writes 1-2 orders of magnitude faster than B-trees and other standard o
APSで連載しているRISC-V入門全8回がすべて公開されました - FPGA開発日記
今年の初めくらいからAPSさんにRISC-Vの記事を寄稿していたのですが、全8回分が今回すべて公開されました。 www.aps-web.jp APSさんでの連載はこれにて終了になります。 今年の2月から1か月に1本ずつ、合計8回分投稿させていただきました。 もともと入門者向けということであまりハードウェアの細かいところには触れず、使い方の部分に軽く触れるように説明しました。 あまり詳細なところには触れることはできませんでしたが、RISC-Vを始めたい人のイントロダクションにできればと思います。 www.aps-web.jp www.aps-web.jp www.aps-web.jp www.aps-web.jp www.aps-web.jp www.aps-web.jp www.aps-web.jp www.aps-web.jp
RISC-Vは「ムーアの法則」以来の技術イノベーションになるとの予想
大学発のオープンソースで開発されるCPUの命令セットアーキテクチャ(ISA)の「RISC-V(リスク・ファイブ)」の開発は、いまやMicrosoft、IBM、Qualcomm、Micron、Samsung、Huaweiなどの名だたる企業が参加する一大プロジェクトとなっています。CPUというハードウェア開発の鍵となるISAをオープンにするRISC-Vは、「ムーアの法則」の終わりの時代に現れた、将来のコンピューティング・エコシステムを大きく変える可能性を秘める存在だという予想があります。 Semiconductor Engineering .:. RISC-V: More Than a Core https://semiengineering.com/risc-v-more-than-a-core/ HP研究所のスタンレー・ウィリアムス氏は、「ムーアの法則の終焉は、ムーアの法則が始まって以降、
マイクロソフトは「Windows 10」のアップデート戦略を見直すべきか？ - ZDNet Japan
Mary Jo Foley （Special to ZDNET.com） 翻訳校正： 村上雅章 野崎裕子 2018-10-17 06:30 「サービスとしてのWindows」（WaaS）というコンセプトは、現在のところ軌道に乗っているとは言い難い。「Windows 10」の機能アップデートを年に2回のペースでリリースするというMicrosoftの計画は2015年から実施されているが、多くの顧客から高い評価が得られているわけではない。また、「Windows 10 October 2018 Update」（バージョン1809）でのつまずきは、同社がWindows 10のアップデート戦略をうまく統制できていないという印象を裏付けるものともなっている。 バージョン1809で起こったことをおさらいしておこう。Microsoftは同バージョンの提供を米国時間10月2日に開始した。しかし、このアップデー
約10万台のHDD故障率レポート2018年Q3版公開、大容量モデルの信頼性の高さが明らかに
クラウドストレージサービスを提供するBackblazeが、自社で運用するストレージセンターのハードディスク(HDD)の故障率データの2018年Q3(7月から9月)版を公開しました。ついにすべての3TBモデルが引退し、大容量の12TBモデルが主力になりましたが、8TB以上の大容量モデルの大量導入によってHDD全体の信頼性は向上していることが確認されています。 Backblaze Drive Stats: 2018 Hard Drive Failure Rates https://www.backblaze.com/blog/2018-hard-drive-failire-rates/ Backblazeが2018年9月30日時点で運用するHDDは、システム用が1866台、データ用が9万7770台と、10万台目前まで到達しています。このうち、最低運用台数45台を切るものやテスト用HDDのデータ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - leanprover/theorem_proving_in_lean: Theorem proving in Lean
Lean Web Editor
STM32ディスカバリキット - STMicro | Mouser
1万円の名刺サイズ「カードケータイ」をドコモが発表、画面は電子ペーパーを採用 - Engadget 日本版
Cybersecurity cooperation between France and Japan/ Intermediate workshop: October 29th and 30th & Satellite Meeting: October 31st, 2018 (Keio University, Tokyo) – Cybersecurity France-Japan