日記

自己紹介更新

http://www.kino3.jp/profile.html を久々に更新しました。神奈川に行ったことをまだ書いてなかったので。 ドクターに進学したので、ほんとは研究者としてのプロフィールページを日英両方つくらんとあかんのですが、それは学振の申請が一段落してからにしま…

東京に引っ越しました

エイプリルフールにならないように2日以降に書こうと思ってたのですが、もう6日になってしまいました。ご無沙汰しています、キノシタです。タイトルにもありますように、東京に引っ越しました。いまはぼくひとり、月島に住んでる兄の家に居候しています。…

ぼくだけのPPL2014

日本ソフトウェア科学会の「第16回プログラミングおよびプログラミング言語ワークショップ」(PPL2014)に参加してきました。初学会で右も左もよくわからない状態だったのですが、なんとか自分のポスター発表も終え、いろいろな人の発表を聞いてきました。自分…

2014年の目標

今年は実家で年越しして、午前中に道明寺天満宮で初詣してきました、あけましておめでとうございます。いまから妻の実家に向かいます。さて、今年の目標は、何事も丁寧に、ゆっくりと、すぐに答えを求めず、わかったような気になって流すことなく、めんどく…

畑の話

妻が更新していた畑ブログを最近毎日更新していますので、よかったらどうぞ。というか、ここをサボっているのはそっちを毎日書いているせいでもあります。3日前に娘がうまれました。自分のこどもは無条件にかわいい、というのがいままでよく理解できていませ…

あれ、

いつのまにか1週間何も書かないで経過していた。きのうは人生ではじめて高野山に行ってきた。涼しいというほどではなかったが、そんなに暑くなかった。選挙も終わって、蝉が鳴いて、また夏になる。

研究所つくった

研究のことをまとめて書く場所をつくりたかったので、 http://d.hatena.ne.jp/kiiiino3+lab/ を開設してみました。こちらもよろしくどうぞ。 型理論とか圏論とかプログラミング理論の話は(書けるような腕前になったら)そっちに書きます。

ネット選挙はじまる

はじめてのネット利用選挙が開始されたが、いまのところ特に何もない。twitterやfacebookを見ている限りでも、普段と特に変わったところはない。ネット選挙というのは基本的には「既に選挙にちょっと興味がある人」向けのもので、本当に選挙なんか知るかとい…

粉砕した電子辞書の日々

英語を調べる辞書はどうするのがベストなのかと今更ながら考えている。というのも、これを書いている研究室貸与パソコンに元から「キングソフト辞書」というのが入ってたのでそのまま使ってたのだが、どうやらサービス自体が終了していて今後はアップデート…

TOEIC900への道

http://toeic900.jpn.org/ というようなブログを読んでたのだが、自分は確かに「やらなくてもいい理由」を探すのに長けているタイプだなと思った。それでもそこそこ人生何とかなっているのは、やっている時の効率が比較的よいからなのだろうか。TOEIC、こな…

雨が降らない

