やろーじだい

ブログです

Aizu SICP 合宿を行った

Aizu SICP 合宿と称して会津芦ノ牧にある丸峰というところに行った。最高だった。 旅館の記録 9/4~6 の 2 泊 3 日で、7月頃に予定を決めていた。ゆったり寛ぎプランとかそんな感じのプランで朝食 (バイキング) 夕食 (コースお膳?) が付いていて一人一泊 8 …

Aizu SICP 第 13, 14 回

先月末にやりました。練習問題タイムで楽しかった。 練習問題 2.11 “区間の両端点の符号をテストすると mul-interval は 9 パターン に場合分けできて、3 回以上のかけ算が必要になるのはその中のひとつだけだよ。” (Page 101). 参加者により掛ける区間 (区…

青森に行った

日記です。 期間と場所 8/23 - 8/26 の3泊4日青森に行った。弘前というところに滞在した。 目的 主な目的は 電気関係学会東北支部連合大会 の、 Student Session というものに参加することだった Student Session は学生による英語での発表の練習の場として…

OSX (10.11.6) で BSSID を指定して接続する

別な帯域だが同じ SSID で wifi が飛んでいるという場面に遭遇し、選択して接続する方法に困ったが解決したのでまとめておく。 まず BSSID を取得する Linux の iwconfig のようなものは MacOSX では airport が提供されている。場所は以下にあるので Path …

Aizu SICP 第12回

やりました。範囲は P99 練習問題 2.6 ~ P101 練習問題 2.10 です。ここから読書会参加者で scheme のテストを利用するようにしました。(gauche 利用者は gauche.test を、 racket 利用者は rackunit を利用しています。) 今後は利用したテストケース (ただ…

Aizu SICP 第10,11回

一回一回の読書会が短めだったため二つ分です。 第 10 回から 2 章に入りました。2 章は P231 までと長めですがここも面白そうな話題が多いです。 P84 2 章 データを用いた抽象化の構築 ~ P 99 練習問題 2.6 までやりました。 読書会について 読書会にあたっ…

継続を用いた割り込み処理の実装 (のための継続の学習)

やりたいこと sleep などで入力した値だけ処理を停止させておきながら、キーボードが入力された時にそれを見て、それによって停止を中断したりするような割り込みのような処理をしたい。継続使えそうじゃないかと思ったので gauche で実装を試みた。 読む人…

Aizu-SICP 第九回

やりました。今回の範囲は P76 1.3.4 ~ P81 1.3.4 終わりまでです。 1.3.4 返り値としての手続き ここまでの例では、手続きを引数として渡す能力が私たちのプログラミング言 語の表現力を大幅に拡張するということを見てきました。この表現力は、返り 値自身…

Aizu-SICP 第八回

やりました 1.3.3 汎用手法としての手続き 区間二分法によって方程式の根を求める 区間二分法についてはグラフを適当に書いてみるとわかりやすい。ここ のように、プログラミングを用いた方程式の解の導出の題材として多く使われるようだ。 search を直接使…

イギリスに行った

イギリスに行ってきた。エクスター (Exeter) という町でCYBCONFという学会があり、論文が無事受理されたので発表した。海外の学会に論文が受理されたのは初めて (提出は2回目) だったので家で小踊りした。以下箇条書きでの記録と写真など。普段あまり写真を…

Smalltalk で遊び初めたので MacOS における処理系の選択肢についてと数日触った所感

自由自在 Squeak プログラミング(PDF版) を読んでいます。2年前くらいにいつか Smalltalk 触ってみたいとつぶやいていましたが、最近 Smalltalk が好きな方 (id:phaendal) とお話しする機会があり,その時簡単に教えてもらったこともあり触ってみています。 …

不定期に行うイベントに関する反省点

はてなブログに投稿しました #はてなブログAizu SICP 第一回 - やろーじだいhttps://t.co/aiuOoSUqIm— yaho (@cl_yaho) 2015年12月11日 はてなブログに投稿しました #はてなブログAizu-SICP 第三回 - やろーじだいhttps://t.co/0YEl7DqKGt— yaho (@cl_yaho) …

Aizu-SICP 第七回

第七回をやりました。 今回の内容 P59 1.3 高階手続きによる抽象の定式化 ~ P65 1.3.2 lambda を使って手続きを構築する 終わりまで 今回は質疑を含めて読書会中に言及したものを含めて補足のように書いた。 1.3 高階手続きによる抽象の定式化 私達が普段ま…

Aizu-SICP 第六回

再開した。 今回の内容 1.2.6 例:素数判定 読んですぐにわからない内容が多かったので、紙とホワイトボードを駆使して理解を試みた。 まず素数判定として 1 から √n までの数で割っていく有名な手法についてだが、この時、1 ~ √n まででよいということをすぐ…

まとめること・書くことによって得たこと

以前ブログでまとめることについて書いた。今回はネットに公開する形ではなかったが、ある程度継続することができていたので現状についてとまとめたい。 長くなった上に対象はよくわからないので暇な方向けです。 近況 四ヶ月ほど前から、先月末が締切である…

「つくって学ぶプログラミング言語 - Ruby による Scheme 処理系の実装 」を途中まで読んだ

きちんと Lisp のインタプリタの実装したことがなかったのでここを参考にしながら 2 ヶ月程前に Common Lisp で 3 章 (再帰) まで実装していた。いつ再開するかわからないので今日の記事で宣言した通りとりあえずまとめておく。 自分のプログラムはここで公…

まとめるということについて

まとめるということについて 自分はこれまで興味を持って取り組んだことの状況が、終わったかそうでないかの2パターンに頭の中で振り分けてしまっていた。これでは本は読み終わらなければ、延々に興味の対象として胸の中に居続けることになるし、勉強につい…

Aizu SICP 第5回

2016/7/11 追記: 数式のサイズを見易いように修正 今日は参加できる人が少なめだったので練習問題 1.9 ~ 1.13 を解く時間にしてみたが、参加者全員で頭をひねって解く時間はなかなか良かったのでこの形式でまたやりたい。 今回の内容 注意: 以下では私達の練…

Aizu SICP 第四回

2016/6/11 に Aizu SICP 第四回を行った。途中の練習問題は一旦飛ばした。 タイムテーブル 19:10 ~ 19:30: 読書 p38「1.2.2 木の再帰」~ p42 練習問題1.11前まで 19:30 ~ 20:00: 質疑 20:05 ~ 20:20: 読書 p43「1.2.3 増加オーダー」 ~ p47 「1.2.4 指数計算…

Aizu-SICP 第三回

2016/5/22 に Aizu-SICP 第三回 (SICP読む会) を行った。時間が空いたこともあり、復習に時間を使わせて頂いた。 タイムテーブル 19:00 ~ 19:40: これまでの簡単な復習と練習問題の確認 19:40 ~ 19:55: 読書 p32~p36 「1.2 手続きとそれが生成するプロセス」…

Aizu-SIPC 第二回

2015/12/20 に Aizu-SICP 第二回 (SICP読む会) を行った。 更新したつもりが下書きにしたまま半年放置されていた。 タイムテーブル 19:00 ~ 19:15: 前回課題とした練習問題 1.2 ~ 1.5 の答え合わせ 19:15 ~ 19:45: 読書 P22~26 「1.1.7 ニュートン法による平…

Aizu SICP 第一回

昨日は第一回 Aizu-SICP (読む会) を行った。 10 人集った。 タイムテーブル 19:05 ~ 19:25: 読 P1~9 「1.1.3 組み合わせの評価」 前まで 19:25 ~ 19:40: 質疑 19:45 ~ 20:15: 読 P10~22 「1.1.7 ニュートン法による平方根」 前まで 20:20 ~ 20:55: 質疑 読…

Aizu SICP - Aizu Advent Calendar 2015

挨拶 Aizu advent calendar 一日目を担当します @cl_yaho です。 明日は @stringamp さんによる ストレスフリーな進捗生成のために - stringamp's blog です。 SICP 読む会 in Aizu 大学生の内に読破しておきたい本と言えば— yaho (@cl_yaho) November 26, 2…

留学 23-26 日目と会津向け告知

日常 23 日は大雨で大変だった。折り畳み傘だけではだめだった。 オンラインで Markdown を管理するために個人で esa.io を利用し始めた。(\( ⁰⊖⁰)/) チーム向けのものだがフォルダの管理などが便利そうだったので使ってみた。Blog の下書きやメモに使ってい…

留学 17-22 日目

日常 謎のテンションで Amazon で本を買いまくって読みまくっている。買う速度 >>>> 読む速度という状況なので反省したい。 自制心が無いので Kindle に踊らされている。こっちに来てから 2 万円ほど使った。反省したい。 別な大学からの文学部への日本人留…

留学 14,15,16 日目

日常 こちらに来てから二週間以上が過ぎた。残りは約三週間である。 留学は慣れた頃に終わるという話しをよく聞くが,寮は一人部屋・買い物には特に困らない・研究室に自由に出入りできるなど日本にいる時と大きな差が殆どないので,単純に初めての環境に来…

留学 11,12,13 日目とあの人の誕生日なので Lisp

日常生活 異様におなかが空く。太りそう。 研究室が時々学生の溜まり場になっている。元気な (声が大きい) 上,ポルトガル語なのでまったく何を言っているかわからないため日本語で ok という気分になってきた。 Summer School 一日目に参加した。Big Data …

留学 7,8,9,10 日目

日常生活 もう 10 日経った。 研究室への入出が普通の鍵で一本しかなく必要な時は警備の人に声をかけなければならない。会津大学は学生証がカードキーになっていて自由に開け閉めできるのでかなり面倒くさい。 ペドロという名前の人がとても多く日本でいう佐…

OSX 10.10 での最新版 YAP Prolog インストールから Aleph 動作確認まで

現在 brew の YAP は 6.2.2 が最新だが、Aleph がそのバージョンではうまく動作しなかったため、試しに 6.3.3 を導入したところ正しく動作したのでメモ。 YAP Prolog のインストール まず Readline が必要になるのでインストールする。 $ brew install readl…

留学 4,5,6 日目

日常生活 時差ボケと思われるものがきつい。こちらの時間でだいたい 19 時 (日本時間で 3 時) あたりから睡魔が襲ってきて活動困難になっていた (最近は落ちついた) 最初は時差ボケがそれとわからなかった こちらは今の時期は 20 時すぎまで明るい 部屋で靴…