JVMLSに来ています。3日目。
JVM Language Summit — July 29–31, 2019
2日目まではこちら。
JVM Language Summit 2019(JVMLS) day 1 - きしだのHatena
JVM Language Summit 2019(JVMLS) day 2 - きしだのHatena
今日は3つのセッションとLTです。 終わったあとはみんなでコンピュータ歴史博物館に行きました。
Annotation for Java
寝坊して遅刻・・・
最初はNonNull/Nullableをアノテーションを使って型システムに組み込む話。
Map.getはNullableだけど、コード上NonNullになるときもあるよね、とか。
動画は今の時点(西海岸時間 3:28 日本時間19:28)ではアップされていませんね。
Fast type checking for Ruby
Sorbetというtype checkerを使ってRubyに型検査を導入する話
Sorbet · A static type checker for Ruby
Gradual typing for Ruby at Scale with Sorbet - Dmitry Petrashko
LT
ここで3つLT
最初は"It's time to remove checked exceptions!"っていう、ネタ的な話。LTらしさある。
2番目はAzulのGilさんによる、Javaにチェックポイントを入れる話。
動作中のJVM上の状態を保存して他のマシンで再開できるようにする、みたいな話でした。
3番目はEclipseの人の、Javaエディタをどう実装してるかという話。
Differentiable Programming
機械学習でコーディングをもっと改善する、という話。
FacebookのDeveloper InfrastructureチームのErik Meijerさんの話です。Wikipediaあるのね。
Erik Meijer (computer scientist) - Wikipedia
Aromaというツールを作っています。
Aroma: Using ML for code recommendation
資料がほぼ全部イラスト入りの手書きでめちゃくちゃかわいい。
一番最初、ちょっと政治的な話から始まりましたが、YouTubeではそのあとから収録されてますね。
話し方もめちゃくちゃおもしろくて、何の話をしてるかその場では全然わからなかったのだけどなんか面白い、という感じでした。
昨日のjWarmupの人は話の内容は面白いはずなのにずっと手元をみていて話し方が面白くなかったので、なんも面白くなかったというのと対照的。
というか、何の話をしてたかわかった上でYouTube見返すと、めちゃくちゃ面白いな、これ。
内容のほとんどは、二重数を導入して自動微分するという話でした。
eは二乗すると-1になる数ですが、二乗すると0になるεを導入してa+bεという数を定義すると自動微分ができるっぽい。
二重数で自動微分する - Qiita
Scalaで二重数を定義して、各演算も定義すると、こう。
で、なんかニューラルネットワークのコードがすっきり実行効率よく書けるようになるのだけど、最後にJVMに線形代数ライブラリを導入してくれ〜そしたらPython使わなくていいんだ、という話で終わりました。
Differentiable Programming with Erik Meijer
Lunch
ということで、 @ajis_ka による終わったのポーズでJVMLS終了です。
ランチも出てましたが、Mountain ViewのComputer History Museumに行くのでそのあたりで食べるということに。
行こうとしてた店はいっぱいだったので、隣の韓国料理屋さんで石焼ビビンバ。
Computer History Museum
ということで、Computer History Museum
Crayとかあってテンションあがる
MSXもあった！
データベースの記号がなんであんな形なのかわかるハードディスク
説明をみてる @jyukutyo
あと、IBM 1401の実際に動くデモがあったので見ます。
デモの流れはこのツイートにぶらさげてるので、こちらを。
電算室！！！こんな最新コンピューターがあるところで働きたいですね！ pic.twitter.com/hRQsVIHiJD
— きしだൠ(K8S(Kishidades)) (@kis) 2019年7月31日
まんなかに鎮座するのがProcessor Unit。つまりCPU。
メモリはコアメモリといって、磁石で記憶するやつ。6$/bitらしい。1401には4KBのメモリが載ってるらしいので、2000万円くらいですね。
これがそのコアです。手は @skrb
楽しかった。
Dinner
晩ごはんを食べに、Mountain Viewのダウンタウンまで30分ほど歩きます。
途中、Googleのオフィスがあったりする。
そして、まずはスイーツ。
となると、スイーツを撮る @skrb を撮るのは重要
そのあと、自家醸造してる Tied House Cafe & Breweryに
ビールを！Alpine Goldおいしい。
ハンバーガー、1/3サイズというのを頼んだら、マクドナルドの倍くらいの出てきました。1/1サイズどんだけ・・・
1/2ポンド400gが標準らしくその1/3なので75gくらい。 @megascus 情報でマクドナルドが45gなので、やはり大きい。
8/2 追記 @skrb 情報で、1/3ポンドということなので150gっぽい。
ということで、JVMLS最終日終了。おつかれさまでした！
