Macr055でアッカーマン関数他

次の http://parametron.blogspot.jp/2015/02/christopher-stracheygpm_22.html の記事に移って、アッカーマン関数他。アッカーマン関数{m55_define|1+|`{1|2|3|4|5|6|7|8|9|10| {m55_define|1|$$$1}}'}{m55_dnl} {m55_define|1-|`{-1|0|1|2|3|4|5|6|7|8| {m…

Macr055で二進化他

次の http://parametron.blogspot.jp/2015/02/christopher-stracheygpm_8.html の記事に移って、二進化他。二進化{m55_define|1+|`{1|2|3|4|5|6|7|8|9|10| {m55_define|1|$$$1}}'}{m55_dnl} {m55_define|1-|`{-1|0|1|2|3|4|5|6|7|8| {m55_define|-1|$$$1}}'}…

Macr055でフィボナッチ他

次の http://parametron.blogspot.jp/2015/02/christopher-stracheygpm.html の記事に移って、フィボナッチ他。フィボナッチ数{m55_define|1+|`{1|2|3|4|5|6|7|8|9|10| {m55_define|1|$$$1}}'}{m55_dnl} {m55_define|1-|`{-1|0|1|2|3|4|5|6|7|8| {m55_define…

Macr055でハノイの塔

引き続いて http://parametron.blogspot.jp/2015/01/cristopher-stracheygpm.html にある「ハノイの塔」。(ハノイの塔は高機能テキストマクロプロセッサの標準課題らしく m4 にも hanoi.m4 というテストサンプルが付いています) {m55_define|1-|`{-1|0|1|2…

Macr055で基本演算

