Kazuki Tanaka(gogotanaka)


English follows Japanese :)

Gogotanaka


$ puts self
=> {
  born: "長野県",
  high_school: "長野県立須坂高校",
  university: "慶應数理科学",
  experiences: {
    '2013/8〜2014/4': '休学 & エンジニア@freee株式会社 Tokyo, Japan',
    '2014/7〜2015/10': 'リードエンジニア@venuespot inc.(500starups出身) Vancouver, Canada',
    '2015/12': '復学 & aisaac, inc 創業'
  },
  services: {
    いきなりデート: いきなりデートするアプリ,
    今日から恋人: 今日から恋人になるアプリ,
    チケジャム: 不要なチケット売買できるアプリ,
    SIZLY [シズリー]: 三日坊主ならお金没収!強制習慣アプリ🚀(2020/12/20現在はこれ),
  },
  graduate_paper: 'でかい(1万とか)行列の固有値計算をいい感じにする研究でした'
  accomplishments: [
    '次世代型論理型プログラミング言語 Hilbertを作りました',
    'Ruby言語のコミッター・メンテをしていました(主にMathモジュール)',
  ],
}
          

趣味


$ 音楽: ドラムとベースとウクレレを叩く弾く.

        好んで聞くのは
        The beatles, King Crimson, Black Sabbath, The police, Duran duran,
        cardigans, Kraftwerk, Dream Theater, Queensryche, Led Zeppelin, Devo
        Metalica, Foster The People, Nirvana, The cars, Rush, James Hendrix
        Pentatonix, charvers, The band, Walk Off The Earth

        石野卓球, 平沢進, 東京事変, 椎名林檎, Zazen boyz, 80kidz,
        T-SQUARE, カシオペア, TRIX, Mezzoforte, Number girl, スーパーカー,
        くるり, 真心ブラザーズ, 森高千里、忌野清志郎、ブラックビスケッツ、パフィー,
        井上陽水, 戸川純, 米米クラブ, 広瀬香美, Princess Princess, Number girl,
        水曜日のカンパネラ, P-MODEL, パスピエ, trico, TM Network, モールル

        あたり.
          

主なOSS成果物


$ 1. 次世代型論理型プログラミング言語 プログラミング言語Hilbert

$ 2. Ruby上で代数的な微分積分を実現するGem  Dydx

$ 3. Rubyに漸進的型付けを導入するGem Rubype

$ 4. 日本株の情報をスマートに取得するGem SorryYahooFinance

$ 5. Haskellの麻布地域コミュニティ Azabu.hs を作りました.

$ 6. RubyのMatrixクラスに パッチを30個ほど.

$ 7. 全プログラミング言語で複素数を出力したい Primes

$ 8. Ruby(主にrails,sinatra)でwebアプリは述べ30個は作ってます. 個人で作ったものだと月間9000万PVあります.
          

Gogo tanaka


$ About: ['21 years old', 'Keio Univ(mathematics)']

$ Specialties(Math): ['Probability', 'Measure Theory', 'Abstract Algebra', 'Topology']

$ Specialties(Tech): [
    'Hilbert(Author)', 'Ruby(Maintainer)', 'Rails', 'js', 'CoffeeScript', 'AngularJS(Contributor)', 'Backbone.js', 'Haskell', 'Yesod', 'Scala', 'R',
  ]

$ Hobby: ['Listing', 'Eating', 'Drinking', 'Playing', 'Watching', 'Thinking']

$ The recent situation: Took leave of absence from university and jump in Vancouver.
          

My Works


$ 0. I am one of 50 committers who are able to modify the source code of Ruby. And I have worked on improving performance of math functions.

$ 1. Hilbert is the logic oriented program language designed and implemented by me.

$ 2. Ruby with Differential Algebra Dydx

$ 3. Ruby with Type Rubype

$ 4. Azabu.hs is Haskell groub in Japan.