2017年07月

金曜にイオンからの書留の不在届が入った → 今日の昼間に郵便局に行って回収してきた → 夕方に帰宅してみたらまたイオンからの書留の不在届が入っていた！

昼間に回収したやつと同じものなのかどうか判断つかないのが問題で．書留は再配達無いはずだから別にもうひとつ来たのだろうけど，不在届には「イオン」としか書いてないので悩ましい．何となく ETC カードが別便で来るパターンかなと思わなくもないのでまたあした郵便局行きで．

というか何故まとめて発送しない？

最近あまり歩いてないので 10キロほど散歩．日の出てない時間帯にしたけれど暑い．日が出てたら死ぬる．

comment.sty をよく見てみたら \specialcomment{name}{before commands}{after commands} でカスタマイズしたコメント環境を簡単に作れるっぽいことに気づいた．コメント環境の前後で作業ができて，コメント環境内のデータが吐き出されたファイルを環境の終わりに自由に読み込めるのでいろいろできそう．

ということで，マクロは動かすけど文章はバッサリ消したいという要求を満たす環境が作れた．環境内の内容書き出したファイルの中身を box 内に \input で読み込んであるだけという単純仕様で．

さて，これで試験を作る準備が整った．あとは計算問題の解答チェックとかも TeX でやれると良いのだけど．

測るたびに血圧が20位前後する．どうすれば落ち着いて測れるのかわからない．血圧測定嫌い．

そういえば人間ドックやってみようと思って予約忘れてるなぁ……

バージョニングの入ったファイルシステムがほしいなぁと思って検索してみたら，実は btrfs がそれなりに安定しているようで（RAID56以外）．SUSE Linux Enterprise Server 12 からデフォルトっぽいし．

ということで，そのうち btrfs を導入しよう．

だがしかし，copy-on-write という言葉の使い方あってるのか？

昨日の続きで，ループ系の計算でも比較してみた．

#include
#include
int main(int argc, char *argv[])
{
	int sum = 0;
	int n = 0, i, j;
	n = atoi(argv[1]);
	for(j = 0; j  < 1000; j++) for(i = 0; i < n; i++) sum += i;
	printf("%d\n", sum);
	return 0;
}

import sys
n=int(sys.argv[1])
s=0
for j in range(0,1000): 
	for i in range(0, n):
		s += i
print(s)

結果：

hogehoge:~/work/pypytest$ gcc -O3 -o sumI sumI.c
hogehoge:~/work/pypytest$ time ./sumI 1000000
882236160
 
real    0m0.255s
user    0m0.252s
sys    0m0.000s
hogehoge:~/work/pypytest$ time pypy sumI.py 1000000
499999500000000
 
real    0m2.105s
user    0m2.088s
sys    0m0.020s

もう一回：

hogehoge:~/work/pypytest$ time ./sumI 1000000
882236160
 
real    0m0.155s
user    0m0.152s
sys    0m0.000s
hogehoge:~/work/pypytest$ time pypy sumI.py 1000000
499999500000000
 
real    0m2.130s
user    0m2.120s
sys    0m0.008s

10数倍くらい？　再起しまくりのフィボナッチと同じ程度．多倍長整数の演算になっている点が響いてるかも？

ということで，double でやった時：

hogehoge:~/work/pypytest$ time ./sum 1000000
5e+14
 
real    0m1.159s
user    0m1.156s
sys    0m0.000s
hogehoge:~/work/pypytest$ time pypy sum.py 1000000
4.999995e+14
 
real    0m3.085s
user    0m3.064s
sys    0m0.024s

こっちは 2～3倍程度．

ということで，Python は C の 3～10倍程度の遅さでしょう．なお，CPU は Intel(R) Xeon(R) CPU E5-2630 v3 @ 2.40GHz で．

フィボナッチ数の計算で C の 70倍遅いとかいうことを聞いて，何となく今までの体感と違かったので手元で測ってみた．PyPy だけど．

プログラム達：

#include
int fib(int n) {
	if(n  <= 1) return 1;
	return fib(n-1)+fib(n-2);
}
int main(int argc, char *argv[])
{
	printf("%d\n", fib(42));
	return 0;
}

