例外付き計算とグロタンディーク構成 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「1年たって、手書きから自動描画へ」で触れたように、Catyに視覚化機能を入れる作業をチョボチョボとやっています。 Catyの計算モデルはもともとが絵算（pictorial/graphical/diagrammatic calculation）なので、視覚化とはいえ、本来の構造を目に見えるようにすればいいだけです（描画のコツは色々必要ですが）。 Catyは、大域脱出や副作用のような不純な計算もサポートしているので、不純計算の視覚化（図示、描画）をどうしようか？ という問題があります。結論を言えば、ほとんど省略して描かない方針です。あまり精密に視覚化すると、グラフのノードや辺の数が膨大になってかえってワケわかんなくなる恐れがあるからです。 とはいえ、特定の種類の不純計算を局所的に描くのは有効かもしれません。ここでは、例外を含む計算の描画法と、それに対応する圏論的なモデルを紹介します。計算モデ
asahi.com（朝日新聞社）：煮抜き、お造り、関東炊き…消えゆく関西たべもの言葉 - 社会
煮抜き、五目ずし、関東炊（かんとだ）き……。「食」に関する関西ことばが日常生活から急速に姿を消している。武庫川女子大学言語文化研究所（兵庫県西宮市）の岸本千秋助手（４４）の調査でわかった。「まずい」を意味する「もみない・あじない」は絶滅寸前だ。 調査は２００８年１１〜１２月、武庫川女子大の学生１２４人と、同研究所に普段から協力している一般の２０〜６０代の１５８人を対象にアンケート方式で実施。関西とそれ以外の地域で異なる呼び名を持つ「食」に関する言葉を並べ、どちらをよく使うか選んでもらった。一般の回答者には、子どもの頃どちらを使っていたかも答えてもらった。 その結果、６０代以上のほぼ半数かそれ以上が子どもの頃に使っていた「なんば」「ごんぼ」「関東炊き」「ばらずし・五目ずし」という単語が、それぞれ「トウモロコシ」「ゴボウ」「おでん」「ちらしずし」に変わっていた。学生は、これら四つの関西こと
株式会社ロングゲート - 製品案内
Information 2013/12/25 書籍『プログラミングの魔導書 Vol.3』の発売 (書籍版の予約受付は終了しました) 2013/12/03 書籍『プログラミングの魔導書 Vol.3』の予約受付開始 2011/12/01 ブログを開始 2011/11/30 著者からの指摘を受け、書籍 『プログラミングの魔導書 Vol.2』PDF版を改訂 2011/11/02 書籍 『プログラミングの魔導書 Vol.2』の壁紙公開 2011/10/05 書籍 『プログラミングの魔導書 Vol.2』を発売 (書籍版の予約受付は終了しました) 2011/9/15 書籍 『プログラミングの魔導書 Vol.2』の予約受付開始 技術トレーニングサービスを開始 2010/8/07 書籍 『プログラミングの魔導書 Vol.1』を販売開始 2010/6/01 書籍情報を公開しました 2010/2/28 今年５月
「地震の時は水をためろ」はウソ - カレーなる辛口Javaな加齢日記
http://www.satonao.com/column/variety/jishin.html これにはかなり迷惑なウソも含まれているので，絶対に真似しないように． こういう救いようがない馬鹿は実に困る． こんなものは、裏ワザでも何でもない。単純に迷惑な話だ。 新幹線には、急病人、国会議員などのために空席をもうけてある 鉄道詳しい方には一般的のようですが、新幹線には指定席満席の状態でも4席程度緊急用空席がもうけてあることが多いです。 ちょっとずるいですが、この座席に座ってしまうというのがレシピのポイントです。 鉄道系システムに携わってた俺からハッキリ言わせてもらう。 この「裏ワザ」を喜々として実行するアホのためにシステムが過去に改修された。 http://d.hatena.ne.jp/dbfireball/20100104/1262534488 ここでの「地震対策(笑)」は，「新幹線で
『ブログとはなんだろうか』
港区の騒々しい日常生活や、 食ったもの、出逢った人々のこと そして世の中の 過ぎてゆくくさぐさ。人生の悲しみ。 喜び。 なんてことないこと。 自分が何者でもないことへの苦しさ。 ほっとする一言。 あわただしい人生 やはり、ブログというものは 品性がでますね・・・・ はてなに集う人々と なんとなく 肌が合わないのは そのせいか 人間は 人に認めてもらいたいもので 自分自身初期のブログをみると やはり 自己顕示欲がある・・・・ 読み手を想像してなんとなく 自分を認めてほしいと思うのだ。 ほんとうに 孤独な インテリは 度し難し・・・・ アメブロで 修行して やっと それはなくなってきた はてなの みんなも 何とかしろ。 いまの ボクは ここで語ることには なんの計算もない それこそ 自分のなかの 自分と語っているだけだ。 宇宙の中に 自分があり 自分以外がある この矛盾、不可思議 なんとか 自
ちぎっては投げ:デフォルト賃貸契約書は借主不利 - livedoor Blog（ブログ）
株式市場はウソツキばかり。罠にかからない運用を目指してます。 愚痴と文句が多い株ブログですが、分かるヒトには楽しんでいただけるかも。相場の勉強のためネタを分類して整理中。 さっき不動産屋から帰ってきました。 で、借主さんの申込書見せてもらい、電話で聞いてたとおりなので問題なし。 借主さんに引き渡す鍵を渡した。（客付け委託時に預けていた1本にプラスして、スペア用に1本の計2本） それだけ。 不動産屋の営業いわく、あとはこっちですべて出来るという。 印鑑さえ押す必要がなかった。拍子抜け。 で、契約書は借主さんが捺印したら送るという。 待て待て待て。条文も確認させずにハンコ押させるンすか？ 借主はそれでいいんだろうがこっちはそうとは限らない。 借主に渡す契約書の雛形をよこすよう頼んだ。 営業はえ？という顔をしたが、コピーして渡してくれた。 でさっきその足でマンションに行ってたまったチラシを回収す
RubyKaigi 2009 の 不完全ustリンク集 - kawaguti’s diary
ほかに誰かまとめているかもしれませんが、とりあえず自分を助けるべく見つけたものはここに書きます。あ、そっか、もしかしてはてブでタグできてるかな。（無理してみなくても、そのうちビデオがYoutubeとかニコ動あたりで公開されると思います。） チャンネル http://www.ustream.tv/channel/rubykaigi1 http://www.ustream.tv/channel/rubykaigi2 http://www.ustream.tv/channel/rubykaigi3 １日目 14:40 - 16:10 Railsエコシステムの研究 / 松田 明 http://www.ustream.tv/recorded/1821403 http://www.ustream.tv/recorded/1821408 http://www.ustream.tv/recorded/18
第1回 Scala ユーザ会 - forest book
＊発表確定：Scalaユーザ会5/22(金)19：00-21：00@新宿三井ビル34F豆蔵Trルームに参加してきました。 昨年から Scala が熱いという噂を聞きつつも、勉強するきっかけがほしいと思っていたところ、ちょうど良かったです。関数型言語そのもののパラダイムが興味深くて、Haskell も勉強しつつ、一緒に2〜3年かけて長い目で関数型言語の習得に取り組もうと考えています。 多くの発表があったのですが、私が全然、無知なので詳細な感想が書けません(- -# キーワード的に幾つか印象に残った内容のみ、取り上げてみます。 羽生田さん: あいさつ＆挙手アンケート＆なぜ Scala か wikipedia:Scala は、ポスト Java という位置付けのようです。オブジェクト指向+関数型言語の良いとこ取りで、凄いことができるんじゃないかと現在も活発に議論、方法論を模索されている言語だそうで
本当はすごい、知られざるGoogle Maps APIたち!!
「商業利用もOK！ Google Mapsについて知りたいこと」に続くGoogle Mapsインタビューの後編は、数多く存在するGoogle Maps関連のAPIや機能のうち、あまり知られていないものや新しいものをグーグルのソフトウェアエンジニア、淺川浩紀さんに聞いた。 Code Playgroundでオンライン編集 まずは、即効性のあるものからいこう。 Googleが持つ多くのAPIは、Webブラウザ上からJavaScriptによって呼び出せる。JavaScriptはコンパイルの手順なしに書けば実行できるので手軽である。しかし、だからAPIを試すのも簡単だとは限らない。例えば、Google Maps APIなら正しいGoogle Maps APIキーを用意したり、適切な文書にプログラムを埋め込んだりする作業を行い、それをWebブラウザで開かねばならない。
トヨタの「自前主義」に微妙な変化――情シスを統括する大西常務
トヨタ自動車は、カンバンなどの言葉が象徴するトヨタ式生産方式で日本のみならず、世界を代表する企業という地位を確立した。「トヨタ式」の生産現場を支えるのは情報システムの役割だ。これまで基本的には情報システムを開発し、所有する「自前主義」を貫いてきた同社だが、深刻化する不況の中で、それも微妙に変化している。トヨタで情報システムを統括する大西弘致常務役員に話を聞いた。 ITmedia トヨタ自動車の情報システムといえば、生産方式などが中心に語られることが多いと思います。一方で、世界に分散する拠点の情報を共有し、コミュニケーションする手段などがあると思います。優れた経営を実現するための情報共有手段などを教えてください。 大西 私は2007年から情報システム本部を担当することになりました。トヨタ自動車に入社し、商品企画を10年、国内営業を16年、ITS（高度交通道路システム：渋滞情報と連動したナビゲ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【楽天市場】エラー
奥州・仙台湾の味十字屋(宮城県) 牡蛎の塩から 110g 仙台 牡蠣
はてなアイデア
ヘッダのサービス間移動リンクの廃止について - はてなダイアリー日記
twpro（ツイプロ）
バカドリル ロゴドリル
Proofs and Confirmations | wrong, rogue and log
はてなTシャツ2009欲しい！とは はてなの人気・最新記事を集めました - はてな
http://homepage.mac.com/takashi_miyamoto/
M's Home Page