Ray工場長サイド

突撃北海道旅 1日目

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

突撃北海道旅 0日目

1年ぶりの工場長です。

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

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

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

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

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

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

お知らせとか

ちょっといろいろ告知

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

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

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

年末は

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

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

年始は

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

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

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

前回までのあらすじ：
　情報系の大学に言っていたと豪語するわりには、言語論も計算論も理解していないワタクシが、ラムダ計算を記述する言語「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を遊ぶ）

　以前、情報科学若手の会に参加した。この折に紹介されていた「ちょっと草植えときますね型言語 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

深夜ドライブ　～江ノ島のつもりが小田原厚木道路編～

　ご無沙汰してます．工場長です　よと．

　なにかの2次試験も終わり，すっかり落ち着きましたので，久しぶりに弟を巻き込み，深夜ドライブに出ました．

　目的地は江ノ島．天気が悪く地元ではペルセウス座流星群が見えなかったので，見えたらイイネで出かけることに．

　ゆったりと相模湾側を走りつづけ，鎌倉を過ぎ，江ノ島の入り口へ．ウィンカーを出して曲がろうとすると．

なぜか，封鎖されている件

　やられた．なにがあったかは定かではないが，パトカー数台が通せんぼしてる．とっさにウィンカーをオフにしてそのまま直進．

　周囲に車が多く右車線に移って転回とかできそうにない．ええい，このままどこまでも行ってしまうか．ということになり，行き先を「小田原厚木道路」のどこかと設定．二宮ICより乗り込み，東名厚木IC，海老名SA，横浜横須賀道路と家路へ．なんか無闇にお金を消費することに．

　とはいえ，久々の高速道路は2人してひやひやしたものの楽しかった．

　最後に，事故にならなくて本当によかった

キャベツ畑で私をつかまえて2010　〜最終章〜

　本来であれば，tomato firmwareの続きを書く予定でしたが，キャベツのシーズンと報告があってちょっと話をそれます．

　さあ，今年もやって参りました．キャベツのシーズン．今年も柔らかく甘い三浦半島のキャベツが採れてます．

　と，テンションを揚げつつ，長靴などギシギシさせながらキャベツを箱詰めする予定でした．しかし，残念ながら今年はキャベツは出荷せず，木曜日に畑を潰すことになりました．

　代々継がれてきた田んぼが畑になり，ついにはマンションになるようです．田んぼだったころから見ている私としては，なかなか寂しいものです．

　というわけで，余裕があればキャベツを抱えて以前在籍した研究室を訪問する予定でしたが，それもかなわなくなってしまいました．

tomato firmwareで遊んでみる＜WHR-Gインストール編＞

　注意：今回の内容は公式で発表されていることではありません．同じことをして動かなかったとか言われても責任とれません．自己責任でお願いします．

　さて，昨日の続きとか．

　余ったWHR-Gを見ていたら，「ムラムラしてやった．ルータならなんでもよかった．今は反省している．」とかいいつつ，tomato firmwareを突っ込んでみた．

　結果．

　電源ランプのみが点灯し，なにも反応しなくなった．

　WHR-G終了．．．

　では，困る．3500円が無駄になってしまう．ここで思い返す．過去にbuffaloのルータで正規のファームウェアを当て損ねたことがあった．こんなときはtftpで流し込めばなんとかなっていた．

　ということは，対応できそうなものを当てればいいんじゃない？ということで，対応しているらしいDD-WRTで調べてみると，こんな記事を見かけた．

WHR-GにDD-WRTをインストールする。

　なかを読んでみると，WHR-G125用のファームウェアを当てると書いてある．はてこの型番見たことがあるような．．．

　tomato firmwareの対応する型番にあるじゃない．ただし，これは特殊らしく別にダウンロードする様になっている．これでなんとかなる．

　早速ダウンロードし，インストール用のbatファイルがなかったので，WHR-G54用の物を流用．すると．．．

　ちゃんと動いたー．というわけで，我が家にはtomatoルータが2つになりました．これをどうやって使ってみようか．．．（次回へ続く）

参考リンク：
WHR-G：
http://buffalo.jp/products/catalog/network/whr-g/
DD-WRT：
http://www.dd-wrt.com
WHR-GにDD-WRTをインストールする。 at treffen @ Wordpress：
http://pub.slateblue.tk/server-memo/day97.html

tomato firmwareで遊んでみる＜WHR-G54Sインストール編＞

　お久しぶりです．元気ですよ．おそらく．