def fib(n):
	if n  <= 1:
		return 1
	else:
		return fib(n-1)+fib(n-2)
print(fib(42))

結果：

hogehoge:~/work/pypytest$ gcc -O3 -o fib fib.c
hogehoge:~/work/pypytest$ time ./fib
433494437
 
real    0m0.902s
user    0m0.900s
sys    0m0.000s
hogehoge:~/work/pypytest$ time pypy fib.py
433494437
 
real    0m9.285s
user    0m9.240s
sys    0m0.044s 

もう一回：

hogehoge:~/work/pypytest$ time ./fib
433494437
 
real    0m0.883s
user    0m0.880s
sys    0m0.000s
hogehoge:~/work/pypytest$ time pypy fib.py
433494437
 
real    0m9.429s
user    0m9.372s
sys    0m0.056s 

10倍？　大体このくらいな気がする．

それぞれの --version の結果：

gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 
Python 2.7.10 (5.1.2+dfsg-1~16.04, Jun 16 2016, 17:37:42)
[PyPy 5.1.2 with GCC 5.3.1 20160413]

試験の問題と答案用紙の一貫性を保つために，同じ TeX ファイルをモードを変えてコンパイルしたら問題用紙と答案用紙が出てくるようにしたい．

で，○×問題の回答欄と模範解答の生成を問題文中に書いたコマンドで行うようにしているので，答案用紙を生成するときにもそれらのコマンドだけは動かしてほしいという需要があって悩ましい．マクロは動かすけど出てきた文章はバッサリ消したい．comment 環境とかだと本当にバッサリ消えてしまうので困る．

ということでいろいろ試行錯誤．とりあえず box に中身を入れつつその box を最終的に表示しなければ目的が達成できるような気がしたところで時間切れ．だがしかし，あるところからあるところまでをボックスに突っ込むとかいうのはどうやればよいのか分からない．comment 環境がファイルに書き出してるっぽいのでそこの動きを真似ればどうにかなるのかもしれないけれど，どうやってんだかうまく読めない（TeX 力が足りてない）．

聞いただけで暑くなるけれど，ここいらが過ぎれば涼しくなるのかもしれないという期待も……　するだけ無駄な気がする．

早く涼しいところに逃げたい気分．今学期もあと2週間半か．

昨日の昼間は電話をかけている暇がなかったので，今日サポートデスクに電話を掛けてみた．

結論：また不正使用モニタが誤ロック．

ロック時の24時間対応番号とか無いのかと聞いてみたけれど，そんなものはないからサポートデスクが受け付ける時間まで待つしか無いという答えだった．詫びポイントでもくれればいいのに．

閑話休題．

今までの誤ロック：2013年7月、2014年5月、2014年7月、2015年9月、2017年7月（今回）

去年はなかったけれど，5年平均で年1回？　7月に要注意かね．

オンライン決済しようとしたら不認承を食らった．限度額までまだ余裕すぎるし，また不正使用セキュリティが反応してロックされた気がする．

んで，過去の経験上ロックしたときには電話が掛かって来ることもあったので暫く待っていたのだけど，今回は金額が少なかったのか電話がかかってこない．なので原因もハッキリとしない．

こっちから電話をかけたいけれど 9:30--17:30 のサポートデスクの番号しか分からんので悩ましい．忘れなければ昼にでも電話する．

というか24時間対応しろよ．

やっぱりあと1問解けないとダメだったか．残念．あと1ヶ月早く鍛え始めていれば良かったかもしれない．

閑話休題．

チーム名がレギュレーションに反しているチームを発見．使って良い記号は "_-." だけだったはずなのに，なぜか "+" がチーム名に入っているところが……

たぶん，チーム名が10進の大きな数 "3844335937500000000000" だったので，スクリプトでの処理最中に勝手に数値になった挙句に指数表記での出力 "3.84434E+21" になったのでしょう．誤差が多すぎるので Presentation Error ではなく Wrong Answer ですな．

目的のために A と B という手段があって，それぞれのメリットデメリットをちゃんと吟味せずにとりあえず A で突き進んで，結局 B の方では回避できた問題がいろいろ発生して面倒な状況になっていて，その解決策もまた問題を孕みまくっているのが提案されているという……　かといって B なら安全だったかどうかも分からんのだけど．

