ウッドブリ・コリン

自己紹介

フルスタック開発者・2012年からオープンソースで活躍中・ Aura の作者

ウッドブリ・コリンと申します。カナダ生まれで、以前数年間九州に住んだ事があります。 当時は教師として務めており、今はその経験を活かしてカンファレンスで日本語でも英語 でも発表をしています。主な趣味としてはよくクライミングをやっています。経歴及び 学歴などはこれ以降に述べております。ご覧下さい。

能力

プログラミング言語

  • システム系: Rust, Go, C
  • 関数系: Haskell, Common Lisp, Clojure, Scala
  • スクリプト系: Emacs Lisp, Python
  • Web系: HTML, CSS, Web Assembly

ウェブ技術

  • Terraform
  • GraphQL
  • Amazon Web Services, Digital Ocean
  • Elastic Search, Kibana
  • Docker
  • Let's Encrypt

その他の技術や分野

  • Linux
  • Git, Github, Gitlab
  • SQL (SQLite, MySQL, MariaDB, Postgres)
  • Apache Spark
  • Emacs
  • LaTeX
  • Geographic Information Systems

経歴

ソフトウェア開発

CADDi - 開発(Rust)

2022年9月・・・現在

受託開発 (Rust, Go)

2020年5月・・・2022年7月

様々な分野や技術でソフト開発業務委託。

Kadena - ブロックチェーン開発 (Haskell)

2018年8月・・・2020年5月

Kadenaの公式ブロックチェーン (Chainweb)の中心開発者の一人。

開発
  • Chainwebや Pact プロジェクトでバックエンドHaskell開発
  • Chainwebの採掘難度アルゴリズムを考案し実装
  • Chainwebの採掘クライアント chainweb-miner を実装
  • ncursesを用いて ウォレットアプリ を実装
システム管理
  • Kadenaのサーバーの主な管理者として務めた
  • サーバーやノードをAWSとTerraformとNixOSで管理
ドキュメンテーションやユーザー支援

Azavea - オープンソースGIS開発 (Scala)

2016年5月・・・2017年12月

GeoTrellis のオープンソース開発者の一人。 VectorPipe の作者。

開発
  • 地理情報システム(GIS)アルゴリズムを研究、考案、実装
  • Apache Sparkを使用し、結合テストを実行
  • MapboxのVectorTile のコーデックを HaskellScala で実装
システム管理
  • DockerとTerraformを利用し、AWSでのサーバーを管理
ドキュメンテーションやユーザー支援

Adenda Media - 開発 (Scala)

2014年5月・・・2016年4月

Scala開発者。

開発
  • Playに基づいたバックエンドを保守
  • Twitter Bootstrapのウェブアプリを実装
  • Apache Sparkを通して推薦システムを開発
システム管理
  • Digital Oceanにてサーバーを管理
ドキュメンテーション
  • LaTeXを使用してサーバーのシステムを説明

英語教育

2010年8月・・・2013年7月

佐世保市教育委員会の英語準教師(ALT)。

  • 千人以上の小中学生に英語を教授
  • 授業計画を作り、同僚を支援、テストや宿題を訂正
  • 中学の英会話部を担当
  • 市スピーチコンテストに参加する生徒を指導

学歴

サイモンフレーザー大学・学士号

2013年9月・・・2016年4月

卒業者向けの促進学士号。

  • Computing Scienceを専門
  • 2014年・2015年:CSSS(Computing Science学部生徒会)の副会長
  • 2015年・2016年:CSSSの会長
  • CSSSの公式サイト の実装を担当
  • コーラス部の部長を二年間務めた
  • 二年間連続で優等生名簿に挙げられた

佐賀大学・SPACEプログラム短期留学

2008年9月・・・2009年8月

一年間の短期留学。

  • 茶道部部員
  • 学期末のスピーチコンテスト優勝

マニトバ大学・学士号

2006年9月・・・2010年4月

四年間の学士号。

  • アジア史と言語を専門
  • Computer Scienceを副専門
  • 優等生名簿に挙げられた

オープンソース

