osiire’s blog
唐突にlock-freeをAlloyで書いてみたくなったので書いた。 what is lock-free 冬のLock free祭り safe from Kumazaki Hiroki www.slideshare.net kumagiさんの資料によると、lock-free stackはリンクリストみたいなもので、先頭へのポインタをCAS(Compare and Swap)で切り替えるらしい。 素直にAlloy化するとこうなる。 sig Data {} // linked elements of stack. sig StackElem { data:Data , next:lone StackElem // edge dosen't have next element. } { no next & this // prevent self pointing. } sig HeadPoin
多相バリアントを使いこなそう(4) - osiire’s blog
前回までで多相バリアントの基本的な機能は説明してきました。そこで今回は、多相バリアントのとても重要な応用についてお話したいと思います。それは、場合分け構造の拡張問題です。 場合分け構造の拡張は難しい 例えば、次のようなコードがあったとします。 module Card = struct type t = Num of int | Jack | Queen | King let num = function Num i -> i | Jack -> 11 | Queen -> 12 | King -> 13 end Card.tには4種類の場合分けがあり、それらに対してnumという操作が定義されています。このような場合分け構造+操作に対して、 静的で安全に(キャストせず)、 元のコードを一切変更せず、 新しい場合分けを加え、 新しい操作も加えた 新しい場合分け構造を定義する にはどうすればいい
東京新聞:尾瀬の環境保全に懸念 東電子会社、社会貢献事業を大幅削減:群馬(TOKYO Web)
東京電力福島第一原発事故に伴う経営悪化により、同社が約四割を保有する尾瀬国立公園一帯で、子会社の尾瀬林業（東京）が社会貢献事業を大幅に削減したことが十八日、明らかになった。入山者にごみ拾いのボランティアを依頼する事業を十一年間続けてきたが、二〇一一年度に初めて中止。山小屋で集めたごみ処理量はほぼ半減した。夏山シーズンを控え、広大な尾瀬の自然環境保全が懸念される。 （菅原洋）
冷たい方程式（15） もしプロジェクトマネージャが手当たり次第にマネジメント本を読んだら：Press Enter■：エンジニアライフ
ふつーのプログラマです。主に企業内Webシステムの要件定義から保守まで何でもやってる、ふつーのプログラマです。 次の朝、出社したあたしは、自分の席の後ろに、昨日まではなかった物体を発見して少し驚いた。 「なんじゃこりゃ？」 それは新品のホワイトボードだった。幅120センチぐらいでキャスター付き。会議室などに置いてあるようなやつだ。なぜかマーカーやイレーザーは付いていない。 「ねえ、これは何？」 ムツミさんに聞いてみたが、首を傾げるだけだった。 「昨日の夕方、サオリさんが研修に行っている間に、搬入されてきたんです」 「ふーん、誰が注文したんだろ」 「渕上さんですよ」亀井くんが答えた。「受領印を押していましたから」 渕上マネージャは、いつもどおり8時59分に出社してきた。あたしが真新しいホワイトボードのことを聞こうと思ったとき、渕上マネージャに機先を制された。 「今日から、タスク管理をより厳密
西海岸のメジャーなインキュベーション“500 startups”での出会い、学び。 – TechDoll.
ちょっと前にサンフランシスコに行って色んな人に会ってきたよ。シェアオフィス“Parisoma”で開催されるPR for startupsというというクラスに参加したり、Sillicon Valley New Tech(SV New Tech)に出てみたり。 中でも、西海岸でメジャーなインキュベーション“500 startups”での時間が本当に楽しかった。Caltrainという電車のMoutain View駅から徒歩10分くらいのところにあるのだけど、オフィスに遊びに行っただけじゃなく、その後みんなで韓国料理を食べに行ったりしてゆっくり時間が過ごせた。今回はそんな500 startupsで出会ったサービスや聞いた話について。 ヘッドハンティング 500 startupsの特徴は面倒なエントリープロセスがないこと。ヘッドハンティングみたいな感じに面白いスタートアップに直接声がかかるみたい。今
LUNCHBOX :Arduino互換プロトタイピングボード「LUNCHBOX」 - Cerevo DASH(セレボ ダッシュ)
“LUNCHBOX”は、Arduino互換のプロトタイピングボードです。他の互換機にはない多くの革新的な機能を備えた、まさに究極のArduino互換機です。（写真は試作品です。実際の製品は細部が異なる場合がございます） LUNCHBOXはリチウムイオンバッテリの充放電に対応しています。 充電電流は最大800mAの急速充電！ USB接続時は充電電流を100mA、500mAに切り替えができます。（オプション） 高性能アナログICで知られるLinearTechnology社のLTC4055を搭載、ACアダプタ、USBバスパワー、そしてリチウムバッテリの三つから常に最適な電源を自動選択します。例えばバッテリが接続されているときにACアダプタを挿せば、瞬時にACアダプタからの動作に切り替わり、バッテリは完全に切り離された状態で高速充電が行われます。ACアダプタが外されたときは、バッテリ動作に瞬時に切
kuromoji - japanese morphological analyzer
About Kuromoji Kuromoji is an open source Japanese morphological analyzer written in Java. Kuromoji has been donated to the Apache Software Foundation and provides the Japanese language support in Apache Lucene and Apache Solr 3.6 and 4.0 releases, but it can also be used separately. Downloading Download Apache Lucene or Apache Solr if you want to use Kuromoji with Lucene or Solr. See below for so
ちっともエロくない人工エロス〜なぜ、AV・エロアニメのフェラチオ音はやかましいのか？〜 - かくいう私も青二才でね
注意書き 何度か私のブログに来ている人からしたら「あれ？経済ブログじゃなかったの？」と疑問に覚える内容です。この記事に限っては「いつもの手法でエロスを論じる」記事です。 「理屈っぽかろうが、エロはだめ！私は君の経済記事・書評が読みたいのだ」と言う方はこの記事はスルーしてください。下手な官能小説や萌え豚のエロ論よりもずっとエロい事を書いていくから嫌な奴は嫌だと思います。 お品書き 最近のエロはインスタント的な安直さに溢れてる なぜ、制服・スーツからエロスを感じ取れるのか 妹「私にはニャル子が風俗嬢に見える」 かなり硬派で、最近の萌えに否定的な事で知られる僕だが…僕よりも古い・硬派・アンチ萌えのオタクはいる。その一人が妹だ。その妹が「最近のトレンドがわからん」と言ってたので、２つの作品を見せて。１つはルパン三世の新シリーズ。これについては僕はかなり好きだったのだが… （ルパンを見た）妹「金がか
アクセル・ワールドのSF的な疑問点と解決策
アクセル・ワールドは素晴らしいライトノベル作品ですが、SF的な設定にも作者さんのこだわりが感じられます。おそらく、相当量の背景設定があるのではないでしょうか。 しかし、同じ作者さんのソードアート・オンラインと比較すると、アクセル・ワールドのSF設定には「大丈夫なんだろうか？」と思わせる部分がいろいろとあります。この文章では、その疑問点を取り上げ、最後に解決策を提案したいと思います。これ以降はアクセル・ワールドの本編１１巻までのネタバレを含みますので、アニメのみ視聴している方は読まないでください。 疑問点1：ニューロリンカーの処理能力まず一つ目の疑問点は、ブレイン・バーストプログラムが動作するニューロリンカーの処理能力についてです。 ブレイン・バーストプログラムがどのように動作しているのか、作中では明確な説明はないのですが、仮にバーストリンカーが装着しているニューロリンカー上で動作していると
ニッポンの引き算恐怖症 | 無線にゃん
今日もちょっとだらだらと長いです。愚痴です。特にモバイルとか携帯電話とかってことに限定される話でもないんですけど、今の日本のモノづくり、製品開発って、「引き算恐怖症」ともいうべき恐慌状態にあると思うんです。大企業病みたいな慢性疾患というよりは、恐慌状態。パニックで正しい判断ができなくなっている状態。 これは前にも似たようなことを書いたと思うんですけど、何かものを作る、ゼロから作る、って時は、たぶん、今できること x 市場の需要で機能を決めていると思うんですよね。なので、たぶん、最低限のものができあがって、大体他社もほぼ同じようなものを出して、あとはデザインか値段か、そのあたりで勝負になるんでしょうなぁ、という感じなんですよ。 しかし、その後継機を作る、って時に、前身製品機能 + (今できること x 市場の需要)、っていう足し算でものを作っているように思います。ほとんどの場合。たぶん、製品の
Meteor.js - naoyaのはてなダイアリー
http://www.meteor.com/ で公開された Meteor.js を少し触ってみました。TechCrunch なんかでも話題になっていましたね。 Meteor.js は JavaScript によるウェブアプリケーションフレームワークですが、クライアントサイドでもサーバーサイドでもない、"Isomorphic" なフレームワークです。 コンセプトとしていくつか特徴があるのですが、その最たるものは "Reactive Programming" で、モデルやセッションなどのストレージを更新するとその更新内容がリアルタイムに、そのアプリケーションを開いている全クライアントに伝わるようなアプリケーションを簡単に作ることができます。 この辺は実例を見るのが早いです。 http://www.meteor.com/examples/leaderboard ここにある動画では、あるブラウザで
０から始めるOS開発
「OS自作に興味はあるけれど、どこから手をつければ良いか分からない！」 そんな人のためのOS開発初心者用スモールステップページを作る事にしました。 Livaが気ままに不定期更新する予定です。何かあったらForumにでもどうぞ。
かっこ悪くて面倒でもテストコードを書こう - 今川館
Python | 10:08わたしはプログラマーではありませんが、いくつかの仕事でテストコードを見たり書いたりすることがあったので、その過程で思ったことをメモとして残しておきます。コーディングとテストを分けて工数を言う癖をやめようどっちもコードを書くのだから分けて考える必要はないテストコードの重要性は理解しているけど、工数も厳しいし客がテストコードを書くことに工数を割くことを認めてくれない。ありがちな話ですが、それがテストを書かないことの根拠であるならば少し考え直しましょう。コーディングとテストを異なる工程と考えるのをやめてしまえばそんなことに悩む必要はなくなります。つまり、「テストを書きながらコーディングする」のです。だいたい、普段プログラムを書いているときだって手元で動かしながらものを作っているでしょう。それと同じことをプログラムを書いてやればいいだけです。客がテストを書かせてくれない
2万円以下で圧倒的にはかどる自宅オフィスを構築するアイテム達 : ITコンサルジャンキー
4月22 2万円以下で圧倒的にはかどる自宅オフィスを構築するアイテム達 カテゴリ:徒然 Tweet 恥ずかしながら私は大学進学をするときに実家を出て以来、いわゆる勉強机・仕事机というものを持ったことがありませんでした。 基本はソファに座るもしくはベッドで寝ながら本を読んだりパソコンをいじったりしていました。このブログのエントリの8割くらいはベッドで寝転びながら書いたものです。 ただ、調べ物をしながら何かを書いたり、XcodeでプログラミングしたりするときにはどうしてもMacBookAirでは使いにくいと感じていました。 また、長時間にわたって作業をするときはどうしてもソファだと疲れやすく、寝ていると眠くなってしまうとうことが多々あったので、半年ほど前からデスクが欲しいなぁと考えていました。 そこでどうせなら安くていいものを揃えたいと思って今回いろいろ調べて買ってみたので、参考にしていただけ
PythonとJulia
Julia, Python and Cython - julia-dev | Google Groups Cythonの開発者が、JuliaのMLに登場して議論している。 Cythonとは、PythonコードからCやC++への変換をするソフトウェアである。このため、独自の拡張により、PythonからCやC++のコードを簡単に呼び出せるようにもなっている。 なぜCythonを使うのかというと、速度である。Pythonのリファレンス実装、CPythonはバイトコンパイルによるインタプリターであり、JITはない。そのため、科学技術計算のためには、非常に遅い。Cythonは、科学技術計算をする研究者に人気がある。 The Julia Languageは、高速に動作することを目的とした動的プログラミング言語である。LLVMによるJITコンパイルにより、高速に動作する。また、数値演算ライブラリとして、
幕末に活躍した人物の末裔のまとめがすごい
【写真あり】幕末の偉人たちの子孫が意外過ぎる人生を送っている | 幕末ガイド これはすごい。よく調べたものだ。 ひとつ前から気になっていることとして、日本人の何割ぐらいが、歴代天皇の子孫なのだろうかという疑問がある。思うに、割合は「割」という単位で表せるほどであると思う。確実に存在したと言える天皇は千五百年ほどさかのぼることができる。だから、日本人は結構な割合で、天皇の子孫であると思うのだ。 さて、私のルーツはというと、まあ、そんなに歴史上名のある人物ではないはずだ。父方の祖父母は、佐渡ヶ島の人らしい。佐渡というのはなかなか興味深い場所だ。あそこは流刑地だったのだ。流刑地といっても、江戸あたりで特に仕事もなくぶらぶらしている人間を、奴隷のような強制労働要因として送り込んでいたのだが。祖母は佐渡で電話交換手をしていたらしい。祖父は戦後仕事がなくて、自衛隊に入っていたそうだ。祖父は非常に器用で
自分が無知なだけなのに - わさっきhb
1. 乗法の意味，長方形の面積の公式 [ a x b = b x a ]なのだから、どうでも良い事。仮に、記載順がどちらかに固定されているとしても、そこに歴史的な意味は有るかもしれないが、そんなものは単なるウンチクで、数学的には無意味。 人力検索に有る、トンデモな質問。 - Darkwood’s Blog 交換法則は，長方形の面積を求めるのに使用するのではなく，長方形の面積についても成り立つのを確認するのに活用されています． 数学と別に，数学教育学が発達してきたこと，そしてそれらの連携に思いをいたすと，「数学的には無意味」とはよく言えたものだなあと感じます． もしかしたら、受験関連で、このような質問となるのかもしれないが... 。だとしたら、[ 本当は、どっちでも良いが、受験では、こちらが良い ]という話をすべきで、 受験のほか，学力テストまで対象を広げて，「長方形の面積の計算で，縦×横の
アマゾンにおけるソフトウェア開発の仕事について感じたこと - 達人プログラマーを目指して
ちょうど、先日アマゾンのオープンハウスというイベントでお話をさせていただく機会があったのですが、開発者向けの20日のセクションだけで90名近くの方々にご参加いただきました。平日にもかかわらず、多数の方々にご参加いただき、どうもありがとうございました。 私自身は、昨年秋にSIerからアマゾンに転職してまだ半年ですが、この機会にアマゾンにおけるソフトウェア開発の文化や考え方について、ブログでご紹介できる範囲でまとめてみたいと思います。 私は、ずっとブログに書いてきたようにSI業界からの転職だったのですが、一般的なSIerにおけるソフトウェア開発の考え方や手法といろいろな面で違っているということは予想していたというか、もともと覚悟の上での転職でした。それでもやはり最初のうちはあまりにも大きな変化に自分の仕事のスタイルを合わせるのにいろいろと苦労しました。基本的には転職したての頃に抱いた感想（転職
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
復習がてらK-means法（もちろんawkで） - naoya_t@hatenablog