なんかここでの会話は怪しい気がするが細かい訂正を書いてる暇がない． http://www.lingr.com/room/NFA/archives/2007/11/21 まず「SATは決定問題だから，その解は{x1=T, x2=F, ...}でなくYES/NOですよ」とか... それを踏まえて，Wikipediaで言うところの 概…

明日の物理工学輪講でのトークに向けてlabの方々にリハーサルを聞いていただいた．賞味のトークは30分程度なんだが内容に関する突っ込みタイムが長くて，私と同期H君とでそれぞれ3時間近く，夕方17時から始めて終電ギリギリで終わった．今日は会議とかセミナ…