プロジェクト役割言語概要
2024filepaths作者Common Lisp現代的な filepath 機能
sly-overlay作者Emacs LispCommon Lispの実行結果の overlays
2023transducers作者Emacs Lisp快適かつ効率のよいデータ処理
faur作者ClojureAURのデータミラー
Falldown作者Fennel昔のTI-83の流行りゲーム、復活
Snake作者Fennel簡単な蛇ゲーム
nonempty-collections作者Rust値が必ずあるデータ構造
transducers作者Fennel快適かつ効率のよいデータ処理
transducers作者Common Lisp快適かつ効率のよいデータ処理
2022faur-supervisor作者Elixirfaurサーバーの自動管理
faur作者RustAURのデータミラー
2021Love Letter Tracker作者Rust/WASMLove Letter の援助ツール
validated作者RustResultEither の蓄積する兄弟
streak作者Emacs Lisp記録を図る minor-mode
2020linya作者Rustターミナルでのプロセス進行バー
totp作者GoTime-based One-Time Passwordのライブラリ
totp-lite作者RustTime-based One-Time Passwordのライブラリ
credit作者Rustプロジェクト活躍を測るツール
cargo-aur作者RustArch LinuxでRustのプロジェクトをリリースするツール
versions作者Rustバージョン数字のパーサ
kanji作者Rust日本漢字の分析
active作者GoGithub CI Actionsを更新するツール
skylighting-lucid作者Haskellskylighting とLucidの統合
org-mode作者HaskellEmacs Org Modeパーサ
chainweb-data中心開発者HaskellChainweb情報を一括処理するツール
2019Chainweb中心開発者HaskellProof-of-Workのブロックチェーン
bag-of-holding作者HaskellChainwebのウォレット
bounded-queue作者Haskellキューのライブラリ
chainweb-miner作者HaskellChainwebの採掘クライアント
streaming-events作者HaskellEventStreamをクライアント側で処理するライブラリ
2018MapAlgebra作者HaskellMap Algebra ライブラリ
fosskers.ca作者Purescript自分のサイト
streaming-pcap作者Haskelllibpcapのパケットををストリーム
servant-xml作者HaskellXMLとServantの統合
2017VectorPipe作者ScalaGeoTrellisを通してVectorTile処理
draenor作者HaskellOSM PBFをORCファイルに変換
streaming-osm作者HaskellOpenStreetMap情報をストリーム
scalaz-and-cats作者ScalaScalazとCatsのベンチマーク
scala-benchmarks作者ScalaScalaのベンチマーク
2016GeoTrellis中心開発者Scala地理情報の一括処理
pipes-random作者Haskellランダムの数字などをストリーム
vectortiles作者HaskellMapboxが定義するGIS Vector Tilesの処理
2015MyShroom中心開発者Scalaキノコを画像から認識する人工知能システム
microlens-aeson作者HaskellLensとAesonの統合
opengl-linalg作者COpenGLで線形代数
Tetris作者COpenGLを通して3次元テトリス
versions作者Haskellバージョン数字のパーサ
2014elm-touch作者ElmElm言語のタッチ・ライブラリ
2048 Game作者Elm2048ゲーム (ブラウザーで遊ぶ)
2013Hisp作者Haskell簡単なLisp
2012Aura作者HaskellArch Linuxのパッケージ管理ツール
kanji作者Haskell日本漢字の分析
2011Sudoku作者Python数独を解くツール
tgrep作者PythonRedditのログファイルを検索するツール

資格・免許

証明
Goethe-Zertifikat ドイツ語能力試験B12015
漢字検定準二級2013
日本語能力試験 (JLPT)N12012

発表

テーマ日付会場場所言語
Fortran and Doom Emacs2022年2月DoomConfオンライン英語
Terminal Progress Bars in Rust2021年2月Vancouver Rust Meetupバンクーバー英語
Haskell in Production2019年6月LambdaConfボルダー英語
コードの美と正当性2019年5月Polyglot Unconferenceバンクーバー英語
Pactの基礎2018年11月NODE東京東京日本語
Chainweb入門2018年11月Neutrino Meetup東京日本語
How not to Write Slow Scala2018年6月LambdaConfボルダー英語
Tips on Scala Performance2018年5月Polyglot Unconferenceバンクーバー英語
Extensible Effects2016年4月Vancouver Haskell Meetupバンクーバー英語
Applicative Functors2014年4月Vancouver Haskell Meetupバンクーバー英語
日本の教育2012年2月アルカス佐世保佐世保日本語

趣味

クライミング

主にリードを好みますが、トップロープもボルダリングも、外でも室内でもします。

大会出場

競技大会会場
2020トップロープThe FlashCliffhanger
2018ボルダリングBC州州大会North Van Hive

言語学習

日本語専門ですが、ドイツ語、イタリア語、エスペラント語も学習した事があります。

音楽演奏

団体時期役割
東京Embassyコーラス2022年冬・・・現在
VVGO: Skyword Sword2022年夏ベース
SFU大学コーラス2019年秋
SFU大学コーラス2013年秋・・・2016年春声・部長
早岐地区PTAコーラス2010年・・・2013年
Westwood高校ジャズ2002年秋・・・2006年春サックス

演奏