ラムダ簡約機を作るのをしくじった話 - QiitaHelp us understand the problem. What is going on with this article?
de Bruijn indexについての備忘録 - rynaの紅茶日記
型システム入門で，de Bruijn indexの話で少しつまづいたのでメモ．型なしラムダ計算を前提とします． de Bruijn index de Bruijn index（ど・ぶらん・いんでっくす）とは，変数名として文字列ではなく，番号を振ってやることで表現を簡潔にしたものであり，ある場所に出現する変数が，どれほど外側で束縛されているかを表す数のこと． 言葉では分かりづらいので，次の図で． 青い矢印 対応する項 赤い矢印 束縛している場所 要点は， いくつ外側のλで束縛された変数かを意味するため，出現する場所により同じだった変数でもindexが変わる． 囲まれたλの個数以上のindexは，自由変数を表す． つまり，相対的な表記法である．（代入操作において重要） あと，型システム入門p.57に， この方法による実装が間違っている場合、微妙に失敗するのではなく壊滅的に失敗する傾向がある と
ド・ブラウン・インデックス - Wikipedia
ド・ブラウン・インデックス（英語: de Bruijn Index）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。 解説[編集] この記法では、それぞれのλでは引数の名前を書かない。引数は、通常の記法でその引数を宣言するλが、何階層外側にあるかを表す自然数の番号で表記する。 例えば、λz. (λy. y (λx. x)) (λx. z x) は λ (λ 1 (λ 1)) (λ 2 1) となる。 ド・ブラウン・レベルは絶対的な位置を表すが、ド・ブラウン・インデックスは相対的な位置を表す。 参考文献[編集] De Bruijn, Nicolaas Govert (1972). “Lambda Calculus Notation with Nameless Dummies: A T
de Bruijn Graph を使った de novo アセンブリの発想がすごい件 - ほくそ笑む
Velvet や ABySS などの代表的な de novo アセンブリツールでは、アルゴリズムに de Bruijn Graph というのを使っているそうです。どうやってアセンブルしているんだろう？と興味を持っていたので、元ネタの An Eulerian path approach to DNA fragment assembly を読んでみたんですが、その発想のすごさに度肝を抜かれました。せっかくなので、ここで簡単に説明してみたいと思います。 ケーニヒスベルクの橋 まずはグラフ理論の説明から。グラフ理論は、18世紀にオイラーという数学者が「ケーニヒスベルクの橋」という問題を解くために考え出したといわれています。 「ケーニヒスベルクの橋」は、次のような問題です。 18世紀の初めごろにプロイセン王国の首都であるケーニヒスベルクという大きな町があった。この町の中央には、プレーゲル川という大き
省力化の鍵となるか？ “電子タグ”｜NHK NEWS WEB
客が商品のバーコードを読み取るなどして会計する無人のレジ。レンタルビデオ店や衣料品店などで導入が進んでいて、「使ったことがある！」という方もいるのではないでしょうか。さらに、バーコードを読み取る手間がなく、複数の商品を一度に会計できる、いわば次世代の無人レジも導入に向けて検討が進んでいます。次世代の無人レジを支えるのが“電子タグ”という技術で、商品管理の省力化にも活用が期待されています。 人手不足が深刻化する中、省力化の鍵を握るとみられる電子タグ。普及の課題は何なのでしょうか。（経済部・野口恭平） 無人レジの普及が進んでいます。レンタルビデオ店のゲオは２年前から無人レジの導入を進めています。ことし３月までには全国の直営店の半分にあたる約７００店まで導入を拡大し、今後も台数を増やしていく方針です。 無人レジは、ＤＶＤやＣＤについたバーコードを客が専用の端末で読み込んで自動販売機のようにお金
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