やってみなきゃ分からんこともあるから突き進むのも大事なのだけど，突き進む前の思考が足りないんとちゃうかなぁと結構な頻度で思う今日此の頃．

講義室のコンセントに何か刺さってるなぁと思ったら，スマホが充電中っぽかった．大学のコンセントでスマホを充電するのは OK なのか NG なのか．

最近は連絡とかメールで流れたりするのでメールを確認するための手段を確保するためという解釈をすれば OK かね．でも講義室の壁に填まってるコンセントにぶら下げた状態なのは諸々の危険を伴うので避けたほうが賢明なような．よくわからん．

というか，長距離無線給電はまだか？

幾つか試して直感的に使えたのが Arpeggio．サンプルとかちゃんとしているのでそれをイジれば様相がつかめる．

とりあえず，pip install Arpeggio で入る．楽．

あとは，関数が非終端で，タプルがシーケンスで，リストが選択で，正規表現や文字列（を指定されたクラスに包んだもの）が終端でと．オプションとか否定述語とかはそれぞれ対応するクラスに包む．文法の定義も楽．

だがしかし，セマンティックアクションの実装が文法定義と離れて visitor を書くことになるのでちょっとやりづらい？　文法が大きくなってくるとセマンティックアクションが近くにあってほしい気もする．エディタの画面をふたつ開いておけば良いのかもしれないけれど．

新しいタイヤの皮むきに小石原までバイクで往復したのだけど，昼過ぎの炎天下を1.5時間程度乗っただけでだいぶ危険な感じに暑かった．早朝なら大丈夫だろうけど昼間にバイクに乗るのは危険．

閑話休題．

嘉麻峠の先でまだ山の方から水がちょろちょろ道路に流れ込んでで洗い越し状態だった．流されてきた土が道路の真ん中に溜まって島を作ってたりもして，バイクで走るには向かない道になっていた．

そして小石原の道の駅から先は R211 も通行止めで．ちょっと手前から西向きへ R500 に少し入ったところにある林道とか通れるか試してみたかったのだけど，R500 の分岐の地点で通行止めと書かれていたので試せなかった．福岡県の道路情報だと西向きには R500 は通れるっぽかったのだけど……

タイヤ前後・バッテリー・エンジンオイル・ブレーキフルード・フロントフォークのダストシールを交換．ダストシール自体は安いけれどフォーク引っこ抜く手間がかかるので工賃が約7k円で高い……　で，諸々入れて15万弱．この代金を取り戻せる程度には乗りたい気分．秋になったら遠出しよう（夏は暑いので微妙）．

さて，とりあえずタイヤが新しくなったのでそのうち皮むきに行こう．阿蘇までのいつものコースが大雨の影響で通れないので悩ましいけれど．

今年はコーチ・監督として参加．このタイミングで問題見るとか新鮮．でもチームは3問解いて止まっちゃったので残念．もう1問解ける力があれば……

だがしかし，今回のは ABC が超簡単で，Dで急に面倒に……，そしてEがまた超簡単で全部やるだけ問題で，F以降は見てないから分からん．とりあえずの感想として D と E の難易度順が逆なんじゃないかなと思った．

で，D問題．基本的には材料の端数の具合（＝2進数）を状態にレシピで移動してけばいいという方向はすぐ思いついたのだけど，とは言え材料が多いと状態多すぎて……　とか悩んだ．でも，よく考えたら材料が多いときにはレシピ数が少ないという制限があるので，それならレシピの組み合わせの総当りを生成して材料のあまりのないのを探せばよいだけであったと．サイズで解き方を変えるとか面白い良い問題だと思うのだけど，それでもE問題と比べるとやっぱり D が E問題なんじゃね？と思わなくない．

わさび……　効いてない？

でも，悪くない気がする．というか追加で買っていい．もうちょいわさびが効いててもいいかなとは思うけど．

閑話休題．

セブンイレブンのわさび7倍わさビーフも全然わさびが効いてなかった．何枚かは十分効いていたのがあったけど，全体的にソフトすぎた．たまたまソフトなのに当たっただけかもしれないので要検証だけど．

