Ray工場長サイド

突撃北海道旅 1日目

2011/12/26, 20:38

工場長です。いま、函館のホテルでぼんやりしています。あとの予定はないので、まとめて行こうと思います よと。

はやぶさには無事定刻に乗車できました。シートが倒すと座る部分が前にせり出すところや、まくらの高さを自由に変えられるところに感動。

途中雪が降っているところや積もっているところもあれば、全くその痕跡がないところもありました。

さて、無事に新青森についたのですが、なかなか次の「スーパー白鳥」が来ないのです。聞けば、その前の特急が雪のため立ち往生しているとか。

いきなりの雪国の洗礼を受けるのかと思ったら、20分遅れで白鳥が来ました。

その後、青函トンネルを通り函館着。

函館朝市に昼食とお土産購入に行くことに。

お昼は、「馬子とやすべ」さんで函館丼(2520円)をいただく。いくら、ウニ、ホタテ、かにの贅沢な海鮮丼でした。

さてお土産はどうしたらいいのか悩んでいると、「繁次郎商店」のご主人が声をかけてくれたので、「函館にきたらこれを買っていけ」をくださいとお願いしたところ、毛がに、タラバガニ、松前漬、するめのセットをお安く用意してくれました。まあ、安いかなんてよくわからないのだけど。とりあえず、自宅と祖母宅に送りつけることにした。

一旦、ホテルで余計な荷物を吐き出し、ここから函館観光です。函館市電に飛び乗り、五稜郭と函館山を巡った。どちらも、綺麗でした。

函館山を下山したところから、函館ラーメンを探して函館駅方面へ雪道を歩いた。函館駅前を過ぎたあたりの大門商店街で「鳳蘭(ほうらん)」さんが函館ラーメンののぼりを立てていたので、入ってみた。

塩ラーメン(550円)。ガツンとくるよくある塩ではなく優しい味。なかなか美味しかった。

で、コンビニでノンアルコールカクテルとおつまみを買ってきてホテルに戻り、書き込みに30分かかって、今に至ると。

函館は温泉もいいらしいのだが、そこまでは頑張れそうにないので部屋のお風呂でぼんやりするとします。

明日は札幌の予定ですが、どれだけいられるかは天候次第。新千歳空港の調子が悪ければ陸路も視野に考える必要がありそうだ。

参考リンク:
(戻ってから掲載予定)

突撃北海道旅 0日目

2011/12/26, 01:20

1年ぶりの工場長です。

以前の投稿から気がつけば1年もたっていました。この間に職種が変わり、忙しいけど楽しい日々を過ごしています。

夏の間に行ったことがなった九州へ行ったので冬は北海道へ行くことにしました。

前日準備として今日は行き先の決定、切符の購入、ホテルの予約をした。

とりあえずの明日の予定：
0812 はやぶさで東京を発つ
1135 スーパー白鳥で新青森を発つ
1344 函館着、駅まわりをうろつく。
1500 ホテルにチェックイン。
以後、情報を集めながら、函館をうろつく。夜景は見たいが寒そう。

明日はTwitterで実況、まとめをブログで実施予定。

では、北海道の地で会おう。誰も来ないとは思うが。

お知らせとか

2010/12/28, 02:01

ちょっといろいろ告知

年末年始はお借りしているサーバが停止するそうです。停止中は避難先の掲示板へ移動予定ですが、告知が遅れたので、だめかもしれませんね。

Twitterをずいぶんと前から始めてました。アカウントはraykojochoです。

iPadをうっかり購入しました。Wi-Fiモデルですけど。

年末は

２９日：積ん読（つんどく？）の消化
３０日：無謀なiPadアプリ開発
３１日：年越しコーディング

の予定です。３０、３１あたりはあえてpeercastとかで配信出来ないかなとか思ってみたり。

年始は

３日間で、今年の間に消化しきれていないブログ記事（tomatoとかgrassとか）の続きをどうにかする予定です。

避難先は２９日に掲載予定ですが、サーバダウンには間に合わないだろうなと。

草を生やせ！！（ラムダ計算を１ミリも理解していない工場長がGrassを遊ぶ２）

2010/08/22, 03:21

前回までのあらすじ：
　情報系の大学に言っていたと豪語するわりには、言語論も計算論も理解していないワタクシが、ラムダ計算を記述する言語「Grass」に現実逃避したのだが、むしろ過酷だった。果たして、草を生やせるのか。

　さて、Grassの公式をもう一度眺めてみると、こんな記述があった。

Grassはスタックマシンの一種です（SECDマシンに似てます）．値が入るスタックがあり，関数適用の結果がこのスタックに積まれていきます．スタックの中の値にはスタックの一番上から順番に1, 2, …と番号が振られていて，この番号でスタックから値を取り出すことができます．関数適用のＷとｗの数は，この番号を表しています．

