はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Erlangのエラーメッセージは暗号のようだ（Cryptic error messages）とか言われたりします。確かに分かりにくいです。http://bluebones.net/2006/12/erlang-error-messages/ に良いまとめがあった*1ので、これを敷衍＜ふえん＞する形で説明します。 内容： 例外の一般論 ランタイムエラーとスタックトレース reasonタームの一覧 ●例外の一般論 Erlangの例外（exceptions）は次の3種に分類されます。 throw例外 ： ユーザー（プログラマ）が任意の時点で生成する例外 exit例外 ： プロセス*2の終了に伴って生成される例外 error例外 ：主にシステムが生成するランタイムエラー それぞれの例外を、次の関数で引き起こす（raiseする）ことができます。 throw(Term) exit(Term) erla

職場で使っていたDebian GNU/Linux Lennyのカーネルイメージが壊れてしまった。そこで、woodyからdist-upgradeを繰り返してしのいできたPCにsqueezeをクリーンインストールしてみることにした。 結論から言うとてこずっている。 バックアップ Knoppixを用いて、USB外付けHDDにホームディレクトリなどをバックアップ。外付けHDDの容量が大きいので、以下のディレクトリの内容を丸ごとバックアップした。 /etc /usr /var /home バックアップにはrsyncを用いた。Knoppixだと、/media/以下に各パーティションがマウントされる。仮に元のマシンのHDDがhda1外付けHDDがsdb1でマウントされているとき、以下のようにしてバックアップする。 % rsync -az /media/hda1/etc /media/sdb1/etc l

痛い目みたのでメモ。論文の書き方は本を読んだり、先生に聞いてください。 投稿先が決定した段階 会議のWebページをブックマークする 論文募集通知（Call for papers、略してCFP）を印刷し、すぐに目を通せるようにしておく（共著者から質問されたら即座に質問に答えられるようにするため。あと、突然の会議Webページのダウンにも対応するため） 会議の名前、開催場所、開催日時、投稿締切日、採択通知日をラインマーカーで目立つように彩色 投稿版の論文（manuscript, draft）の形式、ページ数制限をラインマーカーで目立つように彩色 トピックにもラインマーカーで目立つように彩色 論文のフォーマットファイルを探し、ダウンロードして、適当なタイトル、著者名、所属などを記入し第-1稿を用意する。フォーマットファイルが見つからない場合は至急、先輩や先生、場合によっては会議主催者に問い合わせる

2ch Haskell板で土方土方と言われている件に関して。 cで土方やるよりhaskellで土方やる方がまだマシ 何のためにこういう人達は Haskell 勉強してるんだろ、、、土方*1になるため？違うよね。書き込んだ人は本気で土方になりたいと思っている訳では無いだろうし、特に深く考えて書いたコメントじゃないと思うんだけど。 でも、このコメント見てたら、日頃思っていたけど、思った瞬間に忘れていたことを、思い出すことに成功しました。だから飛躍させてください。 こういう、「まだマシ」的な考え方が、日本のいろんなIT市場で土方を再生産してしまう原動力になっているんじゃないのかな。 純粋に関数型言語を勉強/研究してる人だったら、そのことでお金がどれだけ入ってくるとか、そういうこと考えること自体あまり意味がないかもしれない。でも、もし一端、これからその技能を仕事で使って生きていくっていうんだったら

あの仕様もない記者会見以降、外人と会うたんびに「お前のとこの財務大臣アル中なんだって？」みたいなネタが振られるわけですが、いやいやフランスも人のこと言えないだろ、というYoutube映像を送ってもらいました。まぁ、古い話なので知ってる人は知ってると思いますが。 この会見、プーチンとの会談の後に行われたものですが、ウォッカをぶら下げてやる気満々でエリゼ宮にやってきたプーチン大統領に、下戸で知られるサルコジ大統領あえなく撃沈、とまぁそういう話のようでございます。 で、適当に検索をかけて掲示板を見てみたら、でるわでるわ非難の嵐。まぁ、演台にしがみついてようやく立っているという体たらくですから、国民の視線が厳しくなるのも無理はないというものです。 『サルコジは下戸だからな・・・シラクだったらこんな事にはならなかったのに』 『ワインの国の大統領が酒に弱いなんて恥ずべき事だ（確かにウォッカの国はロシア

日本経済再生の切り札、「中川（酒）酩酊会見で辞任」→「小沢代表、違法献金で第一秘書逮捕」のコンボで株高＆円安 うんこTARP-2のお陰でS&P500が700割って、ダウも4営業日連続安で11年ぶり安値更新にて、ユーロもアジアも変なことになってるというのに、我が国のトップニュースは3,000万ぐらいの政治金規制法違反で野党代表の公設第一秘書が逮捕という内容。 それ以外、取り立ててニュースがない状態で前場微妙安。後場にいたっては20円高。さらに円安。どうなってんのうちの国の経済。とりわけ市場。次期政権が目前に迫った野党代表が辞任で株高って。おかしいだろ。海外市場の動向も含めて上がる要素一個もねえよ。微下げで揉み合って終わりとかなら許すけど、上がってどうすんだ。年金もそれほど動きねーし。 中川昭一さんが日本を救ったかと思えば、今度は小沢一郎さんが日銀砲1兆7,000億円ぐらいの経済効果のある事件

Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...

