キーボード

研究室でもUS配列を使いたかったのでamazonで7,000円弱のを注文.15%オフのクーポンがあったので勢いで. そんで初めて青軸キーボード買ったんだけど,予想よりうるさくて笑ってしまった.これを研究室でがちゃがちゃしまくるのもどうなんだろう.検討の余地…

31日め

最初はQiita的な使い方をするためにブログ開いたけど,まぁそれはそのままQiitaでやればいいやとおもいただの日記を始めて31日目. しかしまあ,一日一日を振り返るのは思いの外いい影響を与えている気がする.この他にもKibelaで日報書いてるのも良い感じ.…

切符

親が下宿先に来たのでいろいろなことを進めた. 研究会出張のためにいろいろと大金を払わねばならず困る.まぁ最終的には返ってくるんだけど,学生に一気にこんなに請求するシステムもどうなのか...早めに頼めば立替えてくれるらしいけども,まあね. なんか…

また研究室

さすがに残された通信容量が底をついてきたので,一日中ダラっとするのも諦めて夕方から研究室へ. 部屋が広くて空調が効きづらいのと乾燥してること以外は良い. というわけでどうせ明日は誰も来ないのでこのまま寝る.

最終集中

夏季の集中講義最後のコマたちを受け終えた.あとはレポートだけ. とはいっても1セメスターかの休日から受け続けてたのもあるけど. 講師から法曹を目指すひとのための情報が発せられた.いまは司法試験予備試験というものがあって,ロースクールに行かずと…

意味論

プログラミング意味論をやろうかという話になった. プログラマーフレンドリーな感じで行ければなという気持ち.自宅で型付きラムダ計算の型の構成と命題論理の導出を眺めていたらオッという感じがしてきたので未来は明るいと信じたい.

出張続き

今週は教員がみんな出払っていて静かに過ぎている. いろいろ質問したいことあるときに限って出張でいないし,メール送っても読まない(もしくは返事がない)しクソすぎるな. どうにかして電話くらいはできる空気を築きたいものであるなぁ. 閑話休題.掛け布…

寝泊まり

初めて研究室で寝た. なんとなく「枕があれば寝られるんでないか」とおもい,バッグに枕とアイマスクを詰めて研究室へ. 寝られる場所がないなぁと思ったけどでかい机の下にスペースがあったので寝袋を敷いて睡眠.寝袋が暑かったので扇風機をかけるとちょ…

休み

普通に寝て起きたら12時間くらい経ってた.体調悪かったからそのまま休んだ.たぶん昨日の疲れだろうな. 家で中島義道読んだり計算論理学の入門したりした.もうすこしちゃんとラムダ計算とかわかっておきたい. 再帰定理とYコンビネータの話でふしぎだねー…

BBQ

週のはじめからバカみたいに忙しくて疲れた. とはいえこれでほんの少しのゆとりができたので,このゆとりに他の予定をぶち込んでいく所存. そしてインターネットは今週中に復旧するんだろうか.テザリングでまぁなんとかなってるけど,動画像メディアを頻…

位相

だいたい寝ていた. ちょっと位相のことを考えた.定期的に思い出さないと位相の気持ちを忘れるので気を付けたい.

土曜講義

今回は著作物と契約にまつわる内容. 著作者人格権の不使用とかが例外処理っぽくていい. ネット回線はけっきょくまだ復旧してない.業者が部品を注文してるとか言われていたので,物理層の問題っぽい.頑張ってほしい.

怒涛

きょうは何やら忙しかった.退屈しないというのはいいんだけど,ストレスが伴わなければもっといいね... しかし,雑用が多くて勉強できてないのは嫌だなぁ,せっかくの夏季休業期間なのに. 今週中に復旧予定といっていたネット回線がけっきょく平日中に直ら…

寝坊

昼まで寝ていたけど,今日に限って講義のまとめの提出が出席のエビデンスになるっぽくて助かった. なんとか諸々の雑用を消化させたら精神が落ち着いてきた.けどまだまだやること多いなぁ.

二次形式

