m([],[]). m([H|R],X):-m(R,L),i(H,L,X). i(X,R,[X|R]). i(X,[H|R],[H|L]):-i(X,R,L). p([],0). p([H|R],X*10+H):-p(R,X). ?-m([S,E,N,D,M,O,R,Y,_,_],[0,1,2,3,4,5,6,7,8,9]),S=\=0,M=\=0,p([D,N,E,S],A),p([E,R,O,M],B),p([Y,E,N,O,M],C),0 is A+B-C.

最近のノート PC はセントロも RS-232C も外付け FDD 用の I/F もないよね、当たり前だけど。確認せずに持っていった私が悪いんだけどさ。そのせいでデータセンターに行ったのに設定できなかったってかなり恥ずかしい。アプライアンスも Universal で Serial…