JAIST の学食のことはじゃいしょくというらしいが、NAIST の学食はないしょくではない。じゃいしょくのことは JAIST に知り合いがいるから知っているというわけではなく、JNethack というゲーム(つい先日書いた rogue というのに似たゲーム。トルネコの大冒…