2週間近く経ってしまいましたが． 3/11〜13 の 3 日間の合宿を開催しました． 北は北海道から南は沖縄まで各地から足を運んでいただき本当にありがとうございました． Day1 会津大の 3 時間セット． @cos65535 さんと @lyoz さんと組ませていただきました． …

Gnome shell のアカウントの追加とかでよく見るつながってるボタンってどうやって作るんだろうと思って調べた． ButtonBox の style class として linked を設定するとできるらしい． glade だと，共通タブに Style Classes という項目がある． あと，Gnome …

関数型言語始めようかと思って本屋行ってパーフェクトPython衝動買いした．— Tsushimaさん (@utisam) 2013年3月15日 な… 何を言ってるのか わからねーと思うが（ｒｙ 基本的な文法紹介するだけとかWebアプリに偏ってたりしてなくておもしろそうと思ったので…

大学の研究室でデスクトップPC割り当ててもらったので早速Linuxをインストールすることに． 要望としては： gnome3系(gnome-shell, Unity, Cinnamon)が簡単に入る 長く使いたい(半年とかですぐインストールするの面倒) python2.7がメイン python3.3がパッケ…