で、スタックの初期状態は空っぽではないらしく、こんなことが書いてあった。

初期環境E₀はこんな感じ．

* E₀ = Out :: Succ :: w :: In :: ε


この下に、このOutからInまでの説明があった。これをまとめるとこんな感じ。

	←ここに新しい関数が積まれる
Out	引数をそのまま出力する関数
Succ	引数に1を足す
w	そのまま"w"
In	入力を受け付ける関数
ε	ナニコレ？

で、肝心なWとwの関係は、Wが関数がスタックの上から何番目？wが引数がスタックの上から何番目？というものらしい。

　あとは、スタックが妄想できれば、なんとかなりそうだ。試しに、インタプリター配布元のサンプル「wを一個出力する」をスタックで書いてみる。

	２個目のOutを呼び出し、引数は４個目のw
Out	引数をそのまま出力する関数
Succ	引数に1を足す
w	そのまま"w"
In	入力を受け付ける関数
ε	ナニコレ？

なので、プログラムは　wWWwwww　となるようだ。

さて、ここから「wを２個出す」に挑戦してみる。まずはスタックを考えてみるとする。

	３個目のOutを呼び出し、引数は５個目のw
	２個目のOutを呼び出し、引数は４個目のw
Out	引数をそのまま出力する関数
Succ	引数に1を足す
w	そのまま"w"
In	入力を受け付ける関数
ε	ナニコレ？

なので、コードは　wWWwwwwWWWwwwww　となる。

　続いて、「xを一個出力」にチャレンジしてみる。おなじみのスタックは、こんな感じ。

	３個目のOutで２個目（直前のx）を出力する。
	３個目のSuccを用いて、４個目のwをxにする。
Out	引数をそのまま出力する関数
Succ	引数に1を足す
w	そのまま"w"
In	入力を受け付ける関数
ε	ナニコレ？

コードはこんな感じ　wWWWwwwwWWWw

なんとかなったけど、課題は山積み。

• w２個じゃ草原じゃない。しかし、現状沢山出すの無理がある
• 最初に書くwの意味を理解していない
• 足し算とか掛け算とか割り算とか引き算とかしたいな
• あれ、トップページを作り変えるのでは？

そんなこんなで、日の出間近。寝ますかね。

　そうそう、この文章には間違った情報が掲載されている可能性が高いです。間違っていることがあれば、コメントいただければ幸いです。

参考サイト：
前回に同じため略

草を生やせ！（ラムダ計算を１ミリも理解していない工場長がGrassを遊ぶ）

2010/08/22, 02:34

　以前、情報科学若手の会に参加した。この折に紹介されていた「ちょっと草植えときますね型言語 Grass」というのがあったが、BrainF*ck（という変な言語がある）ですら、理解に苦しむ状況だったので、会場で盛り上がる計算機言語やラムだけ遺産ラムダ計算のプロフェッショナルたちを見ながら芝刈りに勤しんでいた。

　この「Grass」という言語はw, W, vだけで記述するというもので、この言語で書くためにはラムダ計算への理解が必要らしい。ただ、言語論や計算論は全くしらないワタクシには無理とあきらめ放置を決めていた。

　で、土曜日の昼下がり

Ray工場長：
　　　１０分でR-Fauのトップのデザインを考えてくれ。適当でいい。それをそのままコーディングする。
漣乃鶯：
　　　おｋ
（色使いやデザインを打ち合わせ中。。。）
Ray工場長：
　　　よし、これでやってみるか。じゃあ、コーディングするね。

なんて、流れでトップページのデザインを適当に定めたのだが、どうも気乗りせず、「Microsoft Expression Web 2」を立ち上げただけで終わってしまった。

　で、気が付いたらMeadowにGrassインタプリターなるものを突っ込み、現在にいたる。

　そのインタプリター配布元に「wを一個表示させるサンプル」があったのだが、なにをやっているか全くわからない。

　Wikipediaのラムダ計算のページなどを開いてみたが、これもからきし役に立たん。言語仕様の掲載されたページをみたが、ラムダやらイプシロンやら出てきて混乱は増すばかり。

　さて、どうしたものか。

（次回に続く）

参考サイト：

情報科学若手の会：
http://wakate.prosym.jp/

ちょっと草植えときますね型言語 Grass：
http://www.blue.sky.or.jp/grass/

Brainfuck - Wikipedia：
http://ja.wikipedia.org/wiki/Brainfuck

grass.elのぺえじ(emacs向けのGrassインタプリター)：
http://www11.atwiki.jp/s-irie/pages/20.html

Meadow (Windows向けemacsのクローン)：
http://www.meadowy.org/meadow/

Microsoft Expression Web 4：
http://www.microsoft.com/japan/products/expression/products/web_overview.aspx

ラムダ計算 - Wikipedia：
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97