　ふと，どこかの記事（ITなんとか？GigaZineは確か後に見たはず）でtomato firmwareが話題になっているのを見かけた．なんじゃそらと思ってたら，WHR-G54Sのルータの代替ファームウェアだそうだ．なんと我が家のルータそのままだったり．

　ただ，過去にルータを壊しまくってる私は，バックアップ用に近所のハードオフでWHR-Gというブロードバンドルータ（3500円）を購入しておく．

　そして早速インストール．ダウンロードしたファイルの中に必要なものは全部入っている．あとは付属しているbatファイルを実行し，画面の指示に従うだけ．

　さっくりとインストール完了．壊れませんでした．

　繋いでみると，いままでとはいろいろと違っていました．しかも，telnetやsshで接続できる．では，なんかあの高級なルータみたいに設定用のコマンドが．．．ってそれはないのね．普通のLinuxが入っている感じ．ちょっと残念．

　さてと，緊急用のつもりで買ってきた，WHR-Gはどうしましょうか．．．（次回に続く）

参考リンク：
Tomato Firmware：
http://www.polarcloud.com/tomato
WHR-G54S：
http://buffalo.jp/products/catalog/item/w/whr-g54s/
ハードオフ：
http://www.hardoff.co.jp/

javascriptで遊んでみる＜prototype編＞

　絶対に連載にはならないけど，最近ちょっとjavascriptで遊んで見たので，そのメモ．

　javascriptはプロトタイプ指向の言語らしい．javaやC++のようなオブジェクト指向の一派であるらしいのだが，考え方が違うらしい．このプロトタイプでちょっと遊んでみることにする．

　プロトタイプ指向はオブジェクトにがさがさといろいろ付け加えることで機能を実現するらしいということで，今回はこんなお題に挑戦．

＜Dateオブジェクトに〜までの時間を返す機能を追加＞

僕は，こんな感じで書いてみた．


Date.prototype.getElapses = function(d)
{
    return d.getTime() - this.getTime();
}

//今日の就業時間
var finishTime = new Date();
finishTime.setHours(18, 0, 0, 0);

//今の時間
var now = new Date();

//あと残り何ミリ秒？
alert(now.getElapses(finishTime));

と，ここまで書いたが，説明を書くのが面倒になったので，このまま投げてみる．

[ 続きを読む ]

サーバ室の片隅で

　どうも．工場長です．

　最近は，とあるサーバ室の片隅で~~javascriptで遊んで~~お仕事しています．といっても，今はまだ暇なんですけどね．

　しかし，サーバ室は凄い．変に暑かったり，騒音が凄かったり．普段見ることのないネットワーク機器を見れたり．結構おもしろいものです．

　ただ，今の現場に入って思ったのは「ネットワークに関する知識の不足」ですね．L3スイッチとルータの違いがわからないなんてこともありました．

　出向は怖いよー．と，社長，専務，先輩等に散々脅されてきましたが，いまのところは穏やかであります．

　あまり詳しくは書けないけど，近況はこんなところです．　よと．

新年のご挨拶

　あけましておめでとうございます。爽やかに開店休業中のR-Fauでございます。

　例年通り、漣乃鶯が年賀状を作ってくれたので、掲載しておきます。

　今年はもう少し盛り上がりたいなとおもいつつ、今年も変わらないのだろうなと思ったり。

　こんな工場長とR-Fauですが、今年もよろしくお願いします。

ついったはじめました

　mixiボイスで満足していましたが、なにやら周囲が（いまさらながら）ついったで盛り上がっているのではじめることにしました。
　僕のついったは以下でどうぞ。

http://twitter.com/raykojocho/

　適当に私生活を垂れ流す予定です（たぶん、途中で飽きると思うけど）。

ばれちゃった

　開発合宿の２日目を更新し忘れてました。結局は時間切れとなり、まともに進んでないというのが現状だったり。
　ところで、このブログが勤め先にばれそうですというのが、今回のネタ。

　気がついたら勤め先のオフィスで僕のハンドルネームとmixiでの僕の探し方がセットで提供されてた。
　しかも、オフィスのみなさんからハンドルネームの由来などを追究され、呼び名が「工場長」に。
　で、mixiの日記はこのブログが設定されているわけで、この愚痴とか、あやしい日本語とかのブログがばれてしまうというわけ。

　まあ、こうなったのは同期にこの場を教えた時点で想定すべき事態であったし、落ち度は僕ににあるのだから仕方が無い。

