このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

[参照用 記事]

2011-06-01から1ヶ月間の記事一覧

その後の秘密基地

前の話: 増員計画の失敗 父親:「まだ秘密基地は作っているの」次男:「作っているよ。一番新しいのは山手通り」父親:「えー、山手通りに隠れるような所はないでしょ」次男:「うん、みんなからまる見え」父親:「それじゃ、秘密じゃねーよ」次男:「だい…

ヒエェーーー

ファイルを全部潰していたよー。 for file in $important_files; do mv $file important/ echo Moved $file --> important/$file done

プログラミング課題:第一象限の格子点をたどる

実務上の必要性から生じた話なんですが、「問題としてちょっと面白いかもな」と思ったので紹介します。特別なアイディアやトリッキーな方法は不要なのでクイズという感じじゃないですね。普通に「プログラミングの練習問題」でしょう。算術計算だけで出来る…

放射線量の測定と公表

長男から聞いた話です; まず最初に断っておくと、ウチの長男は頭のなかにカボチャが入っているようなヤツです。話を大げさにすることもあります。なので、どこまで真実かは定かではありません。 先週末、中学校でサッカーの練習をしているときに、目黒区の…

ネアンデルタール算術

メモ編に書いたほうがよさそうな内容ではあるが:0, 1, 2, 3, ... のような非負の整数は、現代人にとっては常識で、ほとんどの人が同じ概念を共有しているように思えます。「4は死で縁起が悪い」「7はラッキー」「8(八)は末広がり」とか、数に関する周辺イ…

檜山もマジメな記事を書くことがあったのだな

サイドバーの「最近のトラックバック」を見ると、ここのところ、当方の過去記事が真面目に勉強している学生さんらしき方々から参照されているみたいです。そういうのはうれしいですね :-)参照されていた「コンパクト空間と論理/モデル論」を読んでみたら、…

ステファネスク師匠の厳密モノイド圏の扱い方

ステファネスク師匠(Gheorghe Stefanescu; 「師匠」と呼ぶのは、私淑しているからです)は、圏論もエキスパートと言ってよいと思いますが、あえて圏論を表に出さない傾向があります。あと、コォゼン先生(Dexter Kozen)も、滅多に圏論には言及しない(けど…

さらにリビジョン(バージョン)管理システムの話を少し

10日ほど前に、リビジョン(バージョン)管理システムに関するエントリーを書きました。そのキッカケとなったブログエントリー「いっしょに仕事をしたいプログラマ 5つの特徴 - たごもりすメモ」のコメント欄がすごいことになってますね。tagomorisさんが言…

強そうでエロい女性

https://twitter.com/#!/hiroki_f/status/81434430870261760 からたどって、中井りんさんの写真。 原URL: http://cdn-ak.f.st-hatena.com/images/fotolife/n/nakarin89/20110310/20110310012311.jpg「いいからだしてんねー」は、彼女にこそふさわしいでしょ…

なにごとも基本が大事

次男:「おとうさん、シモネタの基本を教えて」父親:「ええ、シモネタの基本? なんで」次男:「ぼくもシモネタやりたいから」父親:「基本つってもなー」次男:「ここ(紙)に書いて」父親:「… ウーン …」長男:「俺が書いてやるよ」次男:「やめてよ、お…

計算モデルに離散的ホモトピーが必要な気がするぞ [の入り口]

「データの性質について考える」において僕は「イミュータブルのススメ」みたいなことを書いてますが、一方で、不純な計算が大好きなので状態遷移モデルもよく使います。なんらかのデータインスタンスの集合Xがあったとき、このデータ領域Xがイミュータブル…

比較のスコーピング問題

長男:「あのさ、『今世紀最大の』とか言うことあるでしょ」父親:「あー、あるね」長男:「あれ、やめて欲しいよね」父親:「…」長男:「今世紀、あと89年残っているから、俺ら確認できないもん」父親:「まー、そうだな」長男:「『今月最大の』とかでしょ…

代入の圏Subst[Σ]上のラムダ計算

「置換の圏から代入の圏へ」で述べた圏Subst[Σ]上で、ラムダ計算をしてみます。ラムダ計算とはいっても、ラムダ風なだけで、構文は本来のラムダ計算からだいぶ離れます。ランク付きアルファベットΣとしては、「置換の圏から代入の圏へ」の最後のほうで挙げた…

いったいイツやめるんだ?

父親:「君ら、いつまでサッカー見てるんだ」長男:「前半が終わったら … 」次男:「一定のメドがついたらやめるよ」

リビジョン(バージョン)管理システムに関して近ごろ思うこと

僕は、twitterできわめて少数の人しかフォローしてません。そんな僕のtwitterタイムラインでも、何度も言及されていたのが次のブログエントリー: いっしょに仕事をしたいプログラマ 5つの特徴 - たごもりすメモ 本文は「なるほどね」という感想なんですが、…

その役にはなりきれない

次男が最近よく見るテレビ番組は『ハンチョウ』、『BOSS』、それと録画してある『相棒』、『SP』。BB弾のオモチャ・ピストルなどをいじっている。次男:「(ピストルを向けて)おまえが、俺の父を殺したんだ!」父親:「父、殺すなよ」次男:「おまえがやっ…

キリ番取りたい人は

置換の圏から代入の圏へ

アミダくじによる場所(位置)の入れ替えは、置換を定義します。置換の全体を圏だと考えることができます。置換の圏を少し一般化して代入の圏を定義しましょう。一般化とは、「切れた線」と「枝分かれする線」を導入することです。単なる線(紐)だけではな…

つれない態度:男同士編

路上、電車のなか、飲食店などで、またまた聞こえてきた男女のカップルの会話、主に女性が男性につれない態度をとるケースですが、それを「街で見た光景 -- 地下鉄階段編 2010年版」にまとめてあります。特に、2008年の「街で見た光景」には、なぜか萌えちゃ…

非デジタル・カメラ

長男の遠足だか社会見学だかがあって、使い捨てカメラが推奨だったようで自分で買ってきた。長男はフィルムカメラについて知っているが、次男はデジタルカメラしか知らない。次男:「おにいちゃん、このカメラ、画面ないじゃん」長男:「画面じゃなくて、こ…