はじめてのにき

_ 人狼作家

2日目まで読んだところでしんどくなってオチを読んでしまった。やっぱり人狼のログとしてはたいしたものではなくて、作家ファンが楽しむ本だよなーと思った。まぁそういうもんだろう。

占い真贋はまああってた。人狼はたぶんコレでしょ、と思ってたやつが片方間違ってた。あと企画者もなんとなくこれって思ってたのであってたけど、ただまぁこのへんあってたのはそもそもうちのサーバでやってた時にちょっと読んでてその記憶が残ってたのかもしれない。

(20:09)

_ 42

人生に意味はあるか、みたいなやつに、どういう立場があるのかとか考えてみる。とりあえず、人生以外に対して意味はあるか、という質問への解答と関連がある気がする。

• この世 (or 世界 or 宇宙) に意味はある？
• 人類に意味はある？
• 自分の人生に意味はある？

普通に考えると、 YNY と NYN は不自然な気がするので、 YYY YYN YNN NNN NNY NYY の6種類になるのが自然かな。

• YYY: ある
• NNN: ない
• YYN: 人類全体に対して自分なんてちっぽけ
• YNN: 宇宙全体に対して人類なんてちっぽけ
• NYY: 人類が届かない領域に意味はない
• NNY: 自分の意識できない事象に意味はない

こういう話を考える人のうち、たいていの人は1つの解を信奉するよりは、なんとなく複数の立場が混じってる感じな気がする。

あと、 Y/N で切れるものでもなく、それぞれに対して、「わからない」「わからないということがわかっている」などの解を持ってる人もいると思う。というかこの手の話に42以外の解は無いというか、Y/Nどっちかが定理だと信じれるのは多少宗教的な力がいる気がする。

原理だとする立場は割と理解できる、というか僕が人生の意味について、そういう感覚な気がする。つまり、わからんけど意味無いとすると自殺と他の行動の評価値が同じになっちゃうから、とりあえず意味あるというのは盲目的に仮定しよう、的な。

(12:19)

_ sudo

てこんなにアクティブに開発されてるプロジェクトなのかよ…!

http://www.sudo.ws/

TILてやつだ

(11:41)

_ アカデミア

http://scienceinjapan.org/topics/20151105b.html

via https://twitter.com/esumii/status/662407354856542209

知らんけど。

感情的には年寄り強権的に引退させたら、とか思うが、まあそれするとそれこそキャリアパスが見えない職業ということになるし、あとまあそもそも給料より研究費の方がたぶんデカいよね(ソース調べる気もなし)。でまぁ年寄りの研究に配る金減らした方がいい気がするんだよな。

なんかしらんけど年寄りの金集めるのが上手な人が大きなプロジェクトやって、国はそこに金くばって、その年寄りが配分する、みたいな構図がいけてない感ある気がするんだよな。金集めるのがいい研究者なら萬田銀次郎あたりに教授やらせとけばいいわけで。

昔成果出したおかげで金集めるのに成功した年寄りが大きいプロジェクトを走らせて、そこに若手が集まる…みたいな感じなイメージあって、逆の方がいいんじゃないのかなぁ。上にたくさん配るんじゃなくてザコに適当にばらまいたら、大きいプロジェクトやりたい若手は現在いいビジョン持ってる年寄りのとこ行って、若手が集まってくるいい年寄りのとこが賑やかになる、って感じでうまくいかんものか。

そういう自然発生的なやりかただと、デカい実験とかみたいな本当にデカいプロジェクトをやりにくいとか、方向性バラバラな成果ばっか出て強みみたいなの作れない、みたいなデメリットがある気はする。

しかしそのデメリットて現状より悪いの？てのと、やっぱ国としては信用おけないザコに金くばるのは抵抗あるってか現実的でないよね…てなことも思う

知らんけど

(11:58)

_ ハンコ

ネットで買えると学んだがそういえば朱肉も無い

(14:07)

_ Android.mk の Makefile の依存グラフ

個々のモジュールのやつは全部 Android.mk という一つのノードにまとめてもこの程度ややこしい。成果物とかじゃなくて、 Makefile だけで

http://shinh.skr.jp/tmp/android_mk.svg

