andante

2014-10

0930

h.b. > κ.

ついに四半世紀を生きてしまいました四捨五入すると30ですうわっうわっっ

誕生日というとどうしても内面的な節目になるしまあ昨日の手続きのこととかもあってこの一年をちょっと総括しようかななんて気分になるのだけど眠いので考えていません
この一年健康状態がどんどん悪化してしまったし精神的にもなんだかいろいろなことが億劫になってしまった感じがあります人付き合いとかそういうことのコストがそれに加えて自分自身の人格への失望や諦めが支配的になってしまって僕はもはや他人とまっとうな人間関係を構築することなどできないしすべきでないし望むべきでもないのだみたいな確信めいた想いが強くなってしまったなにもかもが面倒にしか思えないし振る舞えないのに僕はたしかに寄り添う他者を必要としているほんとうになんなんだこいつは
僕は誰かに側にいて精神を支えてほしいと思ったりするけれどそのような関係を維持するリソースが自分にはあるとはもはや思えないしそうでないように振る舞うこともできるとは思えないしそういった相手にとって自分が魅力的であることができるとも思えないしそういった相手がいたところで自分がほんとうに救われるとももはやあまり思えないしそもそもそういう相手を探しに行こうとももう思えなくなっているこういうことを考えているとほんとうに心の底から死んでしまいたくなるというよりも生きるのが嫌になる幸福になれないってわかっている人生をあと何十年も続けて挙句みじめに他人を呪いながら死んでゆくそんなのはとても耐えられない頭ではそうわかっているのに僕は死ぬこともできずにいる仕方がない意志決定のスコアの中でこんな遠未来の要因に割り振られている重みなんてきっと微々たるものなのだただ遠くにあるというだけの理由でどんなに遠くたってそれは確実に訪れるというのに

精神と身体の健康がほしい精神はじつは比較的充実した感じだと思っているけれど健康的とは言えないでも僕の精神が健康的だったことなんてあっただろうかあったような気がするでもそれは縋る他者がいたというだけではないのか身体的には絶望的だ運動をしなくてはいけないのだけど


仕事は多少順調ちょっと具合が悪かったけれどなんとか懸念事項に目処が立ったあとはなにもかもが理想的に協働してくれればいいのだけど


Pが有り得るという表現を素朴に否定したあり得ないPである可能性がないになってしまうのだがPでない可能性があるを短く表現するにはどうすればいいのだろうここで様相論理の記法を借りるとこれは♢¬Pと書くことができてさらに♢だか□だかの定義から¬□¬¬Pになり二重否定を除去して¬□Pを得るつまり必然性を短く言うことができればその否定で表せることになるだろう注意しなければ□¬Pの意味になってしまうが
そこまでは考えたのだがそういう言いかたはよくわからなかった古文には確述助動詞というものがあって云々とか思ったけど作ってみてありなずみたいな文字列ができたのでこれは違うと思うそもそも語用論の前に統語論として怪しいというか必然性という概念はただの断言とは趣を異にするはずでだってそれは可能の否定という形で導入されるものだから対応する日本語はないのかもしれないあらざり得るの方向は当然ありえるないが動詞だったらそれで済む話なのだがあからさまに動きでもありようでもないものをどうしろととは思う


そういえばF#をインストールしましたまだ触っていませんが

1001

どうも昨日くらいからまた消化器系の調子が良くないですすごいもたれるウー


お昼から仕事またモデルにいろいろと手を入れたけどなんとかまとまってくれました明日にはこのあたりは完成させてメイン機能に移れそう
FetchedResultsControllerが八面六臂の活躍を見せています便利だなこれいろいろと関心事が分離できるし


デザインの思想についてちょっとおしゃべりをしました僕は自分のことをどちらかというとミニマリストだと思っているのだけど実際にはそもそもどこかにカテゴライズされるほどの思想がないという点はサテオキそれって単に僕が複雑さをうまく扱う技術も心的リソースもないからなんだよなとか思いますでも僕以外の多数派の人々もそういう状態心的リソースが足らないなのだとしたらそれに従うことは正解と呼んでもいいような気がする

1002

お昼から仕事問題解決密度は高かったけど問題が多かったのであまり進みませんでしたうーむ
画像のダウンロードの進捗管理にNSProgressを使ったのだけどまあまあ便利複数のProgressを束ねて一つにできるのとかもよいですねただKVOで監視というのはちょっとどうかSwift時代にそぐわないのではないかとはいえ他にやりようもない

