0327
ひとと会ってきました。いろいろなことを話しました。こんな話をするとは思っていなかった。気がつくと六時間喋りっぱなしだった(自分の引き算が信じられないがそうらしい)。
大雑把にいってしまって、よい時間だったと思います。長いこと躊躇っていたけど、こういった機会が持ててよかった。そして、よかったと思ったぶんだけ、こんな形でしかコンタクトできないことが、さびしい。
(私信: 今日はありがとうございました。いろいろ聴いていただけて僕はたいへんに精神が安らぎました(楽しかったですし)。同じように、すこしでもお役に立てていたらと思います。また、(いつか)。)
いろいろなことが、きっとうまくゆきますようにと、誰にともなく、お祈りします。
たくさん電車に乗ったのですこしだけ勉強が捗りました。始対象と終対象。群(の圏)の始対象は単位元のみの群だけど、単位元つき環の始対象はZと同型になります。零元と単位元をつぶしてしまうと構造を保てなくなるので射がないのです。
明日は大学で実験の引き継ぎをやります。僕が書いたプログラムを残していってほしい、と言われたけれど、たかだか十回くらいしか使わないつもりで書いた(わりには結構使ったのですが)のでいろいろ残念な感じです。でもいまから書き直すのも面倒だしなーと思うので最低限のドキュメントだけつけて出してしまおうかな。誠実さマイナス1ポイントです(なんだそのシステム)。
あとRailsはDeviseをあきらめて(あきらめた、というより管理者がたかだか一人いるだけのシステムにあれはオーヴァ・スペックにも程があるというものです)、自分で認証を書くことにしました。幸いRails3.1以降にはそれをアシストする機構が備わっているようなので、そうするつもりです。
あとSSLのことをすこし調べていて、年間3k円くらいで証明書が手に入るっぽいことはわかったのだけど、メールサーバとして動かしていないと(またはWHOISを自分の連絡先で登録している)いろいろ不都合ぽいので、先にそっちの整備が必要です。まあSSLなんてなくたって僕以外困らんのだけど。
さあて。春休みの融ける音でも聴きながら。