Googleで遊ぶ
そうとうどうでも良い話ですが。
いろいろ試してみる。検索して「Work at Google」が出るか出ないかで、Googleが興味を持っている方向がわかったりしたら面白いかなーと。右の広告に「Work at Google」って出れば○、出なかったら×。
type inference -- ○
lambda calculus -- ○
あら、もしかして型理論とかに興味をお持ち?
polymorphic variant -- ×
structural polymorphism -- ×
parametric polymorphism -- ×
adhoc polymorphism -- ×
違うか。
Hindley Milner -- ×
benjamin pierce -- ×
人名もだめっぽい。
プログラム解析とかかな?
data flow analysis -- ×
control flow analysis -- ×
abstract interpretation -- ○
program analysis -- ○
ん・・・?、、、でも、知ってる単語がそもそも少ないからなあ…
pointer analysis -- ○
こんな言い方するんかすら知らないけど。
言語系は?
automaton -- ×
context free grammar -- ×
こっちも知ってる単語が少ないので、試せない。
飽きてきたのでおしまい。
もしかして、最近Googleさんはプログラム解析とかに興味があるんかしらん。自然言語処理とかしか興味がないのかと思ってたけど。
でも、落ち着いて考えたら、メジャーな単語に網をはってるだけのような気がしてきました。