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さんはプログラム解析とかに興味があるんかしらん。自然言語処理とかしか興味がないのかと思ってたけど。

でも、落ち着いて考えたら、メジャーな単語に網をはってるだけのような気がしてきました。