拙作のテキストベースマクロプロセッサMacr055( https://github.com/metanest/macr055 )で、和田先生のブログにあるマクロの例題( http://parametron.blogspot.jp/search/label/Christopher StracheyのGPM )をやってみたので、情報共有などのため記録と…

『アポロ計画でプログラムコードを開発した女性エンジニア「マーガレット・ハミルトン」がソースコードの隣に立っている写真』について

「コーディング教育」とか言われるようになってきたためか、最近時々バズるこの話題について。マーガレット・ハミルトンさんが、グレース・ホッパーさんやフラン・アレンさんとともに、偉大なコンピュータ黎明期のパイオニアのお一人であることは確かですし…

チューリングマシンはどう偉大なのか、チューリングはどう偉大なのか

現代哲学キーワード (有斐閣双書キーワード)作者: 野家啓一,門脇俊介出版社/メーカー: 有斐閣発売日: 2016/01/14メディア: 単行本(ソフトカバー)この商品を含むブログを見る こちらの本を先日買いました。我々計算機屋などが煙に巻かれがちな哲学のキーワ…

OS X で NASM を使っている人は、バージョン 2.11.08 を回避してください

こちらのバグ、Bug 3392306 - Issue with relative addressing and data section ( http://bugzilla.nasm.us/show_bug.cgi?id=3392306 )のために、OS X で NASM 2.11.08 はまともに使えません。Homebrew を使っている場合は nasm21106 で 2.11.06 が入りま…

松屋ジェネレータジェネレータによる、よりカオスなメニューの生成

この記事は(略 松屋の思い出 学生時代、東小金井駅前の松屋ができる前から、武蔵小金井の松屋まで歩いて行ってはよく食べていたものでした。食券制に慣れてしまいうっかり宝華で無銭飲食(勘定忘れ)をやりかけたことが一度あります。ですが国分寺ではスタ丼…

温故知新話

この記事は Independent Advent Calendar 2015 の記事です。古い本を読んでいると、ひょんな記述に出会うことがあります。そんな話をひとつ。高橋秀俊先生編の岩波『パラメトロン計算機』という本があります( http://www.iwanami.co.jp/.BOOKS/00/7/0058200…

Rubyのファイバーは遅いか?

この記事は Independent Advent Calendar 2015 の記事です。ruby fiber で検索すると「遅い」というサジェストが出てきたりするようですが、実際にそれほど重いものでしょうか?そもそも比較対象がよくわからない点もありますが、コルーチン的な「並列には動…

マクロプロセッサ(の自作)のすすめ

「マイクロプロセッサ自作のすすめ」、ではありません(宣伝 http://tatsu-zine.com/books/fpga )この記事は Independent Advent Calendar 2015 の記事です。 前提 杉浦 K. さんによる「m4 チュートリアル」や、拙作「M4入門」といった、テキストマクロプロ…

Visulan、その可能性

この記事は Independent Advent Calendar 2015 の記事です。Visulan 自体の解説については id:dagezi さんによる「マイナー言語 Advent Calendar 2013」の参加エントリー「Visulanを実装している話」( http://dagezi.hatenablog.com/entry/2013/12/15/04042…

CSP Over NSL

この記事は HDL Advent Calendar 2015( http://qiita.com/advent-calendar/2015/hdl )の記事です。パルテノン研究会( http://www.parthenon-society.com/ )あたりに出そうかなぁと思っていたら塩漬けになってしまっていたものです(いくつか問題があるこ…

Common Lispで実装する非再帰eval

この記事はLisp Advent Calendar 2015( http://qiita.com/advent-calendar/2015/lisp )の記事です。まずそこそこの分量がありますが、コード全体を示します。 タイミングが合えばShibuya.lispで発表しようかと思っていたのですが、色々あってそのままにな…

『日本沈没』に見られる科学用語の濫用

およそ学術においては、自らの分野の専門用語を正確に使うことと同様に、慣れない他分野の専門用語を間違えて使わない注意は重要であろう。コンピュータ科学においても、近年の「学際共同」とやらで他分野にご迷惑をお掛けしていることも多々ありそうに想像…

Mechanizeを使うサンプル

シヤチハタのネーム印、既製品か特注品か500件分判断しなきゃいけないのです。 https://t.co/joQoRg3HWV ここで調べられるんだけど、こんなのいちいちやってられないから、Excelで自動で判別させる関数作ったんですよ。 んで完成して、張り切ってテストした…

Rubyの多重代入をモデル&コード化する

魔境と言われることもあるRubyの多重代入ですが、再帰的に記述すればそんなにややこしくもないのではないか、という気がしていたので、コードを書き下ろしました。 そんなに徹底的に実インタプリタの挙動をチェックしてはいないので、抜けがある可能性もあり…

縮小された影

このようなツイートがあったのですが、CMやPVで時々見掛ける映像にスパン10mぐらいの旅客機の影がゆっくり地上を移動していくシーンがある。せいぜい100m程度のグランド横断に3秒も要したら、アメリカまで4、5日もかかってしまう。続く…— sshinohe (@sshin…

学校の階段

このようなツイートがあったのですが、音ノ木坂高校って複雑な校舎の造りだな pic.twitter.com/C2MUW6Nn8O— 佐倉にーまるきゅ♪ことのぞ推しSNU団 (@sakura_dd51) 2015, 10月 11 よく見てみると、騙し絵になっているわけではなくて、たまに見るぐらいには見ら…

リテラルの意味、の話

Ruby 3.0 における immutable string literal なるものの話が出ているわけですが( http://www.atdot.net/~ko1/diary/201510.html#d5 http://d.hatena.ne.jp/ku-ma-me/20151004/p1 )、その焦点の直接の話題ではないですが、その周辺の話。いわゆる意味論の…

patchのパッチの話

次のような2つのFreeBSD SAがありました。 FreeBSD-SA-15:14.bsdpatch https://www.freebsd.org/security/advisories/FreeBSD-SA-15:14.bsdpatch.asc FreeBSD-SA-15:18.bsdpatch https://www.freebsd.org/security/advisories/FreeBSD-SA-15:18.bsdpatch.asc…

線形リストっぽい配列「Rotcev」

とりあえずGitHubに置きました( https://github.com/metanest/rotcev )。 どういうものかというと、LispやHaskellのリストのような、「先頭に追加する」という操作だけができ、可能な限りその内容は共有する、というような配列です。 先頭に要素を追加する…

「ループの検出」の木への拡張

単方向リンクトリストがループしていることを検出する巧妙なアルゴリズムとして、ポインタを2個用意し、片方をひとつずつ、もう片方はふたつずつ進めてゆき、同じノードを指すようなことが起きたらループしている、というものがあります。 これを木に対して…

実装言語と被実装言語の界面

(一応、他人のツイートを見て思いついたことなのですが、元のツイートではどちらかというとインタラクティブな環境を実現することに主眼がある感じで、ここに書く話ではそれには触れないのでそのへんは省略します) Lispの評価器(インタプリタ)をLispで書…

メモ

ダラーラ(Dallara)SF14のモノコック、エンジンマウント-コクピットシェル部分 (エコパで撮影)

Takeuchi Numberの計算もするたらいまわし関数

竹内先生のたらいまわし関数をコンピュータプログラミング言語処理系のチェック等の目的で使う場合、処理系自体が正しく動いているかどうかのチェックとしては、返す値のチェックだけでは不安があります。計算時間の測定であるていどの傾向はわかりますが、…

高橋先生のこと

昨日、和田先生がこのようなツイートをされていた。 6月30日は高橋秀俊先生が逝去されて30年. 情報教育に尽力された高橋延匡先生も2002年の6月30日逝去. 老後まで計算好きだった山内二郎先生は1984年の3月31日逝去(4月1日生!). こういう区切りに死去するのは…

Cobolでピリオドを忘れると何が起きるのか

参考文献はこちら定本 入門COBOL作者: 西村恕彦,植村俊亮出版社/メーカー: オーム社発売日: 2012/01メディア: 単行本 クリック: 1回この商品を含むブログ (1件) を見る 言語仕様の確認 まず、Cobolのif文は次のようになっている。 ここには説明が無いが、書…

こち亀における「ドローン」の説明について - 「本来ドローンとは自律機のこと」ではない

緊急性がある(あまり広まる前に対処したい)ので、ごくざっと書きますが... 「こち亀」で、本来ドローンとは自律機のこと、みたいな説明があったようですが(画像)、 間違いです。 クアッド(マルチ)コプターが流行る直前に「ドローン」という言葉が多く…