あとまたCoreDataとニラメッコしていましたエンティティを継承できるのはいいんだけどFetchRequestがそれに追いついてないような感じがあるたとえばShapeエンティティを継承してCircleとTriangleを作ったときにTriangleまたは半径がrのCircleみたいなPredicateはどう書けばいいのかよくわからない具体的にはkeyPathにradiusを指定したところで失敗するTriangleにはradiusがないからううむ

そういえばふと気になったので今のプロジェクトで書いたコードの量を数えさせてみたところ6400行くらいということでした一ヶ月半くらいでこれは多いのか少ないのかよくわからないこんなに書いた実感もないのだけどまあでもまあまあがんばったのかしらね
全部自分でやると全部自分でできるのでいろいろなしがらみに流されることなく考えられるのでよいのだけど全部自分でやらなきゃいけないのでとってもしんどいなにげに規模の大きいアプリだと思うしいい経験だと思うけど明らかに力不足っぽいところもあるはーがんばろ


はー今週はなんかほんとうに飛ぶように過ぎてしまった気がします土日もmac借りて帰って作業しようかなー問題の数はだいぶ減ったはずであとはWebAPIとの繋ぎの部分を書くだけみたいなイメージなんだけど……

1003

ちょっと風邪いです


お昼から仕事だいぶ歯車が噛み合ってきたのでここからはやりがい高まりそう


雑踏に紛れながら薄暗いことを考えている僕内側から発せられる自分を責める言葉たち自分の過去のすべてが誤りで未来はすべてが失敗に終わるような気がしている信号待ち青信号の気配に顔を上げたその瞬間群衆の全員が立ち止まりこちらを向いて叫ぶ
人生は続いてゆく
ふと気づくと僕はオフィスの席に座っている僕の他には誰もいないいまの光景はなんだったのだろうか同僚がひとりやってくる彼はこちらに気づきちょっといなくなったかと思うと缶コーヒーを渡してくる顔色が悪いなどうかしたか僕はそれを受けとって一口飲む大したことじゃないさ


さて土日気が向いたらちょっと仕事もします

1004

昨晩からselector infected WIXOSSを全話観ました観たいと思ったアニメがその場でサクッと観られるのはいい時代になったものだと思います

お話はよくわからない自分の願いを生きろ的な話かなと思っていたけど最後らへんなんか違ったしるう子ちゃんはかわいい


あとハルヒの一挙放送がやっているので観ています一期最終話はやっぱり演出が優れていますねあとエンドレスエイトは作品としての真剣さと娯楽としての成功は時に別物でありえることを教えてくれますいま四周目だか五周目だかです

いま思うとこの作品はほとんど当時の自分と同年代が主人公だったのですね期末テストとか学校という概念とかそういったもの当時は自然に親しんでいたのがいまはそうではないなあということを感じます学校生活の退屈で平穏な感じとかも
涼宮ハルヒ的なおもしろさ至上主義的なものがこの時代の特徴だったのかこの年頃の特徴だったのかはわかりませんが今となってはぜんぜん共感できないなあと思いました時代というよりは年頃のような気がするないまでも高校生くらいだとカオス的なものに対する無条件な信奉が見られるような気がするでもそういうのそれこそわからないのがおもしろいみたいな感じでみんなでワイワイするにはいいけれどその先がないよなって今は思いますこれもまた大人になると大雑把に呼ばれる変化の一部なのでしょうか


最近僕以外の人間もけっこうコミュニケイションには苦労しているのかなと思いつつありますべつにそれはみんな苦労してるんだからお前も我慢しろ的な話ではなくてただみんなも嫌々やらざるを得ない理由があってやってるんだなとかそのコストを軽減するためにいろいろな協定があるけれどもそれもまたコミュニケイションと強く結びついているんだなとかそういったこと


喉が痛いし風邪っぽいですがもったいないのでお酒を飲んでいますでもそんなに飲まないようにしよう

1005

喉がちょっと変です痛いというほど痛くないけど痛くすることもできるみたいな感じぜんぜん伝わらない

昨晩は結局朝五時までハルヒ一挙放送を観ていました土曜日の夜に夜更かしをすると日曜日の夜に寝付かれなくて月曜日つらいってわかっていたけれど文化祭も射手座もサムデイも一番最後なので待たざるを得ませんでした映画撮るやつはまあそういう話だから仕方がないんだけど涼宮さんがわりとマジで鬱陶しいのでつらい