コンビニの自動ドアを出ようとしたところの横に「スリップ注意」という看板があって，でもドア手前はマット轢いてあるよなぁと思いつつマットに踏み込んでみたら，マットごと滑った．

確かにスリップ注意なのだけど，ベースがゴムであろう敷物（マット）ごと滑るとかいうのはもうちょっと違う感じに注意を出してほしい．

実は今年から記念日として登録されたっぽい．よく分からんけど7倍サイズのキャラメルコーンが食べたいかも知れない．

納豆はよく1食で3パック食べたりするのだけど，食べ過ぎもよろしくないらしく世間的には1日2パックというのが適量だそうで．まあ，毎日食べるわけでもないし，1日に2回以上食べることも稀なので，恐らく適量の範囲に収まっているのではないかと思いたい今日このごろ．

納豆は野菜です．

とりあえず，潰れたホンダドリーム飯塚の跡地にひょっこりと現れた二輪サービスオフィスというところに行ってみたら車検もお願いできるということだったので置いてきた．この時期は天気も不安定であまり遠くまで持って行きたくないし．車検ついでにタイヤとバッテリーも交換で．

そしてプラグをどうするか話し忘れたけど全然乗ってないので交換なしでいいか．

閑話休題．

タイヤを削ってみようとしたけれどアスファルトの上だと空転させるのが難しい．ちょっと動いて前に荷重をかけてから一気に回さんとダメかな．というかタイヤの空気減ってるのも微妙……

うーん……　不味くはないけれどもう一度食べたいかと言われると微妙な味．

今日はお仕事があるのでオフィシャルに出勤．振替の休日は来月の連休作成に使う．

閑話休題．

どうでもいいけど平均点60点になるように試験問題作れってお達しは頭悪いんじゃなかろうか．合格ラインに達しない能力の連中が大量に来たら平均点下がるのが当たり前なわけで，それを前もって決めておくというのは仮定がおかしい．

朝ちょうど小倉駅で避難勧告発令のエリアメールを受信．でも「紫川」がどの川なのか分からず微妙な気分で．地元民以外にもわかりやすく伝える努力を……

だがしかし，新幹線が止まらなくてよかった．そして東京はいい天気で暑い．

エアコン動いてる演習室内よりも廊下のほうが涼しいのは酷い．エアコン止めてサーキュレーターとかで廊下との循環をしたほうがお得．

なんでこんな状況なのやら．室内の発熱に対するエアコンの能力不足？　ノートPCと人間が25対入ってるだけなのに……

真面目に考えさせておきながら勝手に気軽に白紙に戻す連中とか……　諸々真面目にやっても台無しにされるのでやる気が無くなる．ひっくり返すならひっくり返すから真面目にやるなと先に言っとくのが筋ってもんでしょうに．

ぶつくさぶつくさ．

朝イチで行ったらちょうど大雨．そのせいか客も少なく作業が捗る．

うーん，この半年は走行距離伸びなかったなぁ．

閑話休題．

バイクの車検を忘れないようにせねば．

午前にエアコンの効いてない部屋で講義したせいか，午後になって水不足っぽい感じで夕方にダウン．ポカリとか置いとかんとダメな気がする．

ということで寝る．

スタート遅れたりジャッジシステムがコケたりで結構グダったイメージ．当初予定では終了後30分まで面倒を見れる予定だったのだけど，結局終了1時間前に退散することになった．反省会とかはまた今度．運営がグダることを考慮してスケジュール組んでおけばよかった．

出張中に skype で会議……　とか言う時に LTE の回線だと容量使い切ってしまうので微妙．一時的に容量を増やせば良いかもしれないけれど数千円かかるのでやっぱり微妙．

ということで，容量無制限の WiMAX なら良いかなと思って覗いてけど，それでも「3日間10GBで速度制限かかる」という短期の制限が入るので数日連続しての skype 会議には耐えられないかもしれない．まあ，夜～深夜の時間帯に 1Mbps に落ちるだけなので国内のまっとうな相手となら大丈夫かも．あとは音声だけに絞ればOK？

実験してみないとよく分からんな．ポチってみようか．