はじめまして！08年度新卒エンジニアの「きょろ」こと井上恭輔と申します。ミクシィではコミュニケーション開発チームというところで、mixi上の色々なコミュニケーションサービスの開発を担当しています。 就職で東京に出てきて早10ヶ月、最初は周囲の歩く速度に付いて行けなくて悩んでいましたが、今では新宿駅を迷わず歩けるまでに成長しました。本日は慣れたついでに、そろろそエンジニアブログにも仲間入りしたいなと思いましたので、記事の初投稿に挑戦してみようと思います。 曰く「ハードボイルドな技術ネタ」の多い当ブログですが、今回は頭を使わずに読める、文字通り「コーヒーブレイク」的な記事をお届けできればと思います。駄文ではありますが、お付き合い頂ければ幸いです。 エンジニアのガソリン「コーヒー」 みなさんコーヒーはお好きですか？私はコーヒーが大好きで、1日にかなりの量のカフェインを摂取します。朝はブラックコー

さすがにこの社説はバカみたいと言うのを抑えることはできんな。 判決はいう。原告の主張は、合祀に対する不快の心情や靖国神社への嫌悪の感情としかいえない。権利の侵害が認められるのは強制や不利益を伴ったときだけだ。合祀は信教の自由に基づいて靖国神社が自由に行えることで、強制や不利益を与えない。だから遺族の法的利益が侵害されたとは認められない、という理屈だった。 これには疑問が残る。まず、判決が靖国神社を一般の宗教法人と同列に扱っていることへの違和感だ。 靖国神社は法的には、ただの宗教法人だが。というか、あんなの民間の、よくある新興宗教と法的には変わりないが。 これには疑問が残る。まず、判決が靖国神社を一般の宗教法人と同列に扱っていることへの違和感だ。 靖国神社は１９４５年の敗戦まで国家神道の中心、軍国主義を象徴する存在だった。国家機関として軍が管理し、合祀対象者は陸海軍の大臣が天皇の裁可を得て決

生きている意味がわからない。 ミクロ的にはわからないこともない。自分の幸せのため自分を愛してくれている人の為子供のため社会の為種の保存の為 でもそれがなんだと言うんだろう？自分はいずれ死んでしまうし、自分を愛してくれている人も死んでしまうし、子供も死んでしまうし、人類だって滅びてしまう。そもそも、この宇宙だっていずれは停止する運命にある。要するに自分が何をやったとしても、もしくは何もやらなかったとしてもはっきりいって無意味だし無価値だ。 圧倒的な無意味の中でどうやって生きていけばいいんだ？ どうすれば、自分の人生が価値あるものだと思えるんだ？ 僕はつねに正しくあろうとしてきた。その正しさの根拠をどこかに求めようとしてきた。 人間は社会的動物である。では、社会に正しさの根拠を求めればいいのか？いや、社会的動物なのであれば生物として存在し続けること = 種の保存に則って生きていけばいいのか？い

IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.

さらにさらに「ラムダ計算、論理、圏」セミナーへの補足・応答： 今日中に他のエントリーにも一言二言。 hiroki_fさん： 映画マトリックスは好きな映画の一つだ。 マトリックスの世界、ミニモイの国、ネバーランドなんかを妄想するのはいいよね、仮想の世界のなかに入り込んだり世界を外から眺めたり。マジでトレーニングになるよ。 限られたロジックで世界を認識する知的生命体は何処まで世界を認知できるかと言うことを考えてみたい。 この問題意識は重要だと思います。「閉圏、弱いラムダ計算、弱い論理」における、「“そとの人”と“なかの人”」の議論はまさにこの問題です。 Kuwataさん： 実際のプログラミング言語のラムダ式って、ぶっちゃけ大きなラムダ式だよな普通。例えば Hakell の場合、ラムダ抽象は以下のどっちでもいい。 \x -> \y -> x + y \ x y -> x + y 実際のプログラミ

GoogleのFellowであるJeffrey Dean氏のWSDM'09における講演"Challenges in Building Large-Scale Information Retrieval Systems"のスライドの翻訳の第2回です。Googleの検索システムの10年間の進化の軌跡が紹介されており、今回は2000年から2001年ぐらいまでの検索システムの一部の紹介となっています。個人的には転置インデックスの詳細な符号化方式が公開されているのが印象に残りました。Googleにとっては過去のインデックス構造でしょうが、商用の全文検索エンジンの詳細な仕様が公開されるのは珍しい気がします。なお、イタリック体で一部解説・感想をいれています。翻訳は素人なので詳しくは元の資料を参照してください。 第1回：Google WSDM'09講演翻訳：大規模な情報検索システム構築における課題（１）

GoogleのFellowであるJeffrey Dean氏のWSDM'09における講演"Challenges in Building Large-Scale Information Retrieval Systems"のスライドを翻訳してみました。Googleの検索システムの10年間の進化の軌跡が紹介されており、興味深い話が満載です。個人的にはディスクの外周部と内周部を使い分けている話がツボでした。なお、イタリック体で一部解説・感想をいれています。翻訳は素人なので詳しくは元の資料を参照してください。 スライドの入手元：Jeffrey Dean – Google AI 検索システムに取り組む理由 チャレンジングなサイエンスとエンジリアニングのブレンド 多くの魅力的な未解決な問題が存在する。 CS（コンピュータサイエンス）の多数の領域にまたがる。 アーキテクチャ、分散システム、アルゴリズム、圧

1回の充電で東京―大阪間に相当する500キロメートルを走れるリチウムイオン電池技術の開発が活発だ。積水化学工業の技術は突破のメドがたち、旭化成も近づいた。いずれも既存の電極を使うこ…続き 再エネ効率的に貯蔵、「ナトリウムイオン電池」寿命・容量が増大 ［有料会員限定］ トヨタの全固体電池　2025～30年ＥＶが化ける ［有料会員限定］