文化祭回はほんとうにていねいに作られているという感じがあって好きです単にいろいろ調べて知ってるだけかなでもあの清々しいきらきらした感じ二期の映画撮る話を挟むと君つい先週どんなことしてたかわかってるのって感じがして嫌ですね


お昼過ぎに起きたのだけど夕方まで二度寝してしまいましたあーこれは今夜寝付けなくてつらいやつだあー

1006

あいかわらず喉が変です寝付けなかったのはそれほど酷くなかったので今日は思ったほどつらくなかった


お昼から仕事まあまあ作業は進みました前に考えてあった仕組みをちゃんと整えたらいい感じに動いてくれそう

そういえばMagicalRecordのβが更新されたので入れてみたのだけどこれnested contextのマージに失敗してるんじゃないかなあlocal contextで保存してもFRCに通知が来ていない原因らしきcommitは見つかったけど確証がないからなんとも言えない
コミュニケイションが苦手しかも英語だしなのでウーとなったけど明日もうちょっと確かめてまだ未出だったらがんばってIssue書こうと思うでもなんと言えばいいのかなウー


あー風邪い早く眠ろうでも録画してあるアニメもちょっと観るぞ

1007

風邪いのが続いていますうーむ


お昼から仕事そういえば昨日のIssueですが今日PullReq書こうと思って調べてたら夜の間に直されたようでしたコミュニケイションしなくて済んだ安堵感とそこそこ名のあるOSSにコミットする機会を逸した残念感とまあでもまた機会は来るでしょう
仕事はまあまあ昨日今日と考えた仕組みがいい感じに動いてくれつつあるのであとはUI作成に注力すればいいはずですがたぶんそう簡単ではない


そういえば青色LEDがノーベル物理学賞を取ったそうですGaNとか大学院の研究室で近辺のひとがわりと扱っていたのだけどなにがそんなに難しかったのかよく知らなかった結晶成長が難しいのだそうですでもそれって化学賞の範疇ではとも思います


早く寝なくては~

1008

風邪いですでもすこしましになってきたかも食欲がまた低空飛行をしていますけれども


お昼から仕事いろいろ考えて書いたけど進捗はいまいち今度こそ仕組みが整備できたはずと思うのも三度目くらいですウー
そういえばSwiftはクラスとプロトコルの両方で型を制約する文法がないのですねちがうObjCだと(ClassName<ProtocolName>*)とかで書けたんだけどSwiftには対応する記法がないジェネリクスで無理矢理制約することもできそうなんだけど<T:ClassName where T:ProtocolName>みたいになる書けたはいいけどどうも思うように機能しませんでしたプロパティや配列の型には使えないしうーん困る
あと会社の人に教えてもらったアプリのUIが格好良かったので完敗だなーと思いました完敗あれはCollectionViewのレイアウトをトランジションしてるんだろうけど僕はあのへんの世界観をまだちゃんと飲み込めていないのです完敗


さあて髪が乾いたら寝ましょうその前に一話だけアニメを観ようかしら

1009

お昼から仕事まあまあ作業は進んだけど調査はうまくゆかなかったので残念AVFoundationで動画をシームレスにループ再生することってできないのかしらいろいろ試したけどAVQueuePlayerでも継ぎ目でディレイするししないはずなんだけど……だめなのかもしれないうーん……
なんかライブラリも見つけたけどGPLだったのでヒッと悲鳴を上げて逃げました怖い怖い

それとSwiftだかLLVMだかのバグを踏みました最適化をかけるとコンパイルに失敗するエラーメッセージには"PHI node"とか書かれているからきつねさんの本を最初だけ読んだ経験によれば条件分岐に関係したなにかなのだと思うのだけど実際のコードのどこなのかさっぱりわからないからなんとも言えないでもあちこちコメントアウトしたらどうにかメソッド一つまで絞り込めたので明日追及しますつらい


今週もなんだか飛ぶように過ぎてしまって思ったようにことが進みませんでしたうーん再来週の頭に社内リリース予定なんだけど大丈夫なんだろうか根幹部分はだいたいできててUIがそろってないという感じではあるけど実際どうなのかいまいちピンとこないし経験不足