20160710第15回数学カフェ「発展編！」

けんちょん @drken1215

@mathcafe_japan 楽しそうです！！！

s.t. @simizut22

パズルの白川さん、クッソつえぇ #math_cafe

s.t. @simizut22

白川「解いてる人間いっぱいいるんですが、人間が解くものじゃないです」 #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

@simizut22 ※敬称略

s.t. @simizut22

パズルをコンピュータに作らせる方法 - パズルを解くシステムを作成する - パズル評価システムを作成する - 人間の方法に似たアルゴリズム - 繰り返し #math_cafe

けんちょん @drken1215

数学カフェ楽しそうすぎて泣ける

s.t. @simizut22

評価を回帰分析で分析して、パラメータを学習していく #math_cafe

きつね @wreck1214

詰将棋の問題を人工知能で作るとき、評価システムを作成する手段として詰めパラの評価を学習させたりするらしい…… そのエピソード好きだ…… #math_cafe

s.t. @simizut22

今回の評価というのは、解く際の評価ではなく、作る際の評価は人間が面白いと思うものの評価の話 #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

パズルの評価は、人が面白いと思うかどうか。一方、将棋の次の手の選考で行われるのは強さの評価。この点が大きく異る。 では、人が面白いと思うことを定式化するとどのようになるか。。。 #math_cafe

s.t. @simizut22

詰めパラ 詰将棋のマニア向けの雑誌？？ #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

詰めパラの中に虫食い算教室。それがきっかけでハマる。。。 @drken1215

s.t. @simizut22

小谷先生がパズルにはまった発端も詰めパラ そこに、虫食い算のが載っていた #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

(@simizut22 さんと異なるスタイルでツイートしていこう。)

数学カフェ＠NPO法人 @mathcafe_japan

これからこんな研究をしたいというお話し。先生まだまだ意欲的で刺激を受ける…。 #math_cafe

さかピ @sakapi1119

自分にはコンピュータが作れるものは創造物ではなく計算結果な気がする(･-･) #math_cafe

s.t. @simizut22

個別と汎用のギャップ 汎用の創造メカニズムには知識の量と質が必要で困難ではあったが、 最近はネット上にデータが落ちている ただし、質の問題があるので、意味解釈が必要である #math_cafe

s.t. @simizut22

パズルを創造する人工知能はいつできるのか 20 年後にできるとは思っていないが、 50 年後ならできるかもしれない #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

解答！ #math_cafe pic.twitter.com/KR0jUMJELB

拡大

数学カフェ＠NPO法人 @mathcafe_japan

人工知能は創造性を持てるか。 #math_cafe

s.t. @simizut22

何か質問ありますか?? #math_cafe

s.t. @simizut22

徹夜したから眠い💢💢💢

s.t. @simizut22

証明数と反証数の”復習” #math_cafe やっと復習の内容だっ！！

s.t. @simizut22

学習もデータベースも関係ありません 単純な数理的アルゴリズムの問題です #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

D言語さんの鋭い質問。局面がループするケースはどう評価するのですか？と。→戻る手は不積みとする。 #math_cafe