プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b
「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、サブタイトルに「数学」なんて入れつつも、 数学の話はほとんど出来なかったりとか出来たりとか・・・結局Haskellの記事しか書いてないですね、はい。 ただ、どちらかというと、Haskellでも処理系どうのとか、パフォーマンス云々とか、 そういう話より型システムでどうやって抽象化するかーみたいな、そういう話のほうがおもしれーとか思ったりしたので、 気づいたら圏論なんかはガジガジしてまして、多少の自己流の知識があったりとかなかったりとかしてるのです。 純粋関数型やらHaskellやらがメジャ
【試してみた】レタスに爪楊枝を挿すだけで、シャキシャキが長持ちした！ | クックパッド
買ってきたときは新鮮でも、冷蔵庫に入れておくとしんなりしてしまうレタス…。シャキシャキとみずみずしい状態で食べたいですよね！そこで今回は、レタスの驚くべき保存法をご紹介します。…爪楊枝を挿しておくだけなんです♪
Forth - Wikipedia
Forth（フォース）は、スタック指向のプログラミング言語およびそのプログラミング環境である。Forth はしばしば、かつての習慣に従ってすべて大文字で綴られることもあるが、頭字語ではない。 概要[編集] Forth はスタック指向であり、逆ポーランド記法（RPN）と同様の後置記法による記述が一番の特徴である。その他の特徴としては、手続き型・命令型であり、言語としては全ての値は型としての区別なく扱われること（型システムが無いこと）、制御構造などもプログラム可能であること（リフレクション）といったものがある。 典型的な Forth の実装には、LISP におけるRead–eval–print loop（REPL）に対応する、入力されたワードを即座に実行する対話型のインタプリタモードと（これは、正規のオペレーティングシステムがないシステム向けのシェルにも適している）、後の実行のために一連のワー
人間とウェブの未来 - OSvのような環境でもサクっと動くmrubyのWebサーバ作った
人間とウェブの未来（旧） 「ウェブの歴史は人類の歴史の繰り返し」という観点から色々勉強しています。2014年までの人間とウェブの未来の旧ブログです。 OSvがとても面白いので色々いじっていると、結果的にmruby-simplehttpserverというWebサーバをmrubyで動かすためのmrubyモジュールができてしまいました。 これは、OSvのようにライブラリをがんがん入れられないような環境でも、とりあえずSocketとIOがあれば動くシンプルなWebサーバを動かすためのmrubyモジュールです。 そもそもOSvって何？という方はこの辺りを見るか、syuu1228さんに聞くのが良いと思います。簡単に言うと、これからの時代、ハイパーバイザにがんがん仮想マシンをデプロイする際に、その仮想マシンにリッチなOSがあまり必要ないケースって結構あって（例えばmemcachedだけが動いているVMと
［速報］Windows 10は「Windows as a Service」となる。デバイスの寿命までアップデートが提供され続ける
［速報］Windows 10は「Windows as a Service」となる。デバイスの寿命までアップデートが提供され続ける マイクロソフトは1月21日（現地時間）、イベント「Windows 10: The Next Chapter」で次期WindowsとなるWindows 10についての詳細を発表。同社OSグループ バイスプレジデントのTerry Myerson氏は「Windows 10とは、Windows as a Serviceであると考えている」と語り、Windows 10がインターネット経由で提供されるOSのアップデートサービスであるという位置づけが強化されることを示しました。 Windows 10は、リリースされてから1年のあいだWindows 7、Windows 8.1からの無償アップグレードが提供されることが発表されました。Myerson氏はそれに加えて、「Window
必ず上がる！ TOEICの点数を劇的にアップする２４の手順
作家、コンサルタント 全国学校図書館協議会「選定図書」・アフリカ支援「絵本」・Amazonランキング延べ66部門1位 アフリカ２年 ⇨ 香港３年 ⇨石垣島５年目 TOEIC点数、スコアを上げる24の手順昨今、様々な場面で英語力が問われ、TOEICの点数を上げたい、または、 上げなければいけないとお考えの方が多いのではないでしょうか。 そこで、今回は、TOEICの点数を劇的にアップする24の手順を紹介します。 これを行うだけで、TOEIC800〜900は簡単に狙えると思います。 流し読みするだけでは、点数はあがりません。ぜひ行動してみてください。 そもそも２４の手順なんて多すぎてできないよーという方は、こちらの記事を御覧ください 関連記事▶︎これでスッキリ解決！「お金がない」「会社辞めたい」不満解消 またTOEICを勉強することを悩んでいる人、そもそもなんで英語を勉強するの？って人は 以下の
［速報］マイクロソフトの新ブラウザ「Project Spartan」発表。新レンダリングエンジン、Webページの共有機能など
［速報］マイクロソフトの新ブラウザ「Project Spartan」発表。新レンダリングエンジン、Webページの共有機能など マイクロソフトは1月21日（現地時間）、イベント「Windows 10: The Next Chapter」で次期WindowsとなるWindows 10に搭載される新しいブラウザ「Project Spartan」（コード名）を発表。その概要を明らかにしました。 Project SpartanはInternet Explorerとは異なる新しいWebブラウザとして開発。新しいルック＆フィールを備え、「現在のWebに対応しつつ、新しいレンダリングエンジンを搭載している」と説明されました。 Webの情報を簡単に共有 1つ目の特長は、Webの情報を共有しやすい点。表示したWebページにスタイラスやタッチでそのまま書き込むことが可能。
MySQLのmy.cnfファイルサンプル
MySQLのバージョン インストールされたMySQLのバージョンは以下のようになります。 名前 バージョン ダウンロード元 my.cnfサンプル 以下のサンプルを参照して、my.cnfファイルを作成してください。 # このファイルは MySQL 5.6を基準として作られてあります。 # http://dev.mysql.com/doc/refman/5.6/en/server-system-variables.html を参照しました。 [mysqld] ##-------------------------------------------------------------------- # mysqldの基本設定 ##-------------------------------------------------------------------- # id は 1 から 2^
英国が身代金を払わない理由。（ブレイディみかこ） - エキスパート - Yahoo!ニュース
日本人がテロ組織に誘拐され、身代金を要求されると祖国で必ず出て来るのは「危険な地域に自分で行った」「自業自得」といった議論だ。 で、わたしが住んでいる英国は、人権を重んずる欧州国にしては珍しく身代金を払わない国として有名である。それどころか、キャメロン首相は2014年1月に「テロ組織の身代金要求を断固と拒否する」決議案を国連の安全保障理事会に提出して採択を要求したほどであり、加盟国は当該決議を全会一致で採択している(しかし、この決議を守っているのは英国と米国だけで、フランス、イタリア、スペイン、ドイツはこっそりテロ組織に金を流す経路を見つけて身代金を払っている)。 英国が身代金を払わない理由は、「自己責任で現地に行った個人のために血税を使うな」とかそういうことではない。テロ組織は身代金を資本として軍備を拡大し、新たなテロリストたちをリクルートして強大になって行くからだ。例えば、アルカイダ・
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東京工科大、学生が「Docker」で手がけた学内システムを全学導入
フィボナッチ数列が生み出した、幻想的な動く彫刻（動画あり）
特徴ベクトル変換器を作った話
https://github.com/cloudius-systems/osv-apps/tree/master/ruby
Engadget | Technology News & Reviews
Windows 7以降はWindows 10へ無償アップグレード ～新プレビューは来週公開