　今はただ、仕事でインストーラを作成するツールを探している最中に卑猥な画像にぶち当たったとき（さりげなく実話）の感覚に近い気まずさだけがぼんやりと漂ってる。

開発合宿1日目　おおいそがし

　さて，当日となりました．でいきなり

寝坊したっ

絶望したっ

　予定では，期日前投票をしつつ，横須賀市役所で手続きとか，銀行をまわっていろいろやって，10時ちょっと前には横浜に向けて移動できるつもりでした．

　しかし，1時間ほど遅れてしまったため，横浜に11時半を過ぎて到着．県庁での手続きは11時半までにいけないと，14時からという仕様のため，横浜で時間をつぶす羽目に．とりあえず，資料を取ろうと思えば，資料室が整理のため立ち入り禁止と，ここだけはやられほうだい．

　無事14時で手続きを終え，今度は駒場．奨学金の一括返済の相談に行ってみた．こちらはスムーズでした．

　で，最後に調布に立ち寄って，資料を取り寄せる申請をと思ったら，自動で資料を吐き出してくれる機械があって，申請せずにその場でゲット．

　そんなどたばたを超えて，合宿会場の入り口にたどり着いたのが，17時過ぎごろ．そこから合宿のお部屋へ迷ってしまったりして，落ち着いたのが17時半．

さあやるぞ～（腕をぶんぶん回す）なんて意気込んでいたら

18時：夕食

というダメ展開．その後，ゆるやかに開発を続けてみたが，文字コードとか敵は多い．ちゃんとした成果を残して帰れるのだろうか．．．

開発合宿0日目　おおあわて

　半ば強制的に有給休暇を取得した工場長であります。なんとか第１難関は突破できたようです。

　しかし、なにやら明日は（もう今日だけど）激しく忙しいらしい。

やることリスト（時系列順）

期日前投票
横須賀市役所にて手続き
奨学金一括返済のため、リレー口座にお金を移動する
神奈川県庁で手続き
神奈川県庁で資料を集める
日本学生支援機構（駒場）で一括返済の手続き
八王子で開発合宿

あれ？何時に八王子に到着できるんだろう。。。

それはともかく、支度をしなくては。。。

できるか開発合宿

　元いた研究室の開発合宿に参加申し込みをしてみました．まだ，無事参加できると決まったわけではないけど．

　というわけで，開発合宿参加に立ちふさがる壁リスト．

・有休を取りたいと申請したものの，今の仕事がこの日までに片付かないと有休取れない．
・横須賀と横浜と駒場で手続きとかがあるため，午前中で片付けられるかが問題．
・作るものの仕様が固まっていない．

　ちなみに，開発予定は中途半端になっているmidbooruを予定．詳しくはいつかの記事とか作りかけのサイトとか見ていただければいいかと．

　とりあえず，なんとか参加できるようにしたい．

うっかりWiiを購入してしまう

　なにやらお久しぶりです。工場長なのです。

　うっかりWiiを購入してしまいました。この記事もさりげなく、９月１日に無料になったインターネットチャンネルから更新していたりします。購入とほぼ同時にインターネットチャンネルが無料になってびっくりでした。

　うん、それだけなんだけどね。

PHPの出力がうまくいかない

PHPの出力のひとつの方法として

というものがある．意味合いとしては

と同じものであります．ところが，Windows Xp, Apatch 2.2, PHP 5.3.0では，前者がそのまま出力されてしまう（変数が展開されない）．

あらかじめ，デザインなどが定まったものに埋め込むのはこれが，シンプルで好きなんですけどね．なんでできないのだろう．．．

お盆休み第1日目

　会社のサイトで「うちってアットホーム」という~~心にも無い~~文章を書く仕事を受けた工場長であります．
　と言っても同期の方が僕の名前でゴーストライトしたわけですが．

　そんなこんなでお盆休み第1日目が始まります（僕のお盆休みは13日から17日）．とりあえず，適当にこのブログを更新しつつ遊んでみようかと．
　以下，アバウトな予定．

13日：ボンヤリとディスプレイを眺めて過ごす．
14日：ボンヤリとマウスを握って過ごす．
15日：大掃除，墓参り
16日：農作業
17日：ボンヤリとキーボードを叩いて過ごす．

　ステキ駄目生活な感じがしますね．とっても．

以下，私信（ここまでも私信な気がするけど）．

　研究室のみなさんは金曜日（14日）に反省したりはしないよね？