関係ないけど Ruby の全成果物の依存グラフとか作ってみる

http://shinh.skr.jp/tmp/ruby.svg

あー ninja から作ると #include の依存関係が出ないな

(20:03)

_ カーライル

いつも原文の場所わからんくなるのでメモ

汝に最も近い義務を果たせ、汝の義務と思うものを果たせ、しかるときに汝に一層重大である義務が明白となるであろう

Do the duty which lies nearest to you, the second duty will then become clearer.

(20:25)

_ ハンコ続き

これまでのあらすじ: ハンコをネットで買ったら朱肉が無いので朱肉をamazonで注文した

で、朱肉が届くまでの時間でハンコが失踪

(10:25)

_ Code Festival 短縮王

twitter の丸コピ宣伝しておきます

https://twitter.com/shinh/status/664096903877951488

http://golf.shinh.org/

1. code_festival というイベントで短縮王というゴルフコンペをやるらしく、それについて喋るらしいので微妙に協力したりしてます。その関係でゴルフ場にも似たような問題を4問出題したので暇な人とイベントで賞品欲しい人はどうぞ

意図としては当日まで本番環境で挑戦できないらしいけど、特に今回みたいに4問もあると、ゴルフて期間ある程度ないと煮詰まらなくて面白くないよね…ということでミラーという感じです。問題がICPCぽすぎてゴルフとしてはどうかな感があるけど、実際どうなるかな。。

問題については、個人的にはOzyさんに問題作らせろそれで間違いはない感ある。どうしてもルールセット的にスクリプト言語強すぎ感あるけど、Cの最短も表彰できればな…みたいな話ではあるみたいです。

ゴルフ場でのテストケースについては僕に全責任があって、ある程度は頑張ったつもりだけどゴルフ場で通って本番TLE出たらすまぬ。。自慢じゃないけどゴルフ場に出題したことってほとんどないんですよね実は。言われて足した特殊問題以外はたぶん2,3問しか出してない。

以下 twitter に書いてない感じのこと

ゴルフなー。最近全くと言っていいほどやってないので、今回前もって問題解いてみたけど、正直さっぱりいけてない。まず自分の能力がいけてない。まあ書いた通り問題も ICPC チックすぎてゴルフ的な面白みがあまり無いかなー感は解いてみてあった。一応言い訳しておくと一応意見はした。

がまあ僕最近ゴルフしてなくて時間も十分に取れてないので、自分が思いつかないだけでかっこいい解き方あるかもしれないんだよな。

テストケースも特に D はほとんどランダム生成しかできてなくてあやしいので、これ足せばもっときつくなる的なのあれば足します。実際既に1件バグ指摘もらって直した

