lispの瘴気

@AntiBayes

速報：つぼさか大先生がLispセッションに飛び込んだ

@AntiBayes

つぼさか大先生 × Lispのやばさ　

@AntiBayes

つぼさか大先生が横にいらっしゃるだけで冷や汗でるくらい、全てについてdisりまくっていらっしゃってｺﾜｲ…

@AntiBayes

施策：「テキストマイニング教育、一筋縄ではいかない。担当者も変わっていくので、ツールのオペレーションやテキストマイニングとはなにか、問い合わせできる体制をつくり、マニュアル化し、共有フォルダでどんどん知見を貯めていく必要がある。データとツールがあれば出来るものではない」

@AntiBayes

複雑な分析を見せびらかすと、大抵の人は嫌がる。単語頻度、係り受け頻度、言葉ネットワークなどという簡単な統計指標を用いて「こんなことやあんな事が出来ますよ」と紹介するのが重要。テクニカルな分析をテキストマイニングそもそも知らない人にいきなり見せないようにしましょう

@AntiBayes

Lispセッション参加。京大湯浅御大の「京大におけるLispを使ったプログラミング教育」を拝聴！！！！

@AntiBayes

湯浅先生渋い、かっこいい、Lisperなのに正気の人っぽい（っぽいです）

@AntiBayes

「教育用にPascalなんて時代もありましたね。もう誰も使ってませんが（笑」

@AntiBayes

「関西人ならSICP＝シクピーと読め。学部一年の後期から全学生にシクピー読ませる」やばい、スパルタや…

@AntiBayes

「毎週SICPの練習問題についてレポート書かせる。それはまだぬるくて、２年になればよりハードな演習問題＋レポート＋期末試験という状況に落としこむ。しかもこれは必修。なので、京大情報系はScｈeme出来ないと卒業すら出来ない」ヤバい、これはやばい

@AntiBayes

「SICP、訳本の訳ところどころ間違ってるので、日本語訳読んでるやつは練習問題解けないことがままある→単位でない→必修→卒業できない。学部一年から英語のSICP読む必要がある」ナニコレ死ぬ…

@AntiBayes

お詫び：先程私は皆様に「湯浅先生まともな人っぽい」とつぶやきましたが、物事の表面しか見ておりませんでした。完全にアウトです、ありがとうございました

@AntiBayes

正気のLisperなんておらんかったんや！

@AntiBayes

「再帰で全文字列を生成し、そこからcar, cdrで会話してる」 何言ってるかわからねーとおもうが（略

@AntiBayes

最終的にLispでロボット動かす→動かない→単位でない→必修→卒業不可→死　「卒業した京大生はLispでロボット動かせます」 やばい、さっきからやばいしか出てこない、やばい、Lisper正気じゃない

@AntiBayes

「ロボット、メモリが64KBしかない。Cだとショートコーディングすんのめんどいので、そう、やっぱりここで使うのは(XS) Lispだよね」 やっぱりとは一体

@AntiBayes

京大生各位に対しては畏敬の眼差しで眺めざるを得ない

@AntiBayes

「さっきLispでロボット動かせといったが、Lispを深く理解するためにCのコードと比較しなければならない。ので、（全く講義では教えてないけど、）Cでコーディングして動くことも確かめよ」LisperマジLisper

@AntiBayes

ロボット課題詳細「ロボットがラインに従ってゴールまで到着し、なおかつスタート地点まで『効率的に』帰還するようなLispコードを書け（ついでにCでも）」ロボットはセンサーついてるから、ラインに従って動くのは割と出来そう。しかし最短経路を求めるには自力でアルゴリズム実装する必要が

@AntiBayes

京大、卒業出来る気が全くしない

@AntiBayes

「scheme、自力でインストールする必要あり→学部一年生、make出来ない子が多数→一回目二回目の課題提出率低い→でも三回目くらいから皆make覚えてschemeでﾊﾞﾘﾊﾞﾘ課題こなすようになるよ、やればできるよ！」

@AntiBayes

Lisper名乗ってて東京住んでて今日の数理システムLispコンファレンス来ない人、信心が足りないか正気かどっちかや

@AntiBayes

テキスト、目次からしてヤバい「超言語による抽象化　metacicularな評価器　遅延評価　非決定的計算　論理プログラミング」

@AntiBayes

先程のカラフルな図が沢山あるテキストマイニングセッションと違い、スライドに括弧が多くて癒される

@AntiBayes

「JAKLD：Javaで書いたLisp処理系」今ではClojureで良いのでは…。そしてJAKLDも末尾再帰最適化無し。Clojureだとrecur loopで最適化できるけど、果たしてJAKLDはどうなのだろう（知らない