不定期戯言

不遜な考えを連発してみる

Fri, 27 Jan 2012 00:00:00 +0900

月曜日はちょっと無理してプ会へ。そのときに「WordやExcelを教える必要があるのか」という話題がでた。私の考えは，先にWordやExcelがあるのではなくて，考察したい対象がまず先にあって，それを扱う上でコンピュータを使わないとどうしようもない状況が発生するから，そのための下地となる能力としてそれらが必要になるだろうということだ。それが目的なのだから見栄えの整形だとか，計算式を使わない表計算の利用なんてことには何の意味があるのかわからない。でもどうだろう，世の中にはコピペや穴埋めをすることで仕事ができてしまう人もいるんじゃないだろうか。だから「そのための」ツールとしてのWord，Excelを学ぼうとする人もいるような気がするんだ…。

職場の会議というか意見の拡散を目論んだ会合で「生徒が試験前に勉強してるようじゃ終わりだ」という発言をした。もちろん試験前には試験前用の勉強があるのだから（スポーツ選手が試合前の調整をするのと同じように），試験前にまったく勉強しないのがいいということではない。しかし生徒を見ていると，それ以前のことを試験直前になってからやってるように見える。試験前にしっかり勉強をさせるという考え自体は悪くないのだけど，その「しっかり」が何か間違ってるような気がするんだ…。私は勉強や仕事については腕力にものを言わせてやってきたところがあるから，点数をとるための技術というようなことは今でもよくわからない。

こないだtwitterに「回り道の一つもしないで何が勉強だ」と書き込んだら数人にRTされた。今『アホ大学のバカ学生』（石渡嶺司・山内太地著）を読んでるんだけど，第4章のバカ学生がまるで私のことを言ってるみたいだ。今でもそういうところは残ってるけど，効率よく利口な手段を選ぶために何かを我慢するなんて耐えられない，待つことの嫌いな（って『青い麦』にあったっけ？）そんな男の子だったから。そうして通ってきたいくつもの回り道が，決して無駄にはなってないという実感がある。もちろんそういう実益があったことだけがいいことじゃなくて，楽しかったということが一番。

祖母他界

Fri, 27 Jan 2012 00:00:00 +0900

母方の祖母が今年100歳になるということで，この正月に自分たち孫が集まって写真を撮った。そして今日，他界したと知らされた。ああ，とうとうか。安らかであってくれただろうか。

論理的思考の放棄

Sat, 21 Jan 2012 00:00:00 +0900

Facebookで長瀧氏が，登大遊氏の「論理的思考の放棄」を紹介してたので読んでみた。普通の開発者の作業量が数百〜数千行/月であるというのは私から見ても少ない数字なのだけど，開発者集団というシステムの中で仕事してるといろんな「作業」が必要になるからじゃないのかなあという風に思ってしまった（「人月の神話」じゃないけど）。登氏の数千〜1万行/日というのはすごい数字だと思うが，これは設計が彼の頭の中で出来上がっていて，あとはそれを書き下すだけになっているからなんだろうなあと想像する。

彼のいう「論理的に考えないこと」はすごく納得いく話だ。たとえば私が数学について何かを考えるとき，それを支配しているのは論理ではなく感覚だ。そして考えた結果を表現するときに論理が使われるが，それは単なる作業に過ぎない。

しかし学校の勉強ってこのアウトプットで使う論理のことしか教えてないんじゃないのかなあ。でもそれじゃ何も「考えて」いない。肝心なのは自分の中にどれだけ数学の世界を作り上げるかということだと思うのだけど（張栩棋聖が言ってた「精密な碁盤を頭の中に作る」もそういうことなのかな）。

プログラミングも同じようにきっちり設計で「考えて」しまえば，コード書く最中に考えて手戻りしなくていいのかもしれないなあ。

おまけ：ずっと前にFacebookで「感電したことがあるか」という投票があったのだけど，元ネタってこれ？

プレゼンはTeX

Fri, 20 Jan 2012 00:00:00 +0900

CE113で発表するためのプレゼンをImpressで作り始めたが，なんだか全体が見えにくい気がしてイライラしてきたので，Beamerで作り直し。来週再来週は入試のことばかりになってしまうので，この週末にあらまし作ってしまわないと間に合わない。というか，落ち着かない。

Google Test

Thu, 19 Jan 2012 00:00:00 +0900

先日のわんくま同盟名古屋勉強会 #20 ＆第39回名古屋アジャイル勉強会＆ TEF東海勉強会でテストのことを教えてもらったので，自分でも試してみる。当日のワークショップでは作者がその場にいたということもあってPCUnitを使ったのだが，DebianにはGoogle Testのパッケージがあるようなのでそれを使ってみる。ライブラリ作ってどうこうするのに迷いはあったが（確かにドキュメントにはpthread使うかどうかって書いてあったけどさ…），作ってみれば簡単にテストができてしまうのだった。SetUpとかどうするのかなと思ったら，testing::Testを継承すればいいのね。これはわかりやすいわ。まず今つくってるサーバのテストをやってみたかったので，接続とか認証とかそういうのが自動でできる風じゃないとつらい。ドキュメントを邦訳してくださった方がいるというのもありがたい。

センター試験

Sun, 15 Jan 2012 00:00:00 +0900

昨日今日はセンター試験だったようだ。英語だけざっと解いて自己採点してみた。154点か，さっぱりだな。そういえば，日本語で答える問題ってなかったような気がする。前からこんな風だっけ？

訂正：採点ミスしてた。正しくは160点。

PenFlowchart 1.2リリース

Fri, 13 Jan 2012 00:00:00 +0900

今回はバグフィックス。一つはセーブ時に後判定ループの条件が書き出されてなかったこと。もう一つは削除・カット・ペーストをしても変更されたフラグが立ってなかったので，終了するときにセーブするか聞かれなかったということ。公開はいつものようにhttp://watayan.net/prog/で。

CE113の準備

Thu, 12 Jan 2012 00:00:00 +0900

情報処理学会第113回コンピュータと教育研究発表会の原稿はなんとか間に合って提出した。目論見通りにいかなかったことがいくらかの部分を占めてしまって，だったら書かなくても良かったんじゃないかと思わないでもないんだけど，失敗は失敗として記録には残してもいいと思ったのでそのままにした。これから入試（本校を受ける方の）で忙しくなるので，発表用のプレゼンは早いうちに作っておいた方がいいだろう。原稿を書いた頭が残っているうちに。

コンピュータは計算もできる

Fri, 06 Jan 2012 00:00:00 +0900

昨年末にスティーブ・ジョブズがなくなった後に放送された特番を見ていてふと思った…ああ，私はコンピュータに計算をさせたいのだ，と。彼がやってきたことの中には「コンピュータは計算のためだけにあるのではない」という考えが現れているものが多くあったと思う。私もそれには賛同する。その一方で，これを使えばもっと高度な計算もできるのに，そういう使い方が蔑ろにされてはいないだろうかとも思ってしまうのだ。

だらだら

Tue, 03 Jan 2012 00:00:00 +0900

三が日はひたすらだらだらした。年末に行った第二回科学技術教育フォーラムのこともまとめたいが，なんだかすっかり休みモードになってしまって頭が回らない。

久しぶりに会った下の弟がギター始めてたり，マインドマップ描いてたりしてちょっと驚いた。

そういえば年末に，居間のCDタワーを片付けようと，ニトリでラックを買って収納したのだった。枚数は数えてない。レコードを取り込んだ分は別にしてある。これであと100枚か200枚は増えても大丈夫かな。