難解の日

情報数学はやっと句構造文法、チューリングマシンに突入。こいつらは等価な計算能力を持つらしいけど、「文法」が「計算」する? まだよく意味がわかってません。功夫が足りない。ゲーム理論では協力ゲームのシャープレイ値。数値計算ではノルム空間、バナッハ空間について。