空梅雨、と言うか、梅雨入りしてからほとんど雨が降っておらず、むしろ「まだ梅雨入りしていない」という方が正確な気がする。実際確か北陸や東北はまだ梅雨入りしていないのではないか。気象庁のデータを見る限り、奈良県北部の降水量は6月に入って0.0mm(…

徳島行ってきた

はやめに出そうと思ってたが、1週間経過してしまった。 先週6/1,2で徳島に行ってきた。目的は、将来的な移住も含めた視察?と言うとかなり大げさなのだが、最近徳島でアツい「サテライトオフィス構想」がどんなものなのかを知るための旅行だった。具体的には…

猿も出るそうな

学校から、先週の金曜日(2013/05/31)にサルが出たというメールが来た。一部引用。 先週金曜日の朝に、大学構内でかなり大きな猿が目撃されたようです。 その猿はグリーンラボ方面から宿舎に下る坂道を降りて来て、宿舎内の 公園を横切り、大学の校舎の方へ…

学生ひとりあたりの××

日曜日は畑仕事。 月曜日は学校。 火曜日は学校。 今日も基本的には学校。定期健診的に歯医者にも行った。大学ではほとんど授業に出ていない。基本的には単位が揃っているので今年は研究、ということなのだが、学費を払っているのに授業に出ていないというの…

はじめての昼バスの記録

火曜日にそのAIMから奈良に戻る際、はじめて昼行バスというのを使ってみた。ちゅうこうばす、と発音するのが正しそうだが、残念ながらMS-IMEには登録されていなかったし、普段の会話でも使わない。昼のバス、とか、昼バス、ぐらいか。http://www.kakuyasubus…

いつのまにか夏

先週の火曜日から今週の月曜日まで、Agda Implementor's Meeting(通称AIM、エイム)というのに参加してきた。国際ワークショップ、とでも言うのだろうか参加者は海外からも来ていて、やりとりは英語オンリー。途中から慣れてはきたけど疲れた。自分の英語力…

また明日から頑張ろう

と、さっき荒川静香がテレビで言っていた。ここのところの記録。ブログを休んでいたのは特に明確に思うところがあったわけではなく、なんとなく、である。最近はてなダイアリープラスというのに加入して、アクセス解析ができるようになったので、まったく記…

グリーンラボ

週末は生駒市で借りている高山の畑での植え付け作業と、学校で新しく借りはじめたグリーンラボの開墾に追われた。グリーンラボについて検索してみると前の学長・磯貝先生の記事が出てきたが、学校が無料で貸してくれる畑である。スイカ植えたらだめ・農薬ダ…

ひっそりと更新

ものすごくひっそりと自分のサイトを更新して2週間ほど経過した。 http://www.kino3.jp/ 別になんてことはないのだが、Webfontもようやく使えるようになってきたなあ、というのが印象。たまにはこうやってHTMLとかCSSとかベタで書いておかないと、体がなまっ…

matsuo de bbq

なんかBBQしようぜという話になり、花見がてら松尾へ。松尾というのは阪急嵐山線の松尾駅のことで、桂から2駅、終点の嵐山の手前。花は半分ぐらい葉桜であったがちゃんと残っていた。大学のサークル*1がどんちゃんやっていた。今年は家から新祝園の駅前まで…

きたまちと言い出したのは誰なのだろう

奈良市内に用事があって出ていたので、帰りにきたまちのkoharu cafeへ。少なくともぼくが高校の頃はこの大宮通北側・奈良女子大学近辺のことを「きたまち」とは呼んでいなかったと思うのだが、どういう経緯なのだろう。wikipediaに載ってそうだが調べてない…

大した英語は話せない

今年の2月から10年ぶりぐらいにNHKのラジオ英語講座を聴いている。なんだかんだ言って語学は、できるふりをしていても練習しなければ永遠に話せない。で、2月3月は懐かしい遠山顕先生の英会話を聴いていたのだが、今月から「英会話タイムトライアル」に…

完結する街

土曜日は宝塚で宙組。日曜日は家のそうじやら片付け、片付け用具の調達にコーナンへ。机やらなんやら片付くと新鮮な気持ちになる。土曜日は堂島のジュンク堂に久々に行ってきた。なんか買いたい本もあったのだが、図書館でリクエストしたら買わんでええやん…

強そうな奴は大体友達ではない

友人と梅田のHubで飲んだ。Hubは少なくとも関西に戻ってきてからは初で、昔友人に連れられて東京某所界隈でよく飲んだのを思い出した。なんでかしらんがHubには外人が多い。でもこれはちょっと考えてみると、彼らにとってのHubというのはきっとぼくらが海外…

新学期

きのう飛鳥に行ったあと、妻の実家の神戸へ。んでもって今朝はそこからポートアイランドのIKEAに寄って買い物、これが終わったのが10:40ぐらい。そこからたまには下道で帰ろうと思いガガガSPよろしく国道2号線をのろのろ進んでいたら、大阪市内に入るのに1時…

傍聴・第3回奈良県営競輪あり方検討委員会

http://www.pref.nara.jp/item/97107.htm#moduleid17510 本日行われた「第3回奈良県営競輪あり方検討委員会」を傍聴してきた。そもそも委員会の傍聴というものが初めてだったので、右も左もわからない状態ではあったのだが、多くは県議会の議員さんが傍聴さ…

引っ越しの季節

学校は先週金曜日が修了式で、どんどん人が引っ越しで減っている。おそらく学生の8割ぐらいは博士前期課程(修士)つまりM1かM2で、M2は8割以上いなくなってしまうので、8割の半分の8割つまり32%ぐらいいなくなる。学生の9割が修士とすると、9割の半分の9…

園芸おじさん

妻の友人が遊びに来てくれて、畑づくりを手伝ってくれた。んで、じゃがいも植えた。去年はスタートが5月だったことを思うと、今年はいろいろと先手先手でやりたい。あと、寮の下の雑草はえてましたスペースを地味に開墾している。こちらは土壌がどんなもん…

金曜日からの記録

金土日と東京。 金曜日は18きっぷで木津駅から新宿までずっとJR。途中浜松でギョーザなど。18きっぷ、木津まで誰かに送ってもらえればかなり楽。久々に関西本線の加茂→亀山を乗った。夕方は東急東横線渋谷駅にちょこっと入場。みんなが写メールを撮影し…

郵便局は新札両替をしてくれない、という原則

今日、近所の高山郵便局で「1万円札を新札に両替できませんか?」と聞いたら、できません、と言われた。残念。過去、できた郵便局もあったし、ヤホー知恵なんたらとか見たら「わたしは10年郵便局にお願いしてますよ、結婚式のときは!」という記事もあった…