甘口日記

基本的に甘口です

【エンジニア】数学的推論をする大規模言語モデル

やあ

甘口です

 

私は応用数学を学ぶような学科に所属していたのですが,最近自然言語処理で数学を扱うにはどうしたら良いか考えるようになりました.

数学は人間の中でも創造的な営みの1つですが,これを置き換えたいと思うようになったのですね

 

ちょうど所属先の研究室は機械学習を学べるので,研究テーマはそれにしようかなーと思います

具体的な目標として自分の卒論くらいの数学的証明くらいはやって欲しいと思っています.

ということで頑張ります

なんか知らんけど昨日からこの地的営みに対する答えが気になって仕方ありません,

 

寝ます

では