You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Lens gets a lot of flack for having crazy type signatures. This is a whirlwind derivation of the craziest of signatures from the ground up. It might be useful as a starting point for exploring more of the lens code and seeing "through" the sophisticated types. Getting and SettingAt the sim
どうも。 清く正しいHaskell戦士ちゅーんさんです。 今日はアレです。 Comonad やってきます。 えー・・・ 「こ」 「コ」 「Co」 Coってなんすか。カレーハウスっすか。丸い響きの音を付けて可愛く見せれば良いと思ってるんですか。 いやいや、騙されませんよ、後ろのmonadから察するにどう考えても圏論用語です。本当に(ry という感じで、名前からして怪しげな臭いをプンプンと漂わせているComonadを見てみたいと思います。 とりあえず、お約束なので、Hackageに行ってComonadクラスの定義を見てきましょう。 http://hackage.haskell.org/packages/archive/comonad/0.1.1/doc/html/Control-Comonad.html class Functor w => Comonad w where extract ::
Apple Wireless Keyboard に関しては 前回の投稿 を参照。 Linux で Magic Trackpad 使うには少し工夫が必要になる。 接続 Ubuntu や Mint など多くのデスクトップ環境に使われている Gnome, Gnome フォークだとは、まずここで詰まる。 Gnome 系で最初から用意されている Bluetooth 設定画面は、Magic Trackpad に使う時にバグがあるらしく使い物にならない。 (Mint 13 Cinnamon, Ubuntu 12.04 で確認) 変わりのソフトウェアを使う: インジケーターに2つ Bluetooth アイコンが並んでしまいますが、 接続のセットアップが終わったら blueman の方のインジケーターは消してしまって 問題無い。 # もしかして: utouch も必要かも ジェスチャの設定 Magic Tr
TL; DR: git clone https://github.com/niw/scalding_examples.git ざっとググった感じ、Scalding についてはまだあまり日本語情報なさそうなので、こう広めたりする目的も込めてちょっとまとめておこうと思います。 Scalding とは Scalding とは、Scala に相当入れ込んでる Twitter で使われているライブラリで、Hadoop の MapReduce を Scala で簡単に書けるものです。中身は Cascading をラップしたものになっています。 Scala に相当入れ込んでる Twitter ではしかしながら Pig が頻繁に使われているのですがある方面では Scalding が使われておりまして、Pig と肩を並べられるくらいに使えて、さらに Scala の秘めた力も使えるんだぜ…! と、少なくとも
The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was
In this post I would like to give you an update on vado – a piece of software for running programs on vagrant VMs (or any other ssh server, actually), projects I’ve contributed briefly to. The old build system for ghcjs was a little bit messy. Basically, it was just one Puppet configuration file that contained a hardcoded shell script as a resource that is supposed to be written to the home direct
ついでに追加。 型推論:変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。 型検査:変数や式の型が合っていることを言語処理系が(普通は静的に)チェックしてくれる機構。CとかJavaとか、MLやHaskellも。 静的な型つけ:プログラムの実行前に型を検査する機構。MLとかHaskellとかCとかJavaとか。 動的な型つけ:プログラムの実行中に型を検査する機構。LispとかSchemeとかPerlとか。 強い型つけ:検査を通れば、安全さ(safety)が保証される、という(普通は静的な)型つけ。MLとかHaskellとかJavaとか。Javaはバグがあったりしたので少し怪しいですが。 弱い型つけ:検査を通っても、安全さ(safety)は保証されない、という型つけ。CとかPascalとか。 安全さ(safety):プログラムが言語仕
Vagrant Documentation を参考にしつつ、Best PracticesのDirectory Layoutに沿った形でサンプルを作ってみました。 サンプルコードは https://github.com/hnakamur/vagrant-ansible-provisioning-example にあります。 vagrantのboxは以下のpacker templateで作成します。CentOS 6.4とansibleをインストール済みのboxが作られます。 https://github.com/hnakamur/my-packer-template-files (2013-08-17追記) guest側にはansibleのインストールは不要でした。ansibleはホスト側から実行されます。ホストからゲストにsshで接続できるようにVagrantfileとansible_hos
気がついたらChefやらPuppetやらAnsibleはDevOpsと呼ばれるようになったんですね。 時代のちょっと先端に行ったと思ったらまた取り残されてる感じがなんともこの業界ならではかと。 で、話は変わって前からVagrantのbaseBoxをゼロから作りたいぞ!!このヤロー!!って思っていたら PackerというVagrantの作者が仮想イメージを作るツールを出していたので作って見た時のメモ 環境 macosx10.8(ホストOS) 作る仮想インスタンスのOS CentOS6.4-x86_64_minimal 事前準備に必要なもの homebrew ※入れていない方は何も考えずにruby -e "$(curl -fsSL https://raw.github.com/mxcl/homebrew/go)"と打とう virtualbox ※入れていない方はそうだvirtualboxを使っ
kickstart のメモ書きです。 RHEL とか CentOS には、 OS のインストール・セットアップが自動化できちゃう kickstart という機能があります。 ものすごく便利なのですがよく忘れがちなので自分用にメモしておきます。 本当は PXE Boot + DHCP + kickstart が最強だと思ってますが、今回は PXE Boot は利用しないパターンです。 インストール・セットアップの方針はこんな感じです。 初回の Boot は Boot 専用メディアから インストールパッケージは必要最低限に インストール完了後には全てのパッケージをアップデート kickstartの準備 kickstart を使うために準備するものを以下に書きます。 ks.cfgの作成 検証用マシンを立ち上げる時は以下の様な kickstart を利用しています。(swap 小さいので注意) 以
つまりhtml, head, bodyなどの使い慣れたお決まりのタグは今更書くまでもないということ。 参考: どのようなタグが省略可能か http://www.whatwg.org/specs/web-apps/current-work/multipage/syntax.html#syntax-tag-omission P.S. STORYS.JP、 coincheck などのサービスを運営、開発しています。興味のある方はぜひ 和田まで連絡を! Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWhat you can
もう一か月以上も前の話ですが、.NET基礎勉強会で(型無し)ラムダ計算の話をしてきました。 .NETと言えばF#、F#の基礎と言えばラムダ計算!ですよね! 発表資料はこちらです。 ラムダでウィザード 滅せよ手続き、とチャーチは言った (※言ってません) from bleis tift 当日は2 + 3が分からないと好評(?)でした。 当時の様子はこんな感じです。 2+3の計算が難しい @ラムダ計算 #dotNetbase 2013-07-20 14:53:47 via Twitter for Android ぶれいすさんが人間簡約器になり下がっている #dotNetBase 2013-07-20 14:55:49 via Janetter for Mac bleis迷子中 #dotnetbase 2013-07-20 14:58:10 via Twitter for Android 人間簡
財政破綻したデトロイトでは、唯一の公共交通期間のバスが、予算のカットで、多くの路線は廃止され、市民の足に大きな影響が出ている。 先日、ギリシャを変えつつある若者たちの話を紹介したが、デトロイトでも、若者たちが立ち上がっていた。 デトロイトの破綻が確定する前まで、じつは、新たな公共交通機関システム、M-1路面電車というものが計画され、市民は大いに期待していたのだった。 が、この計画は、去年の1月、公式に頓挫した。 しかし、それを聞いて、ついに、ひとりの若者が立ち上がった。 デトロイト生まれの起業家、アンディ・ディドロシさん(Andy Didorosi)である。 彼は25才にして、すでにいくつかの事業(Paper Streat レンタルオフィスのようなもの, The Thunderdrome 地域のレースイベント、Wireless Ferndale など)を成功させている起業家だ。 デトロイ
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In the first Haskell Cast podcast Rein Henrichs and Chris Forno interviewed Edward Kmett in part about lens and it was suggested that Prisms don't have the same kind of introductory tutorial treatment. That's a shame, though. Prisms arise naturally all the time when using sum types. You co
各国政府の機密文書などをネット上で公開してきたウェブサイト、ウィキリークスの主催者で、現在ロンドンのエクアドル大使館で保護されているジュリアン・アサンジが80年代に活躍したオーストラリアのポップ・シンガー、ジョン・ファーナムに模したビデオを制作して公開している。 ジュリアンは2010年にスウェーデン政府から性的暴行罪を問われ、12年にイギリスから身柄をスウェーデンへ移送されそうになった時点で、エクアドルへの亡命を試み、以後、ロンドンのエクアドル大使館で保護されているが、元々はオーストラリアの出身で知られている。その母国オーストラリアでジュリアンはウィキリークス党を結成していて、9月に行われるオーストラリア議会の総選挙に向けて議席獲得を目指している。 今回公開された動画はその選挙キャンペーンの一環で、ジョン・ファーナムの1986年の大ヒット曲"You're the Voice"が使われている
米Twitterのサービスが、日本時間の8月28日早朝から一時ダウンした。Twitterのステータスページによると、協定世界時の8月27日午後8時29分、DNSサーバで問題が発生した。Twitterの画像サーバ(twimg.com)を含む多数の企業のDNSレコードが書き換えられたことが原因という。午後10時29分にtwimg.comは復旧。この問題はユーザーデータには影響しないとしている。 これより前(日本時間の午前7時24分)、シリアのバッシャール・アサド大統領を支持する政府系ハッカー集団「Syrian Electronic Army」(SEA=シリア電子軍)がTwitter.comのドメインを乗っ取ったとツイートしており、ダウンの原因はSEAによる攻撃とみられる。
Why is SEO Important? Regardless of the type of business you own, you need SEO. What exactly is SEO? SEO stands for “search engine optimization” and it’s the process of optimizing your website for search engines such as Google. If you want your website to show up on the first page of Google when someone searches for your products or services, then you have to actively engage in SEO for your websit
Speed & Concurrency Current Release: 6.4.0 Unlike other Ruby Webservers, Puma was built for speed and parallelism. Puma is a small library that provides a very fast and concurrent HTTP 1.1 server for Ruby web applications. It is designed for running Rack apps only. What makes Puma so fast is the careful use of a Ragel extension to provide fast, accurate HTTP 1.1 protocol parsing. This makes the se
FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ
最近、漫画やアニメーションをめぐり、表現規制につながりかねない出来事が続いていることは、本当に憂慮すべきことだ。 例えば、東京都の青少年育成条例や、児童ポルノ規制法案など、児童を冠に抱いたそれらは、児童を保護し、育成する目的でありながら、実際に検討されているのは、「不健全」な表現を炙り出し、それらを規制することだ。 そのような目で見ると、確かに「はだしのゲン」は、目を背けたくなるような残酷さと、人間の罪深い行為に溢れたシリアスな作品である。 でもそれは、伝えようとしている、伝えなければならない当時の「現実」が、まさに非人間的だったからだ。 戦争という最大級の過ちの中では、想像を絶する鬼の如き蛮行に及ぶのは、本当にすぐ隣にいるような、普段はやさしい普通の人間である。 そんな「事実」が生々しすぎるからこそ、より身近で親しみやすい表現手段である「漫画」で伝える意味があるのではないか。 もし議論の
Your language? Dec, 2018 Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Algebraic Topology: A guide to literature この サイト の 目 的 使 用 上 の 注 意 目 次 基 本 文 献 の 探 し 方 使 い 方 ホモロジ ー と コホモロジ ー ホモトピ ー 群 と ホモトピ ー 集 合 各 種 空 間 と 空 間 に 対 する 操 作 様 々 な 写 像 トポロジ ー の 歴 史 重 要 な 道 具 や 概 念 圏 と 関 手 スペクトル 系 列 代 数 的 な 道 具 コホモロジ ー 作 用 素 の 理論 K 理論 コボルデ ィ ズム と 関
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く