集中講義2日目. 講義自体より講義の合間に追い詰められた案件を消化させていくのがつかれた.数学だけやって生きていきたい. 多様体論で二次共変テンソル場とかいう謎概念の説明として出てきた二次形式$\omega : V \times V \to \mathbb{R}$ ($V$ は $ m $…

知財

集中講義を受講. 特許は興味があるのでまぁまぁ楽しい.けど言及が抽象的すぎてわかりが微妙な気がする.もう少し凡例並べて帰納的に理解させたほうがいい感はある. にしても複数の雑用案件で追い詰められつつあるのに集中講義は勘弁してほしいなぁ...俺の…

オフライン・ライフライン

学会のためにもさすがに用意せなアカンと一念発起して直方イオンでスーツを購入して帰宅したら,Wi-Fiが働かない. 壁からPCに直挿ししてもつながらんのでうちのルータが悪いわけではなさそうということまではわかったが,この日は諦めて寝た.

引きこもり

一日中メイプルストーリーやった. 久しぶりにばかみたいな時間の使い方をしたけど,こんだけ集中したのも久しぶりな気がする.逆にまだこんな熱中の仕方ができたんだとおもうとむしろ安心した(?)

メイプル

2018年になってメイプルストーリー熱が復活. 中学生とかではわからなかった楽しさみたいなものを感じている気がする.もっと効率よくいろんな楽しみ方ができるというか. 子供の頃は「楽しさ」がめちゃくちゃシンプルというか,やっぱり「子供染みていた」…

ゲリラ

昼に目が覚めたら大雨だったので,家に引きこもった. 気付いたら9月になってしまった.夏休みとはいえ学会に行ったりロボコンを仕上げたり忙しくなりそう.第一週は集中講義もあるしな. リーマン多様体を少しやったら微分幾何をやったり解析力学を覗いたり…

一次微分形式

昨日に引き続き多様体論を重点的にやった.微分形式のあたりが少しわかった気がする. あしたはフィッシャー情報行列とかのあたりをやりたい. 昨日から研究室にひとが少なくて静かな感じがする.とはいえもともとうるさいわけでもないし,気分の問題か.あ…

iPad

iPadをもう少し使おうということで,積極的にiPadでメモをとってみる. 多様体論のまとめを書いているけど,やっぱ一度書き出したほうがまとまって良い. ひとが少なくて静かな日だった

あらまし

ポスターとは別に送る概要みたいなののテンプレを見たけど,A4一枚に日英で「あらまし」を書くだけっぽい.これ自体はだらだらやっても今週中に終わりそう. てか「あらまし」って言葉,ieiceの信学技報くらいしか見かけない気がする.味があっていいとおも…

ラーメン

月曜から麺道場.月曜だからこそかもしれない にしてもやはり麺道場のラーメンはヘヴィだなぁ,きょうはさっさと眠れるだろうな.というかさっさと横になりたい. きょうは四元数まわりについて考えてたら朝だったので寝坊してしまった.これは素直に反省. …

1日だけ休日

二度寝したらかなり眠れたので気分が良かった. 友人がメイプルストーリーをやっていたので俺も少し触ろうかな. あと,ブログのデザインを変えた.眺めていてコーディングしたくなる気分にさせる素晴らしいデザインだとおもう(?)

試走会

ロボコンの試走会おわり.誰もミニゲームまで進んでなくてウケる.笑っている場合ではないが. kくんは始まるまですごい気に病んでいたっぽいけど,自分たちの進捗が別に最悪ではないという事実を確認したからか帰りは元気になった. まぁそんなもんだろうな…

申し込み

とりあえず申し込み自体は間に合った. 期間的に査読とかないだろうから,これは内容とかに明らかな不整合がなければ通るんだろうか. あと,一人で行くんだろうか?できれば先輩についてきてもらえると助かるけど..そこらへんも教員と相談しなきゃ. しかし…

ポスター

教員と相談してたらノリでポスター発表応募してみることに. ほんとは他の学会でB4のうちに登壇することになってたんだけど某のせいで忙しかったし,そのかわりって感じ.あと結構大きめの研究会っぽそうなので,聴講しにいくのが楽しみだからってのがある.…

睡眠をやった

2時に寝たのに14時に起きてしまったので反省. 代わりに日付変わるくらいまでは研究室でやりたいことやる. 人がいない研究室は集中しやすいのでおすすめしたい. あしたは朝からミーティングあるのでさすがに起きるぞ.ていうかきょう寝てたの本当に謎すぎ…

自由度

午前中に数理統計学の進捗がほんのちょっとだけあった. 自由度がすこしわかった.あとt分布とか二項分布の正規近似とか. あしたは完全にサボり続けていた課題が予想外に手強いので,それを消化しつつ通常作業をやりたい.きょうは集中講義とかで人数が少な…