個人的にはせっかくゴルフのなんかやるなら、ちょっとやってみるかと参加した人に、ゴルフの面白さとかキツさが軽く伝わる感じだと嬉しくて、 Ruby Kaigi のやつとかはまあまあうまくいったと思ってるんだけど (特にこの簡単問題 http://golf.shinh.org/p.rb?putter+golf+for+Ruby+kaigi とその次の問題)、今回は正直どうなるのかなー感。

とりあえず A はやるだけ問題で、 C も値域すごい狭いからチャレンジしやすいはず… B は僕が問題わかってない感あって、 D はテストケースあやしいしゴルフとしてどうなのかはわからないけど、問題自体は良いものな気がする。

(00:47)

_ Perl の正規表現内の文字クラス

https://twitter.com/shinh/status/663715003690692608

とか

https://twitter.com/shinh/status/663723143849054208

の話をしてて、詳細な解説があると教えてもらった

http://8-p.info/perl-interpolation/

(12:25)

_ pipe のサイズ

Ruby ででかいデータ流し込んででかい結果を喰うのは相変わらず open3 が正解なのかな。

require 'open3'
out = Open3.capture3('cat', :stdin_data=>'x' * 999999)
p out[0].size

spawn がよろしくやってくれるという話があった気がするけどあまりそういうものでもない気がした。

実装読め系

Python だとインタラクティブなケース、つまり stdin に print でががっと流し込んで(この間に OS の pipe のサイズはあふれる)、でもブロックせずに結果を少し読んで、そんでまた流して…みたいなことができた気がしたけど、どうも気のせいぽいな。

スクリプト言語側で仮想的に pipe が無限サイズあるみたいな感じにすることはできると思うんだけど、まあ既にいろいろありそうだな

(20:25)

_ homebrew

https://github.com/google/kati/issues/38

homebrew パッケージが HEAD を参照してるのは気持ち悪いから、リリースタグ打ってくれない？て話。言ってることわかる。

でも kati て Android 以外の何かに役に立つとは思えなくて、 Android は既に kati リポジトリをトラックしてるんでユーザがインストールする必要ないんだよな。

というわけで homebrew から消してよ、て言うと破壊的な変更はしないポリシーがあるとのこと。言ってることわかる。

今タグ打ってやるのは簡単だけど、その後誰も使わないもののためにタグをメンテする意思などゼロだろうし、万が一誰から homebrew でインストールすると、単にすげー古いバージョンを使わされることになる。つーわけで HEAD 使っといて…ということにした。

元々パッケージを突っ込んだ人が実際には使ってないのはほぼ間違いないと思ってて、 github/google だし誰かの役に立つだろー的に適当に入れたんでないかなと思う。それ自体は良いことかと言われると疑問もあるけど、まぁ悪いことでもないように思う。

なんか特に悪いことをしてない悪気のない人達によって、使い道の無いものをメンテする必要ができたり、僕の方でもそれの対処を考えたり、無駄な時間使う必要ができて…みたいなせつない話

ああというか homebrew パッケージについてドキュメントに書く、って PR 送ってきたのもこの人か。

https://github.com/google/kati/pull/12

この時に homebrew から消して欲しい、てお願いするのが良かったのかな

(01:11)

_ CDのリッピング

goobox というのを使うと良いぽい。 CDDB も含めてやってくれた

(18:54)

_ シンプルライフゲーム

http://simanman.hatenablog.com/entry/2015/11/19/203517

via http://d.hatena.ne.jp/Ozy/20151123#p1

完敗だなー。でもこれはRubyゴルフ裏定石(命名適当)で縮む(132B)

n,h,w,*f=*$<
puts eval"z=w=#{w}
f=f.map{|l|
  l.gsub(/./){
    (?*+$&+?.*z+=1)[(0..8).count{|e|(f*2)[~-z/w-e/3][(z-e%3)%w]<?.}-3]
  }
};"*n.to_i

指摘されてる通り、 @rotary-o さんのやつの方を使うと(131B)

n,h,w,*s=*$<
s*=''
$>.<<eval"i=w=#{w}
s.gsub!(/./){
  (?*+$&+?.*i+=1)[(0..8).count{|j|(s*2)[(i-j%3)%w-(~-i/w-j/3)*~w]<?.}-3]
};"*n.to_i

こういう技知ってても10B近くの大差つけられて負けるわけで、やっぱゴルフはアルゴリズムなんですよね…

(01:16)

_ ffrk

別ソシャゲとのコラボらしいけど、必殺技の演出にわらった。久々の神レコードブレイク

https://xn--ffrk-8i9hs14f.gamematome.jp/game/780/wiki/%E8%A3%85%E5%82%99%E5%93%81_%E3%83%AC%E3%82%A25_%E8%88%9E%E5%B8%9D%E3%81%AE%E4%BE%9D%E4%BB%A3%E3%80%90V%E3%80%91

(22:58)

_ verilog

やっとこさテスト書きつつ進められる環境を整えた。 当たり前だけどテスト書くと格段にバグ取りやすくなった…もっと早くやるべきだったのだろうか。 まあこれで空いた時間にチマチマ進められるんじゃないかな

(01:36)

_ @kadongo38 →ひろみちゅ

https://twitter.com/kadongo38/status/671007951612702720

を見て、前者は知らんが後者そうなのかと思った。当たり外れはともかく、とりあえず騒ぐ人が少しいるのは、全くいないより少しマシだと思ってるからかな。

でケンカしてたのはこれか。

http://togetter.com/li/847364

言われてみれば見た記憶もあるけど、どっちかというと

http://togetter.com/li/847777

の方が一枚上手感が

(20:27)