Checking Ruby Programs without Types / Introduction to Safecast

アジェンダ

19:00 〜 19:30 会場

飲み物を片手にRubyist同士の交流を深めて下さい。

19:30 〜 19:55 Checking Ruby Programs without Types Soutaro Matsumoto

プログラマになじみの深いプログラム検査の技術と言えば型によるものですが、残念ながら2016年現在のRubyには型がありません。2020年のRuby3を待てない私たちのために開発されたQuerlyという検査ツールを紹介します。Querlyはユーザーが記述したルールに対して構文に基づいた検査を行い、APIの誤った使用について警告を表示します。このトークでは、Querlyの機能と使い方を紹介し、なぜそれが必要なのかを説明します。

Profile

Ruby、Swift、Objective-C、OCamlにCoqといった様々な言語でプログラミングをします。型システムやプログラム解析の話題に興味があり、現在はSideCIというコードレビュー支援サービスの開発に関わっています。QuerlyはSideCIのためのツールとして開発され、オープンソースで公開されています。

20:00 〜 20:25 Introduction to Safecast - 環境問題のためのオープンシティズン(市民)サイエンス Benjamin Dubois

Safecastは、環境問題のためのオープンシティズン(市民)サイエンスに取り組む国際的かつボランティアベースの組織です。2011年3月11日に東日本を襲った壊滅的な震災と津波により、福島第一原発のメルトダウンが起こったあと、正確で信頼の置ける放射線量の情報が公開された状態にはありませんでした。

このプレゼンでは、Safecastの試みを簡単に紹介し、Ruby on Railsで構築されたSafecastのアーキテクチャの現状やSafecast APIについて紹介します。

プロフィール

Benjaminは東京在住のプログラマーです。ローレベルのCプログラミングや現実世界と技術とをつなぐことに興味があります。現在は、APIゲームプレイ言語といった命令セットやBSDソケットベースのウェブサーバー、仮想アシスタント/ボットを持つゲームエンジンを開発しています。

20:30 〜 21:30 オープンネットワーク

参加者同士で当日のプレゼンやRubyに関することについてご歓談下さい。