Job Opportunities | Commercial Users of Functional Programming
Any authenticated user may submit a Functional Programming job opportunity. All submissions are reviewed by our editors before publishing to prevent SPAM abuse. OCaml DeveloperCompany: MyLife Language: OCaml Our company, MyLife, is continuing to seek OCaml programmers to expand our team in the Silicon Valley. We develop back-end people search... // More F# .NET Developer with Experience within
BIOSの画面をキャプチャ？ - りおてく
BIOSの画面をエディタで作ってみた。正確にはIntelのビデオカードのフォントとはちょっと違うけれど、それっぽいのでまあよしとしよう。 さて、どうやって作ったんだろうという話になるわけだが、せっかくなので経緯を書こう。 最初に思いついたのは、TerminalやFixedSysというWindowsのフォントで書けないかということ。ところが、これらはそれっぽく見えない。何でそれっぽくないかというと、BIOSやRAIDカードの設定画面で使われている文字はビデオカード（今回の場合はDG45FCに内蔵されたIntel GMA X4500HD）が持っている8 x 16ピクセルのフォント。それを80文字30行表示するので640 x 480ピクセルがVGAのサイズと。 じゃあ、BIOSのアップデータからフォントだけ抜き出せないかなとか思ったが、hexdumpしてもどれがフォントなのやらさっぱり。 次
関数と正規表現と私 - d.y.d.
00:46 10/04/23 EDBT/ICDT 2010 先月 EDBT/ICDT 2010 という学会に行ってきたのですが、それについて何も書いてなかったので今頃書きます。 自分より一ヶ月後に同じローザンヌに行って噴火に巻き込まれて帰国まで延びてしまっているみずしまさんがお帰りになるよりは早く書かないと的気分がなきにしもあらずです。 データベースの会議なんですが、 こちらの分野は SIGMOD/PODS の流れで、 実装寄りの会議と理論よりの会議を合わせて共同開催するブームらしい。 参加者としては、色んな幅広いトークが聴けるのは単純に楽しいので、もっと広まると面白そうだなあと感じました。 プログラミング言語で言うと PLDI/POPL とするみたいなものでしょうか。 それが良いかどうか判断できるほどPLDIの方の雰囲気を知らないのでわかりませんが。 オートマトン方面だと CIAA/DL
JavaScriptで + - * = なしで記号だけでプログラムを書く - 葉っぱ日記
id:hoshikuzu さんが言ってたので書いてみた。こんな感じ↓。コードはすぐ書けたけど、この記事書くのに30分以上かかってる気がする。 javascript:(~~[])[<_>{/...$/({})[~~[]][~~[]]}{/../({})[~~[]][1]}{/...$/({}[{}])[ ~~[]][~~[]]}{/..$/(!{})[~~[]][~~[]]}{/./(!![])[~~[]][~~[]]}{/...$/(!![])[~~[]][ ~~[]]}{/..$/(!![])[~~[]][~~[]]}{/...$/({})[~~[]][~~[]]}{/./(!![])[~~[]][~~[]]}{ /../({})[~~[]][~~!![]]}{/...$/(!![])[~~[]][~~[]]}</_>][<_>{/...$/({})[~~[]][~~[] ]}{/../
Twitter経由でMacを遠隔操作するフリーソフト『TweetMyMac』 | ライフハッカー・ジャパン
Mac OS Xのみ：Twitterに接続できる環境ならどこにいてもマイMacを遠隔操作できるツール、それが『TweetMyMac』です。シャットダウンや再起動はもちろん、スクリーンショットやiSightの画像を見ることもできちゃいます。 『TweetMyMac』を使うためには、新しく遠隔操作専用のTwitterアカウントを取得することが必要です（Twitterアカウント複数持ちのコツについてはこちらの過去記事でまとめていますのでご参考に！）。 新しい専用アカウントを作ったら、そのアカウントであなたのメインTwitterアカウントをフォローしてください。ここで注意しないといけないのは、自分以外の、他の人のアカウントは絶対にフォローしないこと。もしフォローしてしまうと、その人もあなたのMacを遠隔操作できるようになってしまうかもしれないからです。 さて、ここまでできたら後は『TweetMyM
民主党マニフェストのテストコード
プログラミングの世界ではコードの動作を確認するために「テストコード」を書きます。仕様の変更などでコードを大幅に修正する機会は多いのですが、テストコードがあれば重要な機能が動かなくなった場合でも、すぐに確認できます。政治の世界でも、マニフェストの実現度合いを確認するための「テストコード」が必要ではないでしょうか。 テストコードを動かしてみると以下のようになります。今はマニフェストの実装（実現）段階なので、もちろん真っ赤（すべて動いていない状態）です。 テストをすべてパスすると、表示は緑になるはずです。 このようなテストコードがあると、政治の解釈、問題点がゆがめられていないかを、その都度確認していくことができます。一票を投じることも大切ですが、一般に分かりやすい部分しか報道しないマスコミに頼らず、各々が持つ専門的な知識（育児、教育、研究、経済などなど）を活用して、自らの目で政治が行われる様を監
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
トグサ「少佐、エンドレスエイトってご存知ですか？」:ハムスター速報 ２ろぐ
1 ：以下、名無しにかわりましてVIPがお送りします：2009/07/22(水) 19:31:36.74 ID:sYBXoPIq0 少佐「エンドレスエイト？バトーお前知ってるか？」 バトー「いいや、俺も知らねーな。さては新手のテログループか何かかい？」 トグサ「いいや、こいつはテロ組織じゃない。アニメのタイトルだ」 少佐「アニメ？」 荒巻「そうだ。京都アニメーションで製作された『涼宮ハルヒの憂鬱』… そのアニメの中で放映された話の一つがエンドレスエイトだ」 バトー「おいおい、課長までアニメを見てるとは！九課もヤバイんじゃねーの？」 トグサ「もしそいつが社会を揺るがす事件だとしたら…？」 少佐「事件？どういうことだ、トグサ？」 荒巻「エンドレスエイト事件…それが今回の我々の仕事だ」 2 ：以下、名無しにかわりましてVIPがお送りします：2009/07/22(水) 19:32:17.2
さんまが「テレフォンショッキング」出演！ 時間無視の“0時47分”までマシンガントーク！（オリコン） - Yahoo!ニュース
さんまが「テレフォンショッキング」出演！ 時間無視の“0時47分”までマシンガントーク！ 7月24日12時31分配信 オリコン お笑いタレントの明石家さんまが、24日放送のバラエティ番組『森田一義アワー 笑っていいとも!』（フジテレビ系）の人気コーナー「テレフォンショッキング」にゲスト出演した。約1年ぶりに同コーナーに出演したさんま。通常は後0時20分前後で終了する同コーナーを大幅に延長し、後0時47分まで得意の“マシンガントーク”を全開。今や貴重となった司会のタモリとの2ショットで会場を盛り上げた。 お笑いコンビ・南海キャンディーズ・山崎静代からの紹介で同コーナーに登場したさんまは、ポスター持参で登場し「これ貼って下さい」とタモリにお願い。何かの告知ポスターかと思いきや、そこにはムササビの写真が……。「何これ？ あなたムササビやるの？」とタモリに尋ねられたさんまは、「どうしたら（ムササ
新イシカワ物理学研究所－ちょっと物理なはなし
「永久機関は熱力学の法則に反する」とよく言われます。 それは全くそのとおりなのですが、熱力学第１、第２法則により 永久機関の存在を論駁することは不可能です。 なぜなら、熱力学の法則と永久機関が存在しないことは等価なので、 トートロジーになってしまうからです。 それでは永久機関は存在するのかというと、 もちろんそんなことはありません。 いままで熱力学の法則の破れは観測されていません。 私たちの知る限りでは、永久機関の存在を正当化するような 理論は存在しないのです。 しかし、世の中には永久機関を作ったと主張し（カンチガイし）、 特許を取ろうとしている人が大勢いるそうです。 そんな中で、トンデモではない究極の永久機関の話を聞きました。 あまりに素晴らしいので、ここで紹介したいと思います。 この永久機関、かのボーアが発明したらしく、 ボーアの永久機関と呼ばれているそうです。 ボーアの永久機関の模式
プログラマの麻疹 - 宇宙行きたい
id:t-wada と話してた時に出てきた「プログラマの麻疹」 プログラマはみんなどうせかかるんだから早めにかかっておいた方が良い そしてかかっておくと治った後にはさらに良いコードが書けるようになるので 恐れずにかかりましょう 名前 症状 僕の状態 OO 厨 多分、現在一番キャリアが多い。一時期 AOP 厨になってしまった人も含むことがある。Smalltalk を神格化し始める かかり中 function 厨 最近増えてきた。マルチコア時代に最適というわかりやすい感染源ができたことも要因の一つ。LISP が世界を作っていると信じる 挫折中 三項演算子厨 どんどんネストした三項演算子を書いてしまう。気がつくと自分でもよくわからなくなってることもある 治療済み テスト厨 テストのためだけにコードを書いてしまう。プロダクトコードのきれいさよりもテストのしやすさを求めてしまう 治療中 lambda
Lisp like symbol in Ruby
Blogged by Ujihisa. Standard methods of programming and thoughts including Clojure, Vim, LLVM, Haskell, Ruby and Mathematics written by a Japanese programmer. github/ujihisa I succeeded in adding a lisp like symbol literal to ruby by fixing parse.y. diff --git a/parse.y b/parse.y index e2e92ce..c9fbb03 100644 --- a/parse.y +++ b/parse.y @@ -6319,6 +6319,9 @@ static int parser_yylex(struct parser_p
たった一つの冴えたやり方@IT - lingr to stop lingering : 404 Blog Not Found
2009年05月02日16:30 カテゴリNewsArt たった一つの冴えたやり方@IT - lingr to stop lingering まずはおつかれさま＞kenn & the Gang LingrとRejawサービス終了のお知らせ:江島健太郎 / Kenn's Clairvoyance - CNET Japan 5月末をもって、LingrとRejawの両サービスをシャットダウンすることになりました。いずれのサービスも、すでに新規サインアップは受付停止済み、5月15日までユーザデータのダウンロード依頼を受け付け、5月16日からは新規発言ができなくなり、5月末の完全停止までの間にデータをダウンロードしていただく段取りになります。 いや、「おつかれさま」は「日本人の知らない日本語」によれば目上から目下へ使う言葉とのことなので、「お疲れの出ませんように」と言い直すことにしましょう。 それで
LingrとRejawサービス終了のお知らせ:Kenn's Clairvoyance
今回は残念なお知らせがあります。 5月末をもって、LingrとRejawの両サービスをシャットダウンすることになりました。いずれのサービスも、すでに新規サインアップは受付停止済み、5月15日までユーザデータのダウンロード依頼を受け付け、5月16日からは新規発言ができなくなり、5月末の完全停止までの間にデータをダウンロードしていただく段取りになります。 今まで支えてくださったユーザの皆さんには、このような結末になってしまい本当に申し訳なく思っています。シャットダウンという最終決定を下すまでには多少の猶予をいただき、営業譲渡などでサービスを存続させる方法も模索していたのですが、受け入れ先を見つけることができませんでした。 2005年の夏にインフォテリアの100%子会社として操業を開始した米国法人のインフォテリアUSAですが、こちらもサービスの終了を見届けた後、6月中に解散・撤収することとなりま
「要は、勇気がないんでしょ?」で始まる太平洋戦争 - ARTIFACT@はてブロ
※書き手は日本帝国海軍。友人は日本帝国陸軍 ちょっと昔の話。今よりも僕はずっとずっと言い訳をするのが好きで、理屈を説明するのが好きだったんです。 でまぁ、当時も今と変わらず石油がなくて、 男友達と飲みながら「石油がない、だから作戦行動できないんだ」と文句言ってたのです。 御前会議で。 したらまた、この友達が「じゃあ、わかった」と言うのです。「今からハワイに行こう」と。 奇襲作戦なんかしたことないオレは焦りました。「いや、ちょっと待って」とあわてます。 でも友達は、少し遠くで飲んでいる真珠湾の戦艦と巡洋艦を指さし、「あそこ行ってドンパチやろうぜ」と言い、天皇に上奏しようとします。 オレは「いや、向こうも迷惑だし」とか「さすがにうざいっしょ」とか言って止めます。 友達は「嫌がられたらすぐ和平交渉すればいいんだよ」と言ってましたが、オレが動こうとしないので行くのをあきらめました。 「じゃあ、ハワ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
gekkyoku-teiso.info
MacBook White is very strong!!
「伸太、部屋ニ駆ケ込ミテ、号泣シテ曰ク」 ドラえもんを漢文訓読してみた:アルファルファモザイク
IMPORTAR / EXPORTAR EMBARCACIONES & YATES EU (DUA)