1. Actor とエラーハンドリング ∼Erlang 時々 Scala∼ M.Ikuta(@cooldaemon) Sep.4,2011 1
Javaで処理した内容をErlangで渡したい場合、標準で用意されているjinterfaceを用いることで実装できる。Java側でErlangとメッセージのやり取りをできるノードを作成することができるようだ。 Java側のコードを以下のように書く。Erlangライブラリ(lib/jinterface-1.5.8/prevにある)の中にある「OtpErlang.jar」にクラスパスを通しておく必要がある。 上記のjinterfaceのリンク先にあるリファレンスを見ると、Erlangの型に対応したクラス例が記載されている。 public class Sample { public static void main(String[] args) throws IOException { // ノード名の設定 OtpNode node = new OtpNode("bar"); //メールボック
日本アニメ初の快挙!海外アニメ賞を受賞した『スキップとローファー』海外ライセンス部長&プロデューサーが語る、奮闘の舞台裏
長期連休などに名古屋に出かける方のために、「名古屋名物」が食べられるオススメのお店を集めてみました。 名古屋の人なら誰もが知る、超ド定番のお店ばかりなので、間違いありません! ちなみにお店ではなく「おみやげ」についてはこちらをご参考に。 もらった人が思わずニッコリする本当においしい「名古屋土産」はこれだ!まとめ24個 1. 味噌煮込みうどん(山本屋本店、山本屋総本家) 名古屋といえば、味噌! その味噌をしっかり味わうなら、味噌煮込みうどんです。 味噌煮込みうどんといえば「山本屋」が有名なのですが、実は「山本屋本店」と「山本屋総本家」という全く異なる2社があります(地元民でも同じ店だと勘違いしている人がいます)。 名古屋名物味噌煮込みうどん対決!「山本屋本店」VS「山本屋総本家」 どちらも人気店ですが、個人的には山本屋本店がオススメ。名古屋圏でしか食べられず、もちろん味は絶品! うどんのアル
【独占対談】フジロックに出演したサヴェージズ×BO NINGENの盟友対談が実現!! Interview | 2013.08.09 Fri 世界的に見ても貴重なこの対談が実現できたことを、心から嬉しく思う。今夏の<フジロック・フェスティバル>に初出演を遂げたサヴェージズと、我らがBO NINGEN。いずれも英国・ロンドンを拠点に活動していることはよく知られているが、楽曲やライブでコラボレーションするほど彼らが仲良しである理由は、あまり語られてこなかった。日本でも着実にファン・ベースを築きつつある2組が同時期に苗場の地を踏むということで、千載一遇のチャンスを逃すわけにはいかない。 今回のインタビューは<フジロック>最終日、朝イチのレッドマーキーで素晴らしいパフォーマンスを見せてくれたBO NINGENのライヴ終了直後に、苗場プリンスホテルのプレスエリアで行われたものである。サヴェージズからは
前からずっと取り組んでいた「Coqで単純型付きラムダ計算を証明してみよう」が一段落しました。 動機 let多相の実装はしたから、次は証明だろ 最近、流行っているCoqを覚えたい 扱えるラムダ式 型は、Bool型と関数型のみ。 Inductive type : Set := | BoolT : type | FunT : type -> type -> type. 式は、変数参照、真偽値、ラムダ(関数抽象)、関数適用、if式。 Inductive term : Set := Var : string -> term | Bool : bool -> term | Lambda : string -> type -> term -> term | Apply : term -> term -> term | If : term -> term -> term -> term. 証明した定理 型
2013年08月12日08:00 【閲覧注意】地球に実在する化け物の画像貼って毛 Tweet 1:以下、名無しにかわりましてVIPがお送りします:2013/08/11(日) 23:37:42.30 ID:B6zZAucC0 ヤツメウナギ 3:以下、名無しにかわりましてVIPがお送りします:2013/08/11(日) 23:38:27.79 ID:B6zZAucC0 ナガヒカリボヤ 27:以下、名無しにかわりましてVIPがお送りします:2013/08/11(日) 23:46:33.76 ID:Jr4FuNiPO >>3 個人的にこういう得体の知れないやつが一番怖い でも好き 10:以下、名無しにかわりましてVIPがお送りします:2013/08/11(日) 23:39:58.82 ID:B6zZAucC0 オサガメ 132:以下、名無しにかわりましてVIPがお送りします:2013/08/12(
Besides features of the haskell language itself, I was wondering if there were any libraries in haskell that stood out as being unique--not a sinatra-like web interface for example. Something like erlang's mnesia or rails for ruby, maybe, or hazelcast for java or any frameworks (for web programming or whatever), that were truly a step above comparable libraries or don't even have a non-Haskell equ
この記事は2013年8月10日にatsuyaによってCoiney Developer Blogに書かれた記事の転載です。 少し前に、dotCloudが自身のPaaSのサービスで使っているdeployment engineをDockerとして公開しました。そのDockerを使ったものにdokkuというものがあり、これがREADMEにある通り、まさにmini-Herokuを作るためのツールなのです。そこで今回の記事では、dokkuを使って自分のmini-Herokuを作る手順を紹介します。 つまり、Herokuにデプロイするのと同様に、特定のremoteにgit pushすると、自動でデプロイが行われる環境を作ります。 この記事を書くにあたって、こちらの記事を参考にしました。 Docker Dockerは、先程書いた通り、dotCloudが自身のサービスを提供するのに使っているコンテナーです。
この写真は、アーミーナイフの名門ウェンガー社のジャイアントナイフという最高級ナイフである。141の機能を持つ、ギネス認定もされた厚さ24cm、重量1.3kgの世界で最も高機能なナイフだ。トップメーカーが自社製品の全機能を1つに集約したこの製品こそが、機能拡張の行き着く先を指し示している。 なぜ適切な機能追加であっても、機能を追加しつづけることで破綻をするのか?本エントリは、「スマホUI考(番外編) 顧客やユーザーの要望に全て対応すると、アプリは99%破綻する」の続きになる。 本エントリでは以下の4つの側面から、機能を追加するリスクを考える。まず第一に「選択肢の数が必ずしも善ではないこと」。次に「人間の判断力は使うほど消耗すること」。そして「画面スペースが有限のリソースであること」。最後に「どんなに機能を増やしても、一画面で強調できるものは限られていること」。これらの4つは全て、機能追加が最
3. 出版支援。書籍向けフォーマットへの整形 Write once, read anywhere. <マルチフォーマット化> ReVIEW原稿 ReVIEW記法で 書いたテキスト ePUB (HTML) PDF (LaTex) InDesign (XML) 4. 制作での役割 ◦ 著者、編集者、デザインなど ◦ 商業・非営利など制作者により粒度、クオリティは異なる 出版社なら ◦ 著者+編集者+DTP事業+印刷事業=書籍 非商業なら ◦ 俺+印刷所=同人誌 企画 執筆 組版校正 製版 印刷 頒布 6. 工程 現状 ReVIEW 執筆 フォーマットの乱立 ・出版社、個人ごと異なる ReVIEW記法によるマークアップ化 統一フォーマットでの表現力、ノウハウ の集約 校正 組版後の変更は 手作業Max。高コスト 差分管理ツールと連携、 修正個所の可視化 組版 InDesign
たまにはタイトルで言いたいことを言ってしまおうかと思って書いてしまいましたが、Gmailにおいて以下の仕様変更が行われて、「プロモーション」タブが導入されたことで、楽天の広告メールを一通も見ることがなくなりました。大量の広告メールというメールシステムの破壊者に対して我々が抵抗する術は「スパムとして報告」くらいしかなかったことを考えると、これは確実にテクノロジーの勝利だと思います。 Gmailの受信トレイがリニューアル―カテゴリー別のタブが設けられ、自動振り分けされる | TechCrunch Japan 公式の機能説明はこちら。 受信トレイのカテゴリやタブを追加または削除する - パソコン - Gmail ヘルプ 「プロモーション」タブ導入のGoogleにとっての価値 最初はこの変更について、その意味がよくわかってなかったのですが、一ヶ月ほど使ってみてこの変更の意味を理解しました。つまり、
個人の債務は返済すべきだが、国の債務は返済の必要がない。 ちょっと禅問答のようですが、この一文の意味がよく分からない人はしばしばいるようです。というか大多数かもしれません。 日経新聞でさえそうですから。 国の借金1000兆円 6月末 国民1人792万円に 財務省は9日、国債や借入金、政府短期証券をあわせた「国の借金」の残高が、2013年6月末時点で1000兆円を突破したと発表した。前年同月末に比べて32兆円超増えた。7月1日時点の総務省の人口推計(1億2735万人)をもとに単純計算すると、国民1人あたり約792万円の借金を抱えていることになる。 国の借金の残高は1008兆6281億円。一国の公的債務の大きさを国際比較する際には、国と地方の分を合算した指標を使うが、今回の発表は国の分だけだ。 国の借金は1981年度に100兆円を超えた。00年に19年近くかかって500兆円を突破した。1000
世界の音楽業界から高い注目を集める、聴き放題のサブスクリプション型音楽ストリーミングサービス「スポティファイ」(Spotify)が、新機能を発表しました。新しく追加された「Browse」機能は、ユーザーの好きな音楽ジャンルやアクティビティ、ムードに合わせて、無数のプレイリストをレコメンドしてくれるミュージックレコメンデーション機能です。 2000万曲以上の音楽カタログを持つSpotifyでは、これまでもユーザーが個別に作成したプレイリストを検索することは可能でした。しかし、自分の趣味に合ったプレイリストを見つけるのは非常に手間のかかるという問題がありました。「Browse」機能はこの音楽を見つける「ミュージックディスカバリー」(音楽発見)機能を拡張します。 Browse機能では、ユーザーが作成した1億個以上のプレイリストからの厳選されたプレイリストのレコメンドしてくれます。さらに、音楽学者
世界中で食糧難が叫ばれる最中、注目を浴びるのが昆虫食だ。2013年5月に、FAO(国連食糧農業機関)が、世界の食糧危機を克服するためのひとつの手段として、昆虫食の将来性について述べたことはまだ記憶に新しいが、元来、豊富な栄養源として日本でも一部の地域ではイナゴや蚕が食されてきた。英語では"Entomophagy"と言われ、イギリスやノルウェーを中心に、欧米でも昆虫食文化が広まりを見せつつある。ここ日本も例外ではなく、グロテスクな見た目とは裏腹に、虫が秘める高い栄養価や意外な美味しさに、「虫喰い」として開眼する人が少なくない。ここでは、東京都内でおいしく、安全に虫を食すことのできる5軒をピックアップ。ビギナー〜上級者向けまでレベル別に紹介しているので、それぞれに合った、虫料理を楽しんでみて欲しい。 むしむしレベル:★☆☆☆☆ 山手ラーメン本郷 安庵『みどりラーメン』 独自の味を追求し、唐がら
日本アニメ初の快挙!海外アニメ賞を受賞した『スキップとローファー』海外ライセンス部長&プロデューサーが語る、奮闘の舞台裏
オーディオテクニカがサマソニの感動を共有できるSNS「Social Board」を開始 – 夏フェスを可視化するコミュニケーションの今後 夏フェスに行って目の前で好きなアーティストのパフォーマンスを体験したり、初めて見たアーティストのライブに感動を即座に呟きたいと感じることがよくありませんか? オーディオテクニカが今年もサマーソニック専用の音楽SNS「Social Board」を展開しています。Social Boardは「サマソニ」に興味感心ある人がフェスへの熱い想いを共有しコミュニケーションができる、世界で唯一の場所です。 名称:SUMMER SONIC 2013 Social Board presented by audio-technica URL:http://ss2013.atj.cm/ 投稿期間: 8/5(月)11:00 – 8/30(金)23:59 Social Boardは
【画像】 コミケ帰りの戦士が激写される 1 名前: 断崖式ニードロップ(愛知県):2013/08/11(日) 18:41:48.82 ID:DF/qgQlZ0 お前らいい加減にしろw https://twitter.com/shiba_____/status/366479587825311744/photo/1 [コミケ84]コスプレ規制緩和で表現の幅広がる 撮影ルールも緩やかに http://news.mynavi.jp/news/2013/08/11/019/ 3 : ツームストンパイルドライバー(鹿児島県):2013/08/11(日) 18:42:40.29 ID:h2D8Ztpi0 ハゲてるしwwww 4 : ウエスタンラリアット(北海道):2013/08/11(日) 18:42:58.92 ID:lzwxInQN0 ないないw 8 : スパイダージャーマン(禿):2013/08/
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く