1 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2009/12/22(壩) 09:57:19 ] 戞擇曇傕512Kbyte墇偊偱廔椆偟傑偟偨丅 慜僗儗偱枹夝寛側壽戣偼弴師偙偺僗儗偵僐僺乕偟傑偡丅
500 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 12:34:45 ] pc11.2ch.net/test/read.cgi/db/1252492296/472 # 侾丏亂entries亃僥乕僽儖偺乵deleted乶僼傿乕儖僪偑乽 2 乿偺応崌偵丄偦偺儗僐乕僪傪嶍彍丅 # # 俀丏摨帪偵丄亂entries_text_content亃僥乕僽儖偺乵docid乶僼傿乕儖僪偑丄侾丏偱嶍彍偟偨 # 丂丂乵id乶僼傿乕儖僪偲摨偠抣偺儗僐乕僪傕嶍彍丅 # # 俁丏峏偵摨帪偵丄亂entries_text僥乕僽儖亃偐傜丄侾丏偱嶍彍偟偨乵id僼傿乕儖僪乶偺抣(悢帤)偲 # 丂丂摨偠儗僐乕僪斣崋偺儗僐乕僪傪嶍彍丅丂仸id僼傿乕儖僪偑側偄堊 # # 係丏偦偺屻丄壓婰偺僼傿乕儖僪偺抣傪丄1乣偲儕僫儞僶儕儞僌偟偨偄丅 # 丂丂亂entries亃僥乕僽儖偺乵id乶僼傿乕儖僪 # 丂丂亂entries_text_content亃僥乕僽儖偺乵docid乶僼傿乕儖僪 # # 俆丏偦偟偰丄侾丏俀丏俁丏偺嶰偮偺僥乕僽儖偺儗僐乕僪悢偑偳傟傕摨偠悢偩偗偁傞偐妋擣丅 # # 俇丏嵟屻偵丄亂sqlite_sequence亃僥乕僽儖偺乵seq乶僼傿乕儖僪偵俆丏偱妋擣偟偨儗僐乕僪悢傪 # 丂丂愝掕偟偨偄丅
501 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 13:11:44 ] >>483 % Prolog 5: '攝楍 COM丆MAN 偺慡梫慺丆曄悢 count 傪result.out 偵彂偒崬傔'(COM,MAN,Count) :- 丂丂tell('result.out'), 丂丂write_formatted('%q.\n',['COM'=COM]), 丂丂write_formatted('%q.\n',['MAN'=MAN]), 丂丂write_formatted('%q.\n',['Count'=Count]), 丂丂told.
502 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 15:40:12 ] >>12 % Prolog nojiriko.asia/prolog/ml6_12.html 僎乕儉偲偟偰惉棫偟偰偄側偄丅乽幚椺偱妛傇僎乕儉AI僾儘僌儔儈儞僌乿傪 偙傟偐傜攦偭偰尋媶偟偰傒傑偡丅
503 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 15:56:43 ] >>502 僎乕儉偼儘僕僢僋偺娫偵憓擖偝傟傞暃嶌梡偵抣懪偪偑偁傞偺偩偐傜丄 弎岅峔惉偼 r(Z) :- 掆巭忦審(Z),!. r(X). r(X) :- filter(X,Y),r(Y). 偺僗僥僢僷宆僷僞乕儞偑朷傑偟偄偺偐側丅幚嵺偵偼丄 u(X) :- r(X),_暃嶌梡,fail. 偲偄偭偨暃嶌梡弎岅偑暲傇偙偲偵側傞丅
504 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 18:04:23 ] >>495 % Prolog 栤戣侾 :- 暥帤側傜傃偺庢摼(Chars), 丂丂庢摼偟偨側傜傃偺斀揮(Chars,Chars2), 戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2), 戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3), 戞堦峴栚偺報帤(Chars), 戞擇峴栚埲崀偺報帤(L2,L3), 嵟廔峴偺報帤(Chars2),!. 暥帤側傜傃偺庢摼(Chars) :- get_chars(Chars). 庢摼偟偨側傜傃偺斀揮(Chars,Chars2) :- reverse(Chars,Chars2),!. 戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2) :- append([_],L2,[_],Chars),!. 戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3) :- reverse(L2,L3),!. 戞堦峴栚偺昞帵(L) :- 側傜傃偺暥帤昞帵(L),nl,!. 戞擇峴栚埲崀偺昞帵(L2,L3) :- 揮抲([L1,L3],L4),側傜傃偺峴昞帵(L4),!. 嵟廔峴偺報帤(L3) :- 側傜傃偺暥帤昞帵(L),nl,!. 側傜傃偺峴昞帵([]) :- write('\n'),!. 側傜傃偺峴昞帵([A|R]) :- write_formatted('%t\n',[A]),側傜傃偺峴昞帵(R).
505 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 18:06:47 ] >>504 (>>495 ) 彂偒捈偟 % Prolog 僀儞僨儞僩偟偰側偄偲偙傠偑偁偭偰撉傒偵偔偄偐傜彂偒捈偟丅 栤戣侾 :- 暥帤側傜傃偺庢摼(Chars), 丂丂庢摼偟偨側傜傃偺斀揮(Chars,Chars2), 丂丂戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2), 丂丂戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3), 丂丂戞堦峴栚偺報帤(Chars), 丂丂戞擇峴栚埲崀偺報帤(L2,L3), 丂丂嵟廔峴偺報帤(Chars2),!. 暥帤側傜傃偺庢摼(Chars) :- get_chars(Chars). 庢摼偟偨側傜傃偺斀揮(Chars,Chars2) :- reverse(Chars,Chars2),!. 戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2) :- append([_],L2,[_],Chars),!. 戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3) :- reverse(L2,L3),!. 戞堦峴栚偺昞帵(L) :- 側傜傃偺暥帤昞帵(L),nl,!. 戞擇峴栚埲崀偺昞帵(L2,L3) :- 揮抲([L1,L3],L4),側傜傃偺峴昞帵(L4),!. 嵟廔峴偺報帤(L3) :- 側傜傃偺暥帤昞帵(L),nl,!. 側傜傃偺峴昞帵([]) :- write('\n'),!. 側傜傃偺峴昞帵([A|R]) :- write_formatted('%t\n',[A]),側傜傃偺峴昞帵(R).
506 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 18:14:50 ] >>505 (>>495 ) 傕偆堦搙偡傒傑偣傫丅 % Prolog 栤戣侾 :- 丂丂暥帤側傜傃偺庢摼(Chars), 丂丂庢摼偟偨側傜傃偺斀揮(Chars,Chars2), 丂丂戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2), 丂丂戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3), 丂丂戞堦峴栚偺昞帵(Chars), 丂丂戞擇峴栚埲崀偺昞帵(L2,L3), 丂丂嵟廔峴偺昞帵(Chars2),!. 暥帤側傜傃偺庢摼(Chars) :- get_chars(Chars). 庢摼偟偨側傜傃偺斀揮(Chars,Chars2) :- reverse(Chars,Chars2),!. 戞堦暥帤偲嵟廔暥帤傪彍奜(Chars,L2) :- append([_],L2,[_],Chars),!. 戞堦暥帤偲嵟廔暥帤傪彍奜偟偨側傜傃偺斀揮(L2,L3) :- reverse(L2,L3),!. 戞堦峴栚偺昞帵(L) :- 側傜傃偺暥帤昞帵(L),nl,!. 戞擇峴栚埲崀偺昞帵(L2,L3) :- 揮抲([L1,L3],L4),側傜傃偺峴昞帵(L4),!. 嵟廔峴偺昞帵(L3) :- 側傜傃偺暥帤昞帵(L),nl,!. 側傜傃偺峴昞帵([]) :- write('\n'),!. 側傜傃偺峴昞帵([A|R]) :- write_formatted('%t\n',[A]),側傜傃偺峴昞帵(R).
507 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 18:42:01 ] >>496 % Prolog 僼傽僀儖擖椡偟偨娍帤僨乕僞乮慡妏乯傪撉傒崬傒丄峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(_僼傽僀儖柤) :- 丂丂僼傽僀儖擖椡偟偨娍帤僨乕僞乮慡妏乯傪撉傒崬傒(_僼傽僀儖柤,Lines), 丂丂峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(Lines),!. 僼傽僀儖擖椡偟偨娍帤僨乕僞乮慡妏乯傪撉傒崬傒(_僼傽僀儖柤,Lines) :- 丂丂get_lines(_僼傽僀儖柤,Lines). 峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(Lines) :- 丂丂峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(1,Lines). 峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(_,[]) :- !. 峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(N,[_峴|R]) :- 丂丂暥帤楍偺斀揮(_峴,_斀揮偟偨峴), 丂丂write_formatted('%t:%t\n',[N,_斀揮偟偨峴]), 丂丂N2 is N + 1, 丂丂峴悢傪悢偊側偑傜媡偐傜昞帵偡傞(N2,R). 暥帤楍偺斀揮(_暥帤楍,_斀揮偟偨暥帤楍) :- 丂丂atom_chars(_暥帤楍,_暥帤側傜傃), 丂丂reverse(_暥帤側傜傃,_斀揮偟偨暥帤側傜傃), 丂丂atom_chars(_斀揮偟偨暥帤楍,_斀揮偟偨暥帤側傜傃).
508 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 18:56:47 ] >>497 % Prolog '僼傽僀儖偺僨乕僞乮塸暥乯傪撉傒崬傒丄堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊傞'(_僼傽僀儖柤) :- 丂丂'僼傽僀儖偺僨乕僞乮塸暥乯傪撉傒崬傒'(_僼傽僀儖柤,Lines), 丂丂'堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(Lines). '僼傽僀儖偺僨乕僞乮塸暥乯傪撉傒崬傒'(_僼傽僀儖柤,Lines) :- get_lines(_僼傽僀儖柤,lines). '堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(Lines) :- 丂丂'堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(1,Lines). '堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(_,[]) :- !. '堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(N,[Line|R]) :- 丂丂暥帤悢傪悢偊傞(Line,_暥帤悢), 丂丂儚乕僪悢傪悢偊傞(Line,_儚乕僪悢), 丂丂write_formatted('=>%t:%t暥帤丄%t儚乕僪\n',[N,_暥帤悢,_儚乕僪悢]), 丂丂N2 is N + 1, 丂丂'堦峴枅偺暥帤悢乮僗儁乕僗傕娷傓乯偲儚乕僪悢傪悢偊偰昞帵偡傞'(N2,R). 暥帤悢傪悢偊傞(Line,_暥帤悢) :- sub_atom(Line,0,_暥帤悢,0,Line),!. 儚乕僪悢傪悢偊傞(Line,_儚乕僪悢) :- 丂丂split(Line,[' ','.'],岅渂側傜傃), 丂丂length(岅渂側傜傃,_儚乕僪悢),!.
509 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 19:14:34 ] >>498 % Prolog '侾寧侾擔偑嬥梛擔偺暯擭乮偨偲偊偽俀侽侾侽擭乯偵偮偄偰丄寧擔偺擖椡僨乕僞偐傜丄梛擔傪媮傔傞' :- 丂丂嵜懀晅偒惍悢擖椡('寧傪擖椡偟偰偔偩偝偄:',_寧), 丂丂嵜懀晅偒惍悢擖椡('擔傪擖椡偟偰偔偩偝偄:',_擔), 丂丂梛擔傪媮傔傞(_寧,_擔,_梛擔), 丂丂write_formatted('%t寧%t擔偼%t擔偱偡\n',[_寧,_擔,_梛擔]),!. 梛擔傪媮傔傞(_寧,_擔,_梛擔) :- 梛擔傪媮傔傞(1,1,_寧,_擔,嬥梛,_梛擔). 梛擔傪媮傔傞(_寧,_擔,_寧,_擔,_梛擔,_梛擔) :- !. 梛擔傪媮傔傞(_寧1,_擔1,_寧,_擔,_梛擔1,_梛擔) :- 丂丂梻擔(_寧1,_擔1,_梻擔偺寧,_梻擔偺擔), 丂丂梛擔楢嵔(_梛擔1,_梛擔2), 丂丂梛擔傪媮傔傞(_梻擔偺寧,_梻擔偺擔,_寧,_擔,_梛擔2,_梛擔). 梻擔(2,28,3,1) :- !. 梻擔(_寧,30,_梻擔偺寧,1) :- member(_寧,[4,6,9,11]),_梻擔偺寧 is _寧 + 1,!. 梻擔(_寧,31,_梻擔偺寧,1) :- member(_寧,[1,3,5,7,8,10,12]),_梻寧偺寧 is _寧 + 1,!. 梻擔(_寧,_擔,_寧,_梻擔偺擔) :- _梻擔偺擔 is _擔 + 1. 梛擔楢嵔(寧梛,壩梛). 梛擔楢嵔(壩梛,悈梛). 梛擔楢嵔(悈梛,栘梛). 梛擔楢嵔(栘梛,嬥梛). 梛擔楢嵔(嬥梛,搚梛). 梛擔楢嵔(搚梛,擔梛). 梛擔楢嵔(擔梛,寧梛).
510 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 20:13:17 ] code.nanigac.com/forum/view/453 # Prolog偱儕僗僩憖嶌傪偡傞娭悢傪偄偔偮偐彂偄偰偄傞傫偱偡偑丄 # 偳偆傕偆傑偔摦偄偰偔傟傑偣傫丅 # 偆傑偔摦偄偰偔傟側偄偺偑偄偔偮偐偁傞偺偱偡偑丄慡晹偁偘偨傜 # 愗傝偑側偄偱偡偟丄恾乆偟偡偓傞偺偱丄偲傝偁偊偢 # test1娭悢偲test2娭悢偺俀偮乮俀偮偱傕恾乆偟偄偒偑偡傞偗傟偳乯偺憡択偵忔偭偰偔偩偝偄丅 # # test1娭悢 # 2偮偺儕僗僩傪庴偗庢偭偰2偮傪乮岎屳偵乯崌傢偣偨儕僗僩傪嶌傞 # 椺1丄test([a,b,c],[1,2,3],X). --> X = [a,1,b,2,c,3] # 椺2丄test([a,b,c],X,[a,1,b,2,c,3]). --> X = [1,2,3] # 椺3丄test([a,b,c],[1,2,3],[a,1,b,2,c,3]). --> true # 椺4丄test([a,b,c],[1,2,3],[a,b,c,1,2,3]). --> false
511 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 20:14:34 ] >>510 % Prolog test1([],[],[]). test1([A|R1],[B|R2],[A,B|R3]) :- test1(R1,R2,R3).
512 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 20:28:58 ] ime.nu/code.nanigac.com/forum/view/453 # test2娭悢 # 2偮偺儕僗僩傪庴偗庢傝丄傑偢堦偮栚偺儕僗僩偐傜僟僽儕傪庢傝彍偔丅 # 偦偟偰丄偦傟偑擇偮栚偺儕僗僩偲乮弴斣傕娷傔偰乯摨偠偐僠僃僢僋偡傞丅 # 椺1丄test2([a,b,c,c,b,a],[a,b,c]). --> true # 椺2丄test2([a,b,c,b,c,],[c,b,a]). --> false (弴斣偑堘偆偺偱乯 # 椺3丄test2([a,a,b,b,c,c],X). --> X = [a,b,c]
513 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 20:34:53 ] >>512 % Prolog test2([],[]). test2([A|R1],[A|R2]) :- 丂丂側傜傃偺嶍彍(A,R1,R3), 丂丂test2(R3,R2). 側傜傃偐傜嶍彍(_,[],[]). 側傜傃偐傜嶍彍(A,[A|R1],R2) :- 側傜傃偐傜嶍彍(A,R1,R2). 側傜傃偐傜嶍彍(A,[B|R1],[B|R2]) :- \+(A=B),側傜傃偐傜嶍彍(A,R1,R2).
514 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:03:05 ] pc12.2ch.net/test/read.cgi/tech/1263824755/336 # [1] 庼嬈扨尦丗 忣曬張棟B # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10463.txt # # 仛壽戣俀仛 # 僉乕儃乕僪偐傜(昗弨擖椡偐傜)僗儁乕僗偱嬫愗傜傟偨3偮偺幚悢 a b c 傪 # 庴偗庢偭偰(嵟屻偼夵峴)丄擇師曽掱幃 ax俀+bx+c=0 偺夝傪夋柺偵(昗弨弌椡偵)弌椡偣傛丅 # 擇師曽掱幃偺夝偼暋慺悢偺斖埻偱峫偊傞偙偲丅擇師曽掱幃傪夝偔晹暘偼main娭悢偲偼 # 暿偵偟偰main娭悢偐傜屇傇偙偲丅僌儘乕僶儖曄悢偺巊梡偼嬛巭丅
515 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:07:29 ] pc12.2ch.net/test/read.cgi/tech/1263824755/336 # [1] 庼嬈扨尦丗 忣曬張棟B # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10463.txt # # 仛壽戣侾仛 # 僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰丄 # 偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞悢側傜偽 # 夋柺偵(昗弨擖椡偵)YES丄偦偆偱側偗傟偽丄NO偲弌椡偣傛丅梌偊傜傟偨忦審傪 # 敾掕偡傞晹暘偼main娭悢偲偼暿偺娭悢偵偟偰main娭悢偐傜屇傇偙偲丅 # 僌儘乕僶儖曄悢偺巊梡偼嬛巭丅
516 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:10:17 ] pc12.2ch.net/test/read.cgi/tech/1263824755/336 # [1] 庼嬈扨尦丗 忣曬張棟B # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10463.txt # # 仛壽戣俁仛 # 僉乕儃乕僪偐傜(昗弨擖椡偐傜)僗儁乕僗偱嬫愗傜傟偰嵟屻偑夵峴偺俁偮偺幚悢傪 # 俁夞傪庴偗庢偭偰丄偦傟傜偺崌寁俋偙偺幚悢偐傜側傞3峴3楍偺峴楍偺媡峴楍傪 # 媮傔偰夋柺偵(昗弨弌椡)弌椡偣傛丅 # 媡峴楍傪媮傔傞晹暘偼main娭悢偲偼暿偺娭悢偵偟偰main娭悢偐傜屇傇偙偲丅 # 僌儘乕僶儖曄悢偺巊梡偼嬛巭丅
517 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:18:16 ] pc12.2ch.net/test/read.cgi/tech/1263824755/336 # [1] 庼嬈扨尦丗 忣曬張棟B # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10463.txt # # 仛壽戣係仛 # 暋慺悢偺峴楍傪埖偆偙偲傪峫偊傞丅幚晹偲嫊晹傪double宆偺儊儞僶乕偲偟偰傕偮 # 峔憿懱struct complex宆偺擇師尦攝楍傪巊偭偰丄俀峴俀楍偺惉暘偐傜側傞暋慺悢偺 # 峴楍傪埖偆丅Struct complex宆偺曄悢偺懌偟嶼傗偐偗嶼丄偍傛傃忋弎偺傛偆側 # 俀峴俀楍偺暋慺峴楍偺懌偟嶼傗偐偗嶼傪峴偆娭悢傪弨旛偟丄偦傟傜偺娭悢傪 # 棙梡偟偰丄俀峴俀楍偺暋慺悢偺峴楍偺exp傪丄Maclaurin揥奐偺10崁栚傑偱傪 # 寁嶼偡傞偙偲偵傛偭偰媮傔側偝偄丅僌儘乕僶儖曄悢偺巊梡偼嬛巭丅 # 幚峴帪偵擖椡偡傞峴楍偺撪梕偵偮偄偰偼丄幚悢偩偗偐傜側傞懳妏峴楍丄 # 弮嫊悢偺懳妏峴楍丄堦斒偺暋慺悢偺懳妏峴楍丄偦偺懠偺堦斒偺峴楍側偳偺 # 懡偔偺応崌偵偮偄偰僥僗僩偡傞偙偲丅
518 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:22:17 ] pc12.2ch.net/test/read.cgi/tech/1263824755/336 # [1] 庼嬈扨尦丗 忣曬張棟B # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10463.txt # # 仛壽戣俆仛 # 侾峴偵僗儁乕僗偱嬫愗傜傟偨俀偮偺幚悢偑彂偐傟偰偄傞僨乕僞僼傽僀儖傪僄僨傿僞偱 # 嶌惉偟偰揔摉側柤慜偱曐懚偟偰偍偗丅昗弨擖椡偐傜偺儕僟僀儗僋僩傪巊偭偰 # 偦偺僼傽僀儖偐傜僨乕僞傪撉傒崬傒丄僨乕僞偺僌儔僼傪夋柺偵(昗弨擖椡偵)弌椡偣傛 丅 # 偙偙偱丄奺峴偺嵍懁偺僨乕僞傪x僨乕僞丄塃懁偺僨乕僞傪y僨乕僞偲偡傞丅 # 傑偨丄僌儔僼偼僥僉僗僩夋柺偵儅僀僫僗(乚)傗僾儔僗(亄)傗廲朹(乥)傗 # 傾僗僞儕僗僋(仏)側偳偺暥帤傪弌椡偡傞偙偲偵傛偭偰幚尰偣傛丅偝傜偵丄 # y僨乕僞偺暯嬒偲昗弨曃嵎傕媮傔偰夋柺偵(昗弨弌椡偵)弌椡偣傛丅條乆側僨乕僞悢傗 # 僨乕僞斖埻傪傕偮擖椡僨乕僞傪梌偊傜傟偰傕揔愗偵摦偔傛偆偵偮偔傞偙偲偑 # 朷傑偟偄偑丄擄偟偗傟偽擖椡僨乕僞斖埻偼侽埲忋侾侽埲壓偵尷掕偡傞側偳丄 # 帺暘偱僾儘僌儔儉偺巇條傪娙慺壔偟偰傕傛偄丅
519 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 21:28:15 ] pc11.2ch.net/test/read.cgi/db/1252492296/474 # SQL Server Compact 3.5 偱丄a_tbl 偲 b_tbl 偺僐乕僪偑堦抳偟偨応崌偵 # a_tbl 偵丄b_tbl偺柤慜傪僙僢僩偡傞傒偨偄側偙偲偟偨偄偺偱偡偑柍棟偱偡偐丠 # # UPDATE a_tbl # SET name = b_tbl.name # FROM b_tbl # WHERE a_tbl.no = b_tbl.no # # 幚峴偡傞偲丄乽FROM 嬪偼偙偺僋僄儕偺庬椶偱偼巊梡偱偒傑偣傫乿偭偰僄儔乕偵側傝傑偡丅 # SQL Server 2008丂偩偲栤戣側偄偺偱偡偑丒丒丒
520 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 22:06:58 ] >>519 % Prolog 'a_tbl 偲 b_tbl 偺僐乕僪偑堦抳偟偨応崌偵 a_tbl 偵丄b_tbl偺柤慜傪僙僢僩偡傞' :- 丂丂a_tbl(_no,_name1), 丂丂b_tbl(_no,_name2), 丂丂update_a_tbl(_no,_name2), 丂丂fail. 'a_tbl 偲 b_tbl 偺僐乕僪偑堦抳偟偨応崌偵 a_tbl 偵丄b_tbl偺柤慜傪僙僢僩偡傞'. update_a_tbl(_no,_name2) :- 丂丂retract(a_tbl(_no,_)), 丂丂assertz(a_tbl(_no,_name2)), 丂丂fail. update_a_tbl(_,_).
521 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 22:25:00 ] >>515 % Prolog '僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰丄偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞悢側傜偽夋柺偵(昗弨擖椡偵)YES丄偦偆偱側偗傟偽丄NO偲弌椡偣傛' :- '僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰(_惓偺惍悢), 偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞(_惓偺惍悢,_恌抐), write_formatted('%t\n',[_恌抐]),!. '僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰(_惓偺惍悢):- 丂丂repeat, 丂丂get_integer(_惓偺惍悢), 丂丂integer(_惓偺惍悢), 丂丂_惓偺惍悢 >= 0,!. 偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞(_悢,'YES') :- 丂丂0 is _悢 mod 3,!. 偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞(_悢,'YES') :- 丂丂奺寘偺悢帤偺偄偯傟偐(_悢,L), 丂丂member(3,L),!. 偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞(_,'NO'). 奺寘偺悢帤偺偄偯傟偐(N,[N]) :- N < 10,!. 奺寘偺悢帤偺偄偯傟偐(N,[M|R]) :- 丂丂M is N mod 10, 丂丂M2 is N // 10, 丂丂奺寘偺悢帤偺偄偯傟偐(M2,R).
522 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/29(嬥) 22:28:41 ] >>521 (>>515 ) 堦晹昞帵偟捈偟 % Prolog '僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰丄偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞悢側傜偽夋柺偵(昗弨擖椡偵)YES丄偦偆偱側偗傟偽丄NO偲弌椡偣傛' :- 丂丂'僉乕儃乕僪偐傜(昗弨擖椡偐傜)侾偮偺廫恑悢昞尰偺惓偺惍悢傪庴偗庢偭偰(_惓偺惍悢), 丂丂偦偺悢偑俁偺攞悢偐傑偨偼奺寘偺悢帤偺偄偯傟偐偵俁偑擖偭偰偄傞(_惓偺惍悢,_恌抐), 丂丂write_formatted('%t\n',[_恌抐]),!.
523 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 05:59:00 ] >>484 % Prolog (偦偺堦) 僀儞僨儞僩怺搙偲偼(_峴,_僀儞僨儞僩怺搙) :- 丂丂'峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偑n夞(n>=0)尰傟偨応崌怺搙=n偲偡傞'(_峴,_n), 丂丂_n = _僀儞僨儞僩怺搙,!. '峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偑n夞(n>=0)尰傟偨応崌怺搙=n偲偡傞'(_峴,_n) :- 丂丂sub_atom(_峴,_n,1,_,C), 丂丂\+(C=' '), 丂丂\+(C='\t'),!.
524 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 06:13:04 ] >>523 (>>484 ) % Prolog (偦偺堦) 乽僀儞僨儞僩怺搙偲偼乿偺乽偲偼乿偼愢柧揑偱偼偁傞偑幚梡忋岲傑偟偄偲偼偄偊側偄丅 % 旛峫揑側晹暘偺掕媊偱偼偟偽偟偽柪偆偲偙傠丅晛捠偼埲壓偩偑丄 僀儞僨儞僩怺搙(_峴,_僀儞僨儞僩怺搙) :- 丂丂'峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偑n夞(n>=0)尰傟偨応崌怺搙=n偲偡傞'(_峴,_n), 丂丂_n = _僀儞僨儞僩怺搙,!. % 帿彂堷偒偺嵺偼幚柋揑側掕媊傪嶲徠偡傞姶偠偺掕媊丅 僀儞僨儞僩怺搙偲偼(_峴,_僀儞僨儞僩怺搙) :- 僀儞僨儞僩怺搙(_峴,_僀儞僨儞僩怺搙). % 傂偭偔傝曉偟偰丄幚梡帪偵帿彂傪堷偔姶偠丅 僀儞僨儞僩怺搙(_峴,_僀儞僨儞僩怺搙) :- 僀儞僨儞僩怺搙偲偼(_峴,_僀儞僨儞僩怺搙).
525 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 06:26:39 ] >>523 (>>484 ) % Prolog 弌戣偑晄姰慡偱tab張棟偑偱偒偰偄側偄丅晛捠偼丄 tab(嬻敀,6). '峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偑n夞(n>=0)尰傟偨応崌怺搙=n偲偡傞'(_峴,_n) :- 丂丂atom_chars(_峴,Chars), 丂丂峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(0,Chars,_n). 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(_n,[],_n) :- !. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(_n,[A|_],_n) :- \+(A='\t'),\+(A=' '),!. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N,['\t'|R],_n) :- 丂丂tab(嬻敀,M), N2 is N + M, 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N2,R,_n),!. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N,[' '|R],_n) :- N2 is N + 1, 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N2,R,_n),!.
526 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 06:28:44 ] >>525 (>>484 ) 彂偒捈偟丅偡傒傑偣傫丅 % Prolog 弌戣偑晄姰慡偱tab張棟偑偱偒偰偄側偄丅晛捠偼丄 tab(嬻敀,6). '峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偑n夞(n>=0)尰傟偨応崌怺搙=n偲偡傞'(_峴,_n) :- 丂丂atom_chars(_峴,Chars), 丂丂峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(0,Chars,_n). 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(_n,[],_n) :- !. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(_n,[A|_],_n) :- \+(A='\t'),\+(A=' '),!. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N,['\t'|R],_n) :- 丂丂tab(嬻敀,M), 丂丂N2 is N + M, 丂丂峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N2,R,_n),!. 峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N,[' '|R],_n) :- 丂丂N2 is N + 1, 丂丂峴摢偐傜僞僽丄嬻敀埲奜偺暥帤偑尰傟傞傑偱偺暥帤悢(N2,R,_n),!.
527 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 07:35:48 ] >>514 % Prolog '僉乕儃乕僪偐傜(昗弨擖椡偐傜)僗儁乕僗偱嬫愗傜傟偨3偮偺幚悢 a b c 傪 庴偗庢偭偰(嵟屻偼夵峴)丄擇師曽掱幃 ax俀+bx+c=0 偺夝傪夋柺偵(昗弨弌椡偵)弌椡偣傛丅擇師曽掱幃偺夝偼暋慺悢偺斖埻偱峫偊傞偙偲丅' :- 丂丂'僉乕儃乕僪偐傜(昗弨擖椡偐傜)僗儁乕僗偱嬫愗傜傟偨3偮偺幚悢 a b c 傪 庴偗庢傝(A,B,C), 丂丂擇師曽掱幃偺夝(A,B,C,X). '僉乕儃乕僪偐傜(昗弨擖椡偐傜)僗儁乕僗偱嬫愗傜傟偨3偮偺幚悢 a b c 傪 庴偗庢傝(A,B,C) :- 丂丂get_line(Line), 丂丂split(Line,[' '],L), 丂丂findall(V,(member(A,L),atom_to_term(A,V,_)),[A,B,C]),!. 擇師曽掱幃偺夝(A,B,C,X) :- 丂丂_敾暿幃 is B ^ 2 - 4 * A * C, 丂丂敾暿幃偵傛傝夝傪媮傔傞(_敾暿幃,A,B,C,X). 敾暿幃偵傛傝夝傪媮傔傞(_敾暿幃,A,B,C,X) :- 丂丂( _敾暿幃 > 0; _敾暿幃 > 0.0),!, 丂丂(丂 X is ((-1) * B + sqrt(_敾暿幃)) / ( 2 * A); 丂丂丂丂X is ((-1) * B + sqrt(_敾暿幃)) / ( 2 * A)). 敾暿幃偵傛傝夝傪媮傔傞(_敾暿幃,A,B,C,X) :- 丂丂(_敾暿幃 = 0;_敾暿幃 = 0.0),!, 丂丂X is ((-1) * B) / ( 2 * A). 敾暿幃偵傛傝夝傪媮傔傞(_敾暿幃,A,B,C,X) :- 丂丂( _敾暿幃 < 0; _敾暿幃 < 0.0),!, 丂丂U is (-1) / (2 * A), 丂丂V is sqrt((-1) * _敾暿幃)), 丂丂( X = (U + iV); X = (U - iV)).
528 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 12:11:35 ] pc12.2ch.net/test/read.cgi/tech/1248012902/815 # 亂丂壽戣丂亃ime.nu/rg550.hp.infoseek.co.jp/cgi-bin/joyful/img/915.txt # 亂丂宍懺丂亃1. Java傾僾儕働乕僔儑儞(main()偱奐巒) # # 偟傝偲傝僎乕儉傪偡傞僾儘僌儔儉 # 戞堦抜奒乕Shiritori.java傪師偵宖嵹偡傞丅 # 丂丂丂丂丂偙傟傪Eclipse偵擖椡偡傞 #丂丂丂丂乕梌偊傜傟偨扨岅偺壜斲傪敾掕偡傞偨傔偺僋儔僗Referee.java傪嶌惉偡傞 # # 戞擇抜奒乕Referee.java傪偟傝偲傝偺儖乕儖偵偺偭偲偭偨敾掕傪偝偣傞傛偆偵夵慞 # # 戞堦抜奒偺Referee偺巊梡 # 丒捈慜偵擖椡偝傟偨扨岅偺枛旜偺暥帤傪婰壇偡傞char宆偺僼傿乕儖僪 # 丂丂丂lastChar # 丒師偺扨岅偑偳偺暥帤偱巒傑傜側偗傟偽側傜側偄偐傪char宆偱曉偡儊僜僢僪 # mustBeginWith() # 丒堷悢偲偟偰梌偊傜傟偨扨岅偺壜斲傪敾掕偟丄壜側傜true傪曉偡偲偲傕偵lastChar傪峏怴偟丄斲側傜false傪曉偡儊僜僢僪 # 丂丂丂isOK(String newWord) # 偲傝偁偊偢偼壗偱傕偐傫偱傕乽壜乿偲偡傞傛偆偵嶌傞
529 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 [2010/01/30(搚) 13:33:48 ] Microsoft幮 Visual Studio C亄亄偺僜僼僩僂僃傾傪梡偄偰 僠儍僢僩傾僾儕働乕僔儑儞傪嶌傟偲尵傢傟偨偺偱偡偑丄 摉曽C尵岅宯偑偲偰傕嬯庤偱崲偭偰偄傑偡丟丟 僔僗僥儉偺巇條偼 丒1懳侾偺娐嫬偱偺傒摦嶌丅 丒僒乕僶懁偼億乕僩斣崋傪巜掕偟偰丄僋儔僀傾儞僩偐傜偺愙懕傪懸偮丅 丒僋儔僀傾儞僩懁偼僒乕僶偺IP傾僪儗僗偲億乕僩斣崋傪巜掕偟偰丄僒乕僶偵愙懕偡傞丅 丒偙偺帪偺捠怣偼TCP偱峴偆丅 丒僋儔僀傾儞僩偑捠怣傪傗傔偨偄応崌偼"endc" 丒僒乕僶懁偑傗傔偨偄応崌偼"ends"偲擖椡丅 丒WinSock傪巊梡偟偰Windows偺僐儞僜乕儖僾儘僌儔儉偲偟偰婎杮揑側娙堈側僠儍僢僩 埲忋偺忦審偱僾儘僌儔儈儞僌偟偰偄偨偩偗傞偲岾偄偱偡丅 傛傠偟偔偍婅偄偟傑偡 m__)m
530 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 16:46:35 ] pc12.2ch.net/test/read.cgi/tech/1263824755/351 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌墘廗� # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 # 仩侾仩俀仩俁仩係仩俆仩俇仩俈仩俉仩俋 # 偺仩偵巐懃偺墘嶼巕乮亄丆亅乯傗嬻敀傪擖傟偰100側傞傛偆側 # 彫挰嶼偺慡偰偺夝傪媮傔傞僾儘僌儔儉傪嶌惉偡傞偙偲 # # 椺偊偽 # 12 + 3 - 4 + 5 + 67 + 8 + 9 = 100 # 123 - 45 - 67 + 89 = 100 #
531 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 16:47:53 ] pc12.2ch.net/test/read.cgi/tech/1263824755/353 # [1] 庼嬈扨尦丗僐儞僺儏乕僞僌儔僼傿僢僋 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗10468.txt # 儌僲僋儘夋憸傪撉傒崬傒,(319,239) 偺夋慺抣傪 0 偲偡傞 # 夋憸傪娭悢傪巊梡偟偰撉傒崬傒丆偦傟傪 2 師尦攝楍偵奿擺偡傞娭悢傪嶌惉偡傞丏 # 巜掕偟偨夋慺偺夋慺抣傪僙僢僩偡傞丏 # 2 師尦攝楍偵奿擺偟偰偄偨夋憸傪 1 師尦攝楍偵嵞搙奿擺偟丆娭悢傪巊梡偟偰夋憸僼傽僀儖偲偟偰彂偒栠偡丏 #
532 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 17:17:04 ] >>528 % Prolog 慡慠儖乕儖偑堘偆偺偱偡偑乽攏柤偟傝偲傝乿偲偄偆偺傪嶌偭偰傒傑偟偨丅 nojiriko.asia/prolog/j68_815.html
533 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 17:22:56 ] >>532 慡慠堘偆偲偄偆偺偼擔杮岅偲偟偰曄偐側丅 java偺廻戣偲儖乕儖偑堘偭偰偄傞忋偵丄攏柤偱偁傞摿挜傕崱偺偲偙傠傎偲傫偳偁傝傑偣傫丅 崱屻丄寣摑傗嫞憟惉愌偺専嶕傗僐儊儞僩傪晅梌偡傞婡擻傪晅偗壛偊偨偄偲巚偄傑偡丅
534 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/30(搚) 23:25:03 ] pc12.2ch.net/test/read.cgi/tech/1263824755/369 # [1] 庼嬈扨尦丗 僾儘僌儔儉墘廗? # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 # 3師尦嬻娫偵偍偄偰慄暘偑暯柺傪捠夁偟偰偄傞偐敾掕偡傞僾儘僌儔儉傪嶌傝側偝偄 # (慄暘偺嵗昗(x1,y1,z1) (x2,y2,z2)偲暯柺偺巐嬿偺嵗昗偼擖椡偡傞) # 暯柺傪捠夁偟偰偄偰傕暯柺偺巐嬿偺拞偵岎揰偑側偄応崌偼捠夁偟偰偄側偄傕偺偲偡傞
535 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/31(擔) 13:44:22 ] pc12.2ch.net/test/read.cgi/tech/1263824755/381 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌墘廗? # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 擖弌椡偲僨乕僞僼傽僀儖傊偺曐懚偲偦偺娫偺張棟偁傞僾儘僌儔儉傪嶌惉偡傞 # 丂丂丂丂丂丂丂丂丂丂丂丂丂丂丂ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10475.txt # 擖弌椡偲僨乕僞僼傽僀儖傊偺曐懚偲偦偺娫偺張棟偺偁傞僾儘僌儔儉偺嶌惉 # # 嶌惉忦審 # 侾丏擖椡仺張棟仺弌椡偺僔僗僥儉偑峔抸偝傟偰偄傞偙偲 # 俀丏僨乕僞傪僼傽僀儖偵曐懚偟偰偍偗傞傛偆偵偟偰偍偔 # 俁丏僨乕僞偵峔憿懱偑梡偄傜傟傞偙偲 # 係丏main埲奜傪1偮埲忋娭悢壔偡傞偙偲 # 俆丏dat僼傽僀儖傕奺帺偱嶌惉偡傞
536 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/01/31(擔) 19:32:39 ] >>530 % Prolog (偦偺堦) 嬻敀傪娷傓暥帤楍偺嬻敀傪庢傝彍偄偰夝愅偡傞(_暥帤楍,_崁) :- 丂丂暥帤楍偐傜嬻敀傪庢傝彍偔(_暥帤楍,_嬻敀傪庢傝彍偐傟偨暥帤楍), 丂丂暥帤楍傪夝愅偟偰崁傪惗惉偡傞(_嬻敀傪庢傝彍偄偨暥帤楍,_崁). 暥帤楍偐傜嬻敀傪庢傝彍偔(_暥帤楍,_嬻敀傪庢傝彍偐傟偨暥帤楍) :- 丂丂atom_chars(_暥帤楍,Chars), 丂丂側傜傃偐傜嬻敀梫慺傪庢傝彍偔(Chars,_嬻敀傪庢傝彍偐傟偨側傜傃), 丂丂atom_chars(_嬻敀傪庢傝彍偐傟偨暥帤楍,_嬻敀傪庢傝彍偐傟偨側傜傃). 側傜傃偐傜嬻敀梫慺傪庢傝彍偔([],[]) :- !. 側傜傃偐傜嬻敀梫慺傪庢傝彍偔([' '|R1],R2) :- 丂丂側傜傃偐傜嬻敀梫慺傪庢傝彍偔(R1,R2),!. 側傜傃偐傜嬻敀梫慺傪庢傝彍偔([A|R1],[A|R2]) :- 丂丂側傜傃偐傜嬻敀梫慺傪庢傝彍偔(R1,R2),!. 暥帤楍傪夝愅偟偰崁傪惗惉偡傞(_暥帤楍,_崁) :- atom_to_term(_暥帤楍,_崁,_).
537 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 05:59:17 ] pc12.2ch.net/test/read.cgi/tech/1263824755/394 # [1] 庼嬈扨尦丗 僾儘僌儔儈儞僌墘廗 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 廧強榐偺婡擻傪幚尰偡傞僾儘僌儔儉傪嶌惉偣傛丅
538 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 06:03:19 ] pc12.2ch.net/test/read.cgi/tech/1263824755/391 # 偡偄傑偣傫偑婯惂偝傟偰傞偺偱実懷偐傜娙扨偵 # 栤戣暥丗ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10482.txt # 僉乕儃乕僪偐傜柤慜偲擭楊傪儗僐乕僪偲偡傞僨乕僞傪擖椡偟丄 # 僼傽僀儖偵彂偒弌偡僾儘僌儔儉傪嶌惉偟側偝偄丅偨偩偟僨乕僞偺廔傢傝偼^z(CTRL+Z)偲偡傞丅 # 傑偨丄彂偒弌偡愭偺僼傽僀儖柤偼僐儅儞僪儔僀儞堷悢傪巊梡偟偰巜掕偡傞偙偲丅 # # 乽幚峴寢壥乿 # # C:\Kadai01>Kadai01 a.txt # # 柤慜 擭楊 # 忋屗嵤 20 # 挿郪傑偝傒 29 # 怴奯寢堖 20 # ^z
539 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 06:06:12 ] pc12.2ch.net/test/read.cgi/tech/1252382593/516 # 俀偮偺摨偠梫慺悢偺儕僗僩 (Num a) => [a] 傪丄 # 曅曽傪侾梫慺暘墶偵偢傜偟偰榓傪庢傝偨偄偱偡丅 # 偨偲偊偽 [1, 2, 3] 偲 [7, 8, 9] 偱偁傟偽 # [1, 2, 3, 0] 偲 [0, 7, 8, 9] 偺榓偱偡丅 # # 崱偼掕媊傪慺捈偵幚憰偟偰師偺傛偆偵傗偭偰傑偡丅 # shearAdd :: (Num a) => [a] -> [a] -> [a] # shearAdd as bs = zipWith (+) (as ++ [0]) (0 : bs) # # 傕偭偲愻楙偝傟偨曽朄偼偁傞偱偟傚偆偐丅 # 偨偲偊偽 (++) 墘嶼巕偼嵍曈偺儕僗僩偺梫慺悢偑戝偒偄偲晄棙側偺偱丄 # 偙傟傪夵慞偱偒傞偲偐丅
540 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 06:18:46 ] pc12.2ch.net/test/read.cgi/tech/1263824755/358 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌墘廗? # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10471.txt # # 佱栤戣偲忦審佲 # 戞1堷悢偵巜掕偟偨僼傽僀儖偐傜僶僀僫儕乕儌乕僪偱1僶僀僩偢偮僼傽僀儖傪撉傒崬傒丄 # 僼傽僀儖偺撪梕傪16恑悢偱帵偟偨傕偺傪戞2堷悢偵巜掕偟偨僼傽僀儖偵彂偒崬傓僾儘僌儔儉傪嶌惉偣傛丅偨偩偟丄16僶僀僩偛偲偵夵峴傪擖傟傞偙偲丅
541 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 06:34:03 ] pc12.2ch.net/test/read.cgi/tech/1248012902/821 # 亂丂壽戣丂亃慄暘昤夋丆揰昤夋偺儊僜僢僪傪偮偐偭偰丆曻暔慄傪昤夋偟偰壓偝偄丏
542 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 06:37:34 ] pc12.2ch.net/test/read.cgi/tech/1263824755/387 # # 懅敳偒偵偭偰壓偝偄丅 # 帺暘偼暘偐傜側偄偭偡 # # 偍媞條偵乽崱屻偺壞偺僙乕儖偵偼丄昁偢楢棈偟偰傎偟偄乿偲偄傢傟偨帪 # # 偍媞條偵乽傕傜偄傕偺偱婥偵擖傜側偄偺偱懠偺彜昳偲庢傝懼偊偰梸偟偄乿偲偄傢傟偨帪 # # 斕攧堳偺惓偟偄峴摦傪丅
543 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 07:05:19 ] >>539 巊梡尵岅丗J f=:dyad def '(x,0)+0,y' 1 2 3 f 7 8 9 1 9 11 9
544 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 07:14:10 ] >>481 巊梡尵岅丗J >:i.10 1 2 3 4 5 6 7 8 9 10
545 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 07:18:18 ] >>483 栤1 巊梡尵岅丗J ]COM=: 30?100 95 18 11 58 67 85 60 21 30 10 81 27 47 0 35 75 24 69 23 26 29 98 54 92 40 34 45 52 33 79
546 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 13:29:23 ] pc12.2ch.net/test/read.cgi/tech/1263824755/369 # [1] 庼嬈扨尦丗 僾儘僌儔儉墘廗� # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 # 3師尦嬻娫偵偍偄偰慄暘偑暯柺傪捠夁偟偰偄傞偐敾掕偡傞僾儘僌儔儉傪嶌傝側偝偄 # (慄暘偺嵗昗(x1,y1,z1) (x2,y2,z2)偲暯柺偺巐嬿偺嵗昗偼擖椡偡傞) # 暯柺傪捠夁偟偰偄偰傕暯柺偺巐嬿偺拞偵岎揰偑側偄応崌偼捠夁偟偰偄側偄傕偺偲偡傞
547 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 13:30:35 ] pc12.2ch.net/test/read.cgi/tech/1263824755/362 # ../test/read.cgi/tech/1263824755/361 # 佱栤戣偲忦審佲 # 戞1堷悢偵巜掕偟偨僼傽僀儖偐傜僶僀僫儕乕儌乕僪偱1僶僀僩偢偮僼傽僀儖傪撉傒崬傒丄 # 僼傽僀儖偺撪梕傪16恑悢偱帵偟偨傕偺傪戞2堷悢偵巜掕偟偨僼傽僀儖偵彂偒崬傓僾儘僌儔儉傪嶌惉偣傛丅偨偩偟丄16僶僀僩偛偲偵夵峴傪擖傟傞偙偲丅 # (幚峴) # >free1.exe丂test.txt丂test2.txt # # 偱偟傚丠
548 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 13:35:45 ] >>545 >>483 巊梡尵岅丗J 暋悢偺栤戣偩偲姩堘偄偟偰偄偨偺偱傗傝捈偟傑偟偨丅 read=: 1!:1 write=: 1!:2 f=: monad define COM=. 30?100 MAN=. y Work=. 100#0 COM=. I.1(COM)}Work MAN=. I.1(MAN)}Work count=. +/MAN e. COM data=. ,((":COM),(":MAN),:":count),.LF data write<'result.out' ) f 5 10 77 85 99 43 read<'result.out' 4 9 12 14 16 20 21 22 23 26 30 31 34 36 37 40 60 61 62 63 65 67 70 77 82 84 92 93 98 99 5 10 43 77 85 99 2
549 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 13:54:12 ] >>539 % Prolog 側傜傃傪偢傜偟偰壛嶼(L1,L2,L) :- 丂丂append(L1,[0],L3), 丂丂append([0],L2,L4), 丂丂峴楍偺揮抲([L3,L4],L5), 丂丂findsum(U,member(U,L5),L).
550 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 13:55:30 ] >>546 偼 >>536 偵婛弌偱偟偨丅>>536 偺曽傪巊偭偰偔偩偝偄丅
551 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 14:35:38 ] >>539 巊梡尵岅丗R > f <- function(a,b) c(a,0)+c(0,b) > f(c(1,2,3),c(7,8,9)) [1] 1 9 11 9
552 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 14:37:21 ] >>539 巊梡尵岅丗maxima (%i3) f(a,b):=endcons(0,a)+cons(0,b); (%o3) f(a, b) := endcons(0, a) + cons(0, b) (%i4) f([1,2,3],[7,8,9]); (%o4) [1, 9, 11, 9]
553 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 14:54:28 ] >>539 巊梡尵岅丗Scilab -->deff('r=f(a,b)','r=[a,0]+[0,b]') -->f(1:3,7:9) ans = 1. 9. 11. 9.
554 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 15:54:09 ] >>547 % Prolog program :- 丂丂user_parameters([FileIn,FileOut]), 丂丂open(FileIn,read,Input,[type(binary)]), 丂丂open(FileOut,write,Output), 丂丂get_byte(Input,C), 丂丂free1(0,Input,Output,C), 丂丂close(Output), 丂丂close(Input). free1(_,_,_,-1) :- !. free1(16,Input,Output,C) :- 丂丂write(Output,'\n'), 丂丂free1(0,Input,Output,C),!. free1(M,Input,Output,C) :- 丂丂free1(M,Input,Output,C) :- 丂丂俶恑悢(16,C,A), 丂丂write(Output,A), 丂丂get_byte(Input,C2), 丂丂M2 is M + 1, 丂丂free1(M2,Input,Output,C2). % 俶恑悢/3偺掕媊偼 nojiriko.asia/prolog/j68_493.html 嶲徠
555 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 16:01:21 ] pc12.2ch.net/test/read.cgi/tech/1263824755/406 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌墳梡墘廗 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 mikilab.doshisha.ac.jp/dia/research/report/2008/1118/002/report20081118002.html #丂[5] 偦偺懠偺惂尷丗 儔僀僽儔儕偼巊傢偢丅栤戣暥偺儕儞僋愭偺僾儘僌儔儉(DIRECT)傪慻傓丅 # 傛傠偟偔偍婅偄偟傑偡丅偱偒傟偽夝愢傪晅偗偰偔偩偝傞偲彆偐傝傑偡丅 [2]偺僒僀僩傪僐僺乕偡傞偙偲偼崲擄偱偟偨丅捈愙嶲徠偟偰偔偩偝偄丅
556 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 17:07:57 ] >>537 % Prolog (偦偺堦) % consult/1,reconsult/1,assertz/1,retract/1,clause/2,listing/1 傪嵟廔揑偵巊梡偟傑偡丅 % 幚柋偱偼傕偭偲偢偭偲挌擩偵僠僃僢僋偟側偑傜恑傒傑偡丅偙偙偱偼娙扨偵 廧強偺搊榐 :- 丂丂柤帤偼(_柤帤), 丂丂柤慜偼(_柤慜), 丂丂梄曋斣崋偼(_梄曋斣崋), 丂丂廧強偼(_廧強), 丂丂揹榖斣崋偼(_揹榖斣崋), 丂丂儊乕儖傾僪儗僗偼(_儊乕儖傾僪儗僗), 丂丂廧強偺搊榐((_柤帤,_柤慜,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗),!. 廧強偺搊榐(_柤帤,_柤慜,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗) :- 丂丂\+(廧強榐(_柤帤,_柤慜,_梄曋斣崋_1,_廧強_1,_揹榖斣崋_1,_儊乕儖傾僪儗僗_1)), 丂丂assertz(廧強榐(_柤帤,_柤慜,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗)), 丂丂write('搊榐傪姰椆偟傑偟偨\n'),!. 廧強偺搊榐(_柤帤,_柤慜,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗) :- 丂丂廧強榐(_柤帤,_柤慜,_梄曋斣崋_1,_廧強_1,_揹榖斣崋_1,_儊乕儖傾僪儗僗_1), 丂丂偙偺巵柤偼婛偵搊榐偑偁傝傑偡偑(_柤帤,_柤慜,_梄曋斣崋_1,_廧強_1,_揹榖斣崋_1,_儊乕儖傾僪儗僗_1,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗),!. 偙偺巵柤偼婛偵搊榐偑偁傝傑偡偑(_柤帤,_柤慜,_梄曋斣崋_1,_廧強_1,_揹榖斣崋_1,_儊乕儖傾僪儗僗_1,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗) :- 丂丂write_formatted('%t %t偲偄偆巵柤偼埲壓偺捠傝婛偵搊榐偑偁傝傑偡偑\n%t %t %t%t %t %t',[_柤帤,_柤慜,_柤帤,_柤慜,_梄曋斣崋_1,_廧強_1,_揹榖斣崋_1,_儊乕儖傾僪儗僗_1]), 丂丂write('暿恖偲峫偊偰搊榐偟偰傛偄偱偟傚偆偐 Y or N 偱偍摎偊偔偩偝偄 : '), 丂丂get_line(Line), 丂丂偙偺巵柤偼婛偵搊榐偑偁傝傑偡偑(Line,_柤帤,_柤慜,_梄曋斣崋,_廧強,_揹榖斣崋,_儊乕儖傾僪儗僗).
557 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 20:23:21 ] pc12.2ch.net/test/read.cgi/tech/1263824755/409 # [1] C尵岅墘廗 # [2] # int x[10]={-1,2,-3,4,-5,6,-7,8,-9,10} # int y[10]={-5,-4,-3,-2,-1,1,2,3,4,5} # 偑梌偊傜傟偰偄傞丅 # 抣x[0]*y[0]+2*x[1]*y[1]+3*x[2]*y[2]+4*x[3]*y[3]+5*x[4]*y[4]+6*x[5]*y[5] # 偑嵟戝乛嵟彫偵側傞傛偆偵x,y偺奺梫慺傪暲傋懼偊偨傕偺傪弌椡偡傞僾儘僌儔儉
558 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 21:33:56 ] >>557 偺掶惓偲偟偰弌偝傟傑偟偨偑丄偦傟偧傟撈棫偺栤戣偲偟傑偟傚偆丅 pc12.2ch.net/test/read.cgi/tech/1263824755/409 # [1] C尵岅墘廗 # [2] # int x[10]={-1,2,-3,4,-5,6,-7,8,-9,10} # int y[10]={-5,-4,-3,-2,-1,1,2,3,4,5} # 偑梌偊傜傟偰偄傞丅 # 抣x[0]*y[0]-2*x[1]*y[1]+3*x[2]*y[2]-4*x[3]*y[3]+5*x[4]*y[4]-6*x[5]*y[5]+7*x[6]*y[6]-8*x[7}*y[7]+9*x[8]}*y[8]-10*x[9]*x[9] # 偑嵟戝乛嵟彫偵側傞傛偆偵x,y偺奺梫慺傪暲傋懼偊偨傕偺傪弌椡偡傞僾儘僌儔儉
559 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 21:42:32 ] pc12.2ch.net/test/read.cgi/tech/1263824755/418 # [1] C尵岅僾儘僌儔儈儞僌墘廗(戝妛愱栧壽掱慖戰嫵壢婜枛壽戣) # [2]ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10483 .txt # 埲壓偺SQL暥偱掕媊偝傟傞僥乕僽儖偵懳偡傞 # SQL憖嶌傪僥乕僽儖偵懳墳偡傞揔摉側峔憿懱攝楍 # struct_SEISEKIHYOU傪掕媊偡傞偙偲偵傛傝 # 侾娭悢偲偟偰幚憰偣傛丅 # 娭悢偼 # list(struct_SEISEKIHYOU* table,int N); # 偲偡傞丅張棟岠棪傪廫暘偵峫偊傞偙偲丅 # # 僥乕僽儖掕媊丗 # CREATE TABLE SEISEKIHYOU ( # TANNINN VARCHAR, //扴擟嫵巘 # NAME VARCHAR,//惗搆柤 # KOKUGO INTEGER,//崙岅摼揰 # SUUGAKU INTEGER//悢妛摼揰 # RIKA INTEGER,//棟壢摼揰 # SYAKAI INTEGER,//幮夛摼揰 # EIGO INTEGER,//塸岅摼揰 # ) #
560 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/01(寧) 21:44:36 ] >>559 栤戣偺偮偯偒偱偡丅 # # SQL憖嶌丂 SELECT偱儕僗僩傾僢僾偝傟傞崁栚儕僗僩 # 傪僐儞僜乕儖弌椡偝偣傞丅 # # SELECT X.TANNINN,X.NAME,X.SUUGAKU,X.KOKUGO # FROM SEISEKIHYOU AS X # WHERE # SUUGAKU>=KOKUGO # AND # SUUGAKU>=RIKA # AND # SUUGAKU>=SYAKAI # AND # SUUGAKU>=EIGO # AND # (KOKUGO+SUUGAKU+RIKA+SYAKAI+EIGO)/5.0 # >=(SELECT (AVG(KOKUGO)+AVG(SUUGAKU)+AVG(RIKA) # +AVG(SYAKAI)+AVG(EIGO))/5.0 FROM SEISEKIHYOU # GROUP BY TANNINN) HAVING COUNT(*)>= # (SELECT COUNT(*) FROM SEISEKHYOU GROUP BY # TANNINN HAVING TANNINN=X.TANNNIN) # # ORDER BY X.TANNIN,X.NAME,X.SUUGAKU;
561 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 03:12:54 ] pc12.2ch.net/test/read.cgi/tech/1263824755/420 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌幚慔 # [2] 栤戣暥 # 傾僼傿儞曄姺偺僾儘僌儔儉傪嶌惉偟丄壓偺恾偺恀傫拞傪嵗昗偺拞怱偵偟偰90亱夞揮偟偨寢壥傪弌椡偣傛丅 # (恾)affin.txt # 00000 # 00000 # 11111 # 00000 # 00000 #
562 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:30:07 ] >>538 % Prolog (偦偺堦) program :- 丂丂user_parameters([_僼傽僀儖柤]), 丂丂'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(Lines), 丂丂tell(_僼傽僀儖柤), 丂丂write_formatted('%10s丂丂丂丂%4s\n',[柤慜,擭楊]), 丂丂'柤慜丒擭楊偺峴昞帵'(Lines), 丂丂told. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(Lines) :- 丂丂get_code(Code), 丂丂'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(Code,Lines),!. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(-1,[]) :- !. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(Code,[[_柤慜,_擭楊]|R]) :- 丂丂'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(Code,RCode,Codes), 丂丂atom_codes(Line,Codes), split(Line,[' ',','],[_柤慜,_擭楊]), 丂丂'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒'(RCode,R). 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(-1,-1,[]) :- !. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(26,-1,[]) :- !. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(10,Code2,[]) :- 丂丂傂偲偮愭撉傒偑摨帪偵廔椆僗僥乕僞僗偵傕側傞(Code2),!. 'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(Code1,RCode,[Code1|R]) :- 丂丂get_code(Code2), 丂丂'EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺峴撉傒崬傒'(Code2,RCode,R).
563 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:31:08 ] >>538 % Prolog (偦偺擇) 傂偲偮愭撉傒偑摨帪偵廔椆僗僥乕僞僗偵傕側傞(Code2) :- get_code(Code2),!. 柤慜丒擭楊偺峴昞帵([]) :- !. 柤慜丒擭楊偺峴昞帵([[_柤慜,_擭楊]|R]) :- 丂丂write_formatted('%12s%t\n',[_柤慜,_擭楊]), 丂丂柤慜丒擭楊偺峴昞帵(R).
564 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:32:07 ] > EOF偑僐儞僩儘乕儖Z偱偁傞僼傽僀儖偺撉傒崬傒 w
565 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:36:16 ] >>564 傗傟傗傟ww
566 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:53:35 ] pc12.2ch.net/test/read.cgi/tech/1262163854/556 # 偙傫偽傫偼丏幐楃偟傑偡丏 # 尰嵼丆師偺傛偆側壽戣偵庢傝慻傫偱偄傑偡丏 # 傕偟傛傠偟偗傟偽偙偺擄栤傪僴僢僋偟偰偄偨偩偗側偄偱偟傚偆偐丏 # (偱偒傟偽C偱丒丒丒) # # N屄偺梫慺偑偁傝丆偦偺丆偡傋偰偺慻傒崌傢偣(2^N慻)偵懳偟偰丆 # 偦傟偧傟偵抣偑寛傑偭偰偄傞傕偺偲偟傑偡丏 # 偦偟偰丆偁傞慻傒崌傢偣偺抣偼丆偦偺慻傒崌傢偣偺拞偺晹暘廤崌偺 # 偳傫側榓傛傝傕戝偒偄偱偡丏 # # 傑偨0屄偺廤崌偱偼抣偼0偲偟傑偡丏 # # 偙偆偟偨応崌偵丆慡偰偺慻傒崌傢偣偺抣傪埲忋偺儖乕儖偵懃偭偨傑傑 # 棎悢傪梡偄偰寛掕偟偨偄偲峫偊偰偄傑偡丏 # # 嬶懱揑偵偼 # 梫慺偑堦偮偺慻傒崌傢偣偼棎悢丏偨偲偊偽A偺傒偺廤崌偺応崌 v(A)=random # 梫慺偑2偮偱偼丆v(A,B)=v(A)+v(B) + random # 俁偮偱偼丆v(A,B,C) = max(v(A,B)+v(C), v(B,C)+v(A), v(C,A)+v(B)) + random # 偲側傝傑偡丏 # # 偙偺曽幃偱丆慡偰偺慻傒崌傢偣偵抣傪摉偰偼傔傞偙偲傪峫偊偰偄傞偺偱偡偑 # 僐乕僪偵棊偲偟崬傓偙偲偑弌棃傑偣傫丏
567 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 04:56:05 ] >>566 偮偯偒 # 崱偺偲偙傠丆奺慻傒崌傢偣傪埲壓偺傛偆側擇恑悢偱昞偦偆偲峫偊偰偄傑偡丏(N=3偺応 崌) # 奺峴偺堦楍栚偑1偼A偑偦偺慻傒崌傢偣偵偄傞偙偲傪堄枴偟丆 # 擇楍栚偼B丆嶰楍栚偼C傪昞偟偰偄傑偡丏 # # ABC V # 000 0 # 001 rc # 010 rb # 011 丠 # 100 ra # 101 丠 # 110 丠 # 111 丠 #
568 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 08:08:22 ] >>495 巊梡尵岅丗J f=: monad define l=.(#y)-2 t=.(l,l)$ ucp'丂' g=.}.}:y y,(|:g),t,|.g),|.y ) f ucp'崱擔偼丄惏傟偱偡丅' 崱擔偼丄惏傟偱偡丅 擔丂丂丂丂丂丂丂偡 偼丂丂丂丂丂丂丂偱 丄丂丂丂丂丂丂丂傟 惏丂丂丂丂丂丂丂惏 傟丂丂丂丂丂丂丂丄 偱丂丂丂丂丂丂丂偼 偡丂丂丂丂丂丂丂擔 丅偡偱傟惏丄偼擔崱
569 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 09:37:53 ] >>559 % Prolog 'SQL憖嶌偵懳墳偡傞弎岅掕媊'(X) :- 丂丂findall([TANNINN,NAME,SUGAKU,KOKUGO], 丂丂( 丂丂丂丂findall(TANNINN,'SEISEKIHYOU'(TANNINN,_,_,_,_,_,_),L1),sort(L1,L2), 丂丂丂丂'SEISEKIHYOU'(TANNINN,NAME,KOKUGO,SUUGAKU,RIKA,SYAKAI,EIGO), 丂丂丂丂SUUGAKU>=KOKUGO,SUUGAKU >= RIKA,SUUGAKU>=SYAKAI,SUUGAKU>=EIGO, 丂丂丂丂U1 is (KOKUGO+SUUGAKU+RIKA+SYAKAI+EIGO)/5.0, 丂丂丂丂findall(AVGs,(member(TANNINN2,L2),findavg([KOKUGO2,SUUGAKU2,RIKA2,SYAKAI2,EIGO2],'SEISEKIHYOU'(TANNINN2,NAME2,KOKUGO2,SUUGAKU2,RIKA2,SYAKAI2,EIGO2),AVGs)),L3), 丂丂丂丂sum(L3,SUM1), 丂丂丂丂U2 is SUM1 / 5.0, 丂丂丂丂U1 >= U2, 丂丂丂丂findavg(KOKUGO3,('SEISEKIHYOU'(TANNINN,_,KOKUGO3,_,_,_,_),KOKUGOAVG), 丂丂丂丂KOKUGO > AVGKOKUGO) 丂丂),L4), 丂丂sort(L4,L5), 丂丂member(X,L5).
570 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 11:14:43 ] >>496 巊梡尵岅丗J f=: monad define t=.<;._2 y for_i. i.#t do. smoutput (":>:i),':',":|.;i{t end. ) read=: 1!:1 f ucp read <'test2.txt' 1:偱塉丄偼擔嶐丅偡偱傟惏丄偼擔崱 2:屻柧丅偆傚偟偱撥丄偼擔柧丅偨偟 3:丅偐偆傚偟偱惏夣丄偼擔
571 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 11:18:26 ] >>556 壗傪偄偭偰偄傞偺偐傢偐傜側偄偺偱尦僗儗傪擿偄偰偒傑偡丅
572 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 11:24:32 ] >>571 偡傒傑偣傫丅>>556 偱偼側偔>>566 偱偟偨丅 尦僗儗偱傕幙栤幰偑栤戣傪棟夝偟偰偄側偄偩傠偆偲巜揈偝傟偰偄傑偟偨丅
573 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 12:01:03 ] >>542 % Prolog 椺偊偽偙傫側嬶崌偵彂偒恑傔傞丅偙傟偐傜偑戝曄丅 斕攧堳偺惓偟偄峴摦(_偍媞條,_偍媞條偺梫媮,_斕攧堳偺惓偟偄峴摦) :- 丂丂偍媞條偺梫媮偺梫栺(_偍媞條,_偍媞條偺梫媮,_偍媞條偺梫媮偺梫栺), 丂丂偍媞條偺梫媮偺梫栺偐傜斕攧堳偺惓偟偄峴摦傪峫偊傞(_偍媞條偺梫媮偺梫栺,_斕攧堳偺惓偟偄峴摦). 偍媞條偺梫媮偺梫栺(_偍媞條,_偍媞條偺梫媮,_偍媞條偺梫媮偺梫栺) :- 丂丂偍媞條偑偳傫側曽偐柧妋偵偡傞(_偍媞條,_偍媞條偺忣曬), 丂丂偍媞條偑娭怱傪偍帩偪偺暘栰傪柧妋偵偡傞(_偍媞條,_偍媞條偺忣曬,_偍媞條偑娭怱傪偍帩偪偺暘栰), 丂丂偍媞條偺忣曬傪夝愅偟偰梫媮傪梫栺偡傞(_偍媞條,_偍媞條偺梫媮,_偍媞條偺忣曬,_偍媞條偑娭怱傪偍帩偪偺暘栰,_偍媞條偺梫媮偺梫栺). 偍媞條偑偳傫側曽偐柧妋偵偡傞(_偍媞條,_偍媞條偺忣曬) :- 屭媞忣曬(_偍媞條,_偍媞條偺忣曬). 偍媞條偑娭怱傪偍帩偪偺暘栰傪柧妋偵偡傞(_偍媞條,_偍媞條偺忣曬,_偍媞條偑娭怱傪偍帩偪偺暘栰) :- 丂丂峸攦忣曬(_偍媞條,_夁嫀偺峸攦忣曬側傜傃,_夁嫀偺僋儗乕儉側傜傃), 丂丂娭怱偺偁傞暘栰恌抐(_偍媞條,_夁嫀偺峸攦忣曬側傜傃,_夁嫀偺僋儗乕儉側傜傃,_偍媞條偑娭怱傪偍帩偪偺暘栰). 偍媞條偺忣曬傪夝愅偟偰梫媮傪梫栺偡傞(_偍媞條,_偍媞條偺梫媮,_偍媞條偺忣曬,_偍媞條偑娭怱傪偍帩偪偺暘栰,_偍媞條偺梫媮偺梫栺) :- 丂丂嬪峔憿夝愅(_偍媞條偺梫媮,_夝愅偝傟偨嬪峔憿), 丂丂嬪峔憿偐傜僉乕儚乕僪傪廍偄弌偟偰堄枴傪悇掕偡傞(_夝愅偝傟偨嬪峔憿,_僉乕儚乕僪側傜傃,_偍媞條偺梫媮偺梫栺).
574 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 12:23:19 ] >>497 巊梡尵岅丗J f=: monad define t=:<;._2 y for_i. i.#t do. s=.;i{t w=.":#cutopen s smoutput (":>:i),':',":s smoutput '亖亜',(":#s),'暥帤丄',w,'儚乕僪' end. ) read=: 1!:1 f read<'test3.txt' 1:And friends just can't be found 亖亜31暥帤丄6儚乕僪 2:Like a bridge over troubled water 亖亜33暥帤丄6儚乕僪 3:I will lay me down 亖亜18暥帤丄5儚乕僪
575 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 14:05:25 ] >>498 巊梡尵岅丗J f=: monad define 'M D'=.y t=.0 0 31 59 90 120 151 181 212 243 273 304 334 w=.ucp'栘嬥搚擔寧壩悈' a=.(7|(M{t)+D){w smoutput (":M),(ucp'寧'),(":D),(ucp'擔偼丄'),a,ucp'梛擔偱偡丅' ) f 9 15 9寧15擔偼丄悈梛擔偱偡丅
576 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 17:22:34 ] >>510 巊梡尵岅丗J f=: dyad def ';,|:(;/x),:;/y' 'asdfgh' f '123' a1s2d3fgh
577 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 17:27:22 ] >>512 巊梡尵岅丗J test2=: dyad def 'y-:~.x' 'abccba' test2 'abc' 1 'abcbc' test2 'cba' 0
578 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 18:11:22 ] pc12.2ch.net/test/read.cgi/tech/1248012902/827 # 亂丂壽戣丂亃 ime.nu/rg550.hp.infoseek.co.jp/cgi-bin/joyful/img/918.txt # 壽戣侾 # 儔乕儊儞傪僆僽僕僃僋僩巜岦偱昞尰丅 # 俁庬椶掱搙偺儔乕儊儞偑昞尰偱偒傞傛偆偵偡傞丅 # 僼傿乕儖僪丄儊僜僢僪丄僆乕僶乕儘乕僪丄僆乕僶乕儔僀僪丄僇僾僙儖壔乮懠僋儔僗偐傜偺傾僋僙僗偼get儊僜僢僪偲set儊僜僢僪偺傒乯偑妋幚偵昞尰偝傟偰偄傞偙偲丅 # # 幚峴偼埲壓偺僋儔僗偐傜屇傃弌偝傟傞 # class RamenExample{ # public static void main(String [] args){ # Ramen shouyuRamen = new Ramen("偟傚偆備"); # Ramen misoRamen = new Ramen("傒偦"); # Ramen shioRamen = new Ramen("偟偍"); # } # } # # 傑偨丄埲壓偺僋儔僗偼惗惉偑忦審 # class Ramen{ } # class Utsuwa{ } # class Soup{ } # class Pasta{ } # class Topping{ }
579 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 18:14:12 ] pc12.2ch.net/test/read.cgi/tech/1248012902/827 # 亂丂壽戣丂亃 ime.nu/rg550.hp.infoseek.co.jp/cgi-bin/joyful/img/918.txt # 壽戣俀 # 埲壓偺丄偍嬥傪偆偗偲傝丄偍偮傝傪寁嶼偡傞僾儘僌儔儉傪偮偔傝側偝偄丅 # # 偙偙偐傜丄傛偔傢偐傜側偔側傝傑偟偨丅 # 偨偲偊偽丄6200墌偺攦偄暔傪偟偰丄7000墌庴偲傞偲丄100墌傪8枃偭偰寁嶼偟偨偄偱偡丅 #
580 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/02(壩) 21:11:17 ] >>579 % Prolog (偦偺堦) 嬥庬寁嶼(0,_,[]) :- !. 嬥庬寁嶼(_偍偮傝巆崅,[],[]) :- _偍偮傝巆崅 > 0,write('儗僕晄懌偱偡\n'),!,fail. 嬥庬寁嶼(_偍偮傝巆崅,[_嬥庬|R1],[(_嬥庬,B)|R2]) :- 丂丂_偍偮傝巆崅 >= _嬥庬, 丂丂嬥庬偑懌傝傞(_偍偮傝巆崅,_嬥庬,N,B), 丂丂_巆傝嬥妟 is _偍偮傝巆崅 mod _嬥庬, 丂丂嬥庬寁嶼(_巆傝嬥妟,R1,R2). 嬥庬寁嶼(_偍偮傝巆崅,[_嬥庬|R1],[(_嬥庬,N)|R2]) :- 丂丂_偍偮傝巆崅 >= _嬥庬, 丂丂嬥庬偑懌傝側偄(_偍偮傝巆崅,_嬥庬,N,B), 丂丂_巆傝嬥妟 is _偍偮傝巆崅 - _嬥庬 * N, 丂丂嬥庬寁嶼(_巆傝嬥妟,R1,R2). 嬥庬寁嶼(_偍偮傝巆崅,[_嬥庬|R1],R2) :- 丂丂_偍偮傝巆崅 >= _嬥庬, 丂丂\+(儗僕偺拞(_嬥庬,N)), 丂丂嬥庬寁嶼(_偍偮傝巆崅,R1,R2). 嬥庬寁嶼(_偍偮傝巆崅,[_嬥庬|R1],R2) :- 丂丂_偍偮傝巆崅 < _嬥庬, 丂丂嬥庬寁嶼(_偍偮傝巆崅,R1,R2). 嬥庬偑懌傝傞(_偍偮傝巆崅,_嬥庬,N,B) :- 丂丂儗僕偺拞(_嬥庬,N), 丂丂B is _偍偮傝巆崅 // _嬥庬, 丂丂N >= B,!. 嬥庬偑懌傝側偄(_偍偮傝巆崅,_嬥庬,N,B) :- 丂丂儗僕偺拞(_嬥庬,N), 丂丂B is _偍偮傝巆崅 // _嬥庬, 丂丂N < B,!.
581 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 03:21:11 ] >>579 (偦偺擇) % Prolog 偙偪傜偑僩僢僾儗儀儖丂>>580 偼儗僕偺拞恎傪峏怴偡傞偺傪朰傟偰偄傞 偍偮傝偺寁嶼(_偍攦偄忋偘嬥妟,_偆偗偲偭偨偍嬥,_嬥庬) :- 丂丂_庴偗庢偭偨偍嬥 > _偍攦偄忋偘嬥妟, 丂丂_偍偮傝 is丂_偆偗偲偭偨偍嬥 - _偍攦偄忋偘嬥妟, 丂丂嬥庬寁嶼(_偍偮傝,[10000,5000,2000,1000,500,100,50,10,5,1],_嬥庬).
582 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 03:25:18 ] >>580 >>581 堦斒偵丄媼椏寁嶼偺堦晹偵嬥庬寁嶼偑尰傟傞応崌偼丄嬧峴偑偦偺嬥庬傪 梡堄偡傞傕偺偲峫偊傜傟傞偐傜丄儗僕偺拞恎偵偮偄偰偺峫椂偼昁梫側偄偑丄 偍偮傝偺応崌偼儗僕偺撪梕偑寁嶼傪庡摫偡傞丅
583 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 05:26:20 ] >>225 % Prolog (偦偺堦) '侽偐傜侾侽偺拞偐傜儔儞僟儉偵惍悢偺俀慻傪寛傔傞丅偦傟傪暯柺忋偺嵗昗偲丄嵗昗傪侾侽屄偮偔傞丅'(_侾侽屄偺嵗昗揰側傜傃) :- 丂丂'嵗昗傪侾侽屄偮偔傞丅'(1,_侾侽屄偺嵗昗揰側傜傃). 嵗昗傪侾侽屄偮偔傞丅'(N,[]) :- N > 10,!. 嵗昗傪侾侽屄偮偔傞丅'(N,[[X,Y]|R]) :- 丂丂'侽偐傜侾侽偺拞偐傜儔儞僟儉偵惍悢偺俀慻傪寛傔傞丅'(X,Y), 丂丂N2 is N + 1, 丂丂嵗昗傪侾侽屄偮偔傞丅'(N2,R). '侽偐傜侾侽偺拞偐傜儔儞僟儉偵惍悢偺俀慻傪寛傔傞丅'(X,Y) :- X is random mod 9,Yis random mod 9. 儐乕僓偵嵗昗傪擖椡偝偣丄偦偺揰偐傜嵟傕墦偄揰偲嬤偄揰傪媮傔傞丅(_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰,_嵟傕嬤偄揰) :- 丂丂儐乕僓偵嵗昗傪擖椡偝偣丄(X,Y), 丂丂偦偺揰偐傜嵟傕墦偄揰偲嬤偄揰傪媮傔傞(_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗), 丂丂儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗). 儐乕僓偵嵗昗傪擖椡偝偣丄(X,Y) :- 丂丂嵜懀晅偒惍悢擖椡('X嵗昗傪擖椡偟偰偔偩偝偄 :',X), 丂丂嵜懀晅偒惍悢擖椡('Y嵗昗傪擖椡偟偰偔偩偝偄 :',Y),!. 偦偺揰偐傜嵟傕墦偄揰偲嬤偄揰傪媮傔傞丅(_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- 丂丂儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃傪摼傞(_侾侽屄偺嵗昗揰側傜傃,X,Y,_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃), 丂丂儐乕僓偺擖椡嵗昗偐傜嵟傕墦偄揰傪摼傞(_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃,X,Y,_嵟傕墦偄揰X嵗昗,_嵟傕墦偄揰Y嵗昗), 丂丂儐乕僓偺擖椡嵗昗偐傜嵟傕嬤偄揰傪摼傞(_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃,X,Y,_嵟傕嬤偄揰X嵗昗,_嵟傕嬤偄揰Y嵗昗),!.
584 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 06:20:55 ] >>225 % prolog (偦偺擇) 儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃傪摼傞([],_,_,[]) :- !. 儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃傪摼傞([[X1,Y1]|R1],X,Y,[[_嫍棧,X1,Y1]|R2]) :- 丂丂_嫍棧 is sqrt(((Y1-Y)^2 + (X1-X)^2)), 丂丂儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃傪摼傞(R1,X,Y,R2). 儐乕僓偺擖椡嵗昗偐傜嵟傕墦偄揰傪摼傞(_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃,X,Y,_嵟傕墦偄揰X嵗昗,_嵟傕墦偄揰Y嵗昗) :- 丂丂findmax(L,member(L,_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃),[_嵟傕墦偄嫍棧,_嵟傕墦偄揰X嵗昗,_嵟傕墦偄揰Y嵗昗]). 儐乕僓偺擖椡嵗昗偐傜嵟傕嬤偄揰傪摼傞(_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃,X,Y,_嵟傕嬤偄揰X嵗昗,_嵟傕嬤偄揰Y嵗昗) :- 丂丂findmin(L,member(L,_儐乕僓偺擖椡揰偐傜偺嫍棧側傜傃),[_嵟傕嬤偄嫍棧,_嵟傕嬤偄揰X嵗昗,_嵟傕嬤偄揰Y嵗昗]). 儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- 丂丂儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(0,0,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗). 儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(M,N,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- N > 9,!. 儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(M,N,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- 丂丂M > 9,N2 is N + 1,wr('\n'), 丂丂儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(0,N2,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗),!. 儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(M,N,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- 丂丂嵗昗揰昞帵(M,N,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗), 丂丂M2 is M + 1, 丂丂儐乕僓嵗昗偲侾侽屄偺嵗昗揰偺昞帵(M,N2,_侾侽屄偺嵗昗揰側傜傃,X,Y,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗).
585 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 06:23:40 ] >>225 % Prolog (偦偺嶰) 嵗昗揰昞帵(X,Y,_,X,Y,_,_,X,Y) :- write('仢'),!. 嵗昗揰昞帵(X,Y,_,X,Y,_,_,_,_) :- write('亊'),!. 嵗昗揰昞帵(_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_,_,_,_嵟傕墦偄揰偺X嵗昗,_嵟傕墦偄揰偺Y嵗昗,_,_) :- write('仠'),!. 嵗昗揰昞帵(_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗,_,_,_,_,_,_嵟傕嬤偄揰偺X嵗昗,_嵟傕嬤偄揰偺Y嵗昗) :- write('仜'),!. 嵗昗揰昞帵(M,N,_侾侽屄偺嵗昗揰側傜傃,_,_,_,_,_,_) :- member([M,N],侾侽屄偺嵗昗揰側傜傃),write('仮'),!. 嵗昗揰昞帵(_,_,_,_,_,_,_,_,_) :- write('丂'),!.
586 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 06:38:51 ] >>227 % Prolog program :- 丂丂user_parameters([A,B]), 丂丂atom_to_term(A,_幚悢1,_), 丂丂atom_to_term(B,_幚悢2,_), 丂丂sasho(_幚悢1,_幚悢2,_嵎,_彜,_恌抐), 丂丂program_1(_嵎,_彜,_恌抐),!. sasho(_幚悢1,_幚悢2,_嵎,_彜,0) :- 丂丂(_幚悢2 = 0.0;_幚悢=0), 丂丂_嵎 is _幚悢1 - _幚悢2,!. sasho(_幚悢1,_幚悢2,_嵎,_彜,1) :- 丂丂\+(_幚悢2 = 0.0), 丂丂\+(_幚悢=0), 丂丂_嵎 is _幚悢1 - _幚悢2, 丂丂_彜 is _幚悢1 / _幚悢2,!. program_1(_嵎,_彜,0) :- write_formatted('%t',[_嵎]),!. program_1(_嵎,_彜,1) :- write_formatted('%t,%t',[_嵎,_彜]),!.
587 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 06:42:17 ] >>227 掶惓 % Prolog 彍悢専嵏偺拞偱 _幚悢2 偲偡傞傋偒偲偙傠傪 _幚悢 偲偟偰偄偨傕偺偑偁傞丅 program :- 丂丂user_parameters([A,B]), 丂丂atom_to_term(A,_幚悢1,_), 丂丂atom_to_term(B,_幚悢2,_), 丂丂sasho(_幚悢1,_幚悢2,_嵎,_彜,_恌抐), 丂丂program_1(_嵎,_彜,_恌抐),!. sasho(_幚悢1,_幚悢2,_嵎,_彜,0) :- 丂丂(_幚悢2 = 0.0;_幚悢2=0), 丂丂_嵎 is _幚悢1 - _幚悢2,!. sasho(_幚悢1,_幚悢2,_嵎,_彜,1) :- 丂丂\+(_幚悢2 = 0.0), 丂丂\+(_幚悢2=0), 丂丂_嵎 is _幚悢1 - _幚悢2, 丂丂_彜 is _幚悢1 / _幚悢2,!. program_1(_嵎,_彜,0) :- write_formatted('%t',[_嵎]),!. program_1(_嵎,_彜,1) :- write_formatted('%t,%t',[_嵎,_彜]),!.
588 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 07:36:27 ] pc12.2ch.net/test/read.cgi/tech/1197620454/586 # 栤戣偙偪傜伀 # 奒忔 n! 傪寁嶼偡傞娭悢傪嶌惉偟丆 # 弴楍 # 丂値屄偺堎側傞傕偺偐傜倰屄庢傝弌偟偰暲傋傞丅 # 丂偙偺偲偒偺弴楍偺憤悢傪n俹r偲偁傜傢偡丅 # 丂n俹r亖n(n-1)(n-2)丒丒丒(n-r+1) # 傪寁嶼偡傞娭悢傪嶌惉偟丆 # # 慻傒崌傢偣 # 丂堎側傞値屄偐傜倰屄庢傝弌偟偰慻傪嶌傞丅 # 丂偙偺偲偒偺慻崌偣偺憤悢傪n俠r偲偁傜傢偡丅 # 丂nCr = nPr/r! # # 傪寁嶼偡傞僾儘僌儔儉傪嶌惉偟偰偔偩偝偄丅偱偒傟偽FORTRAN偱丅
589 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 08:27:50 ] >>588 % Prolog nPr(N,R,X) :- 丂丂U is N - R + 1, 丂丂奒忔(U,N,X). nCr(N,R,X) :- 丂丂U is N - R + 1, 丂丂奒忔(U,N,K1), 丂丂奒忔(R,K2), 丂丂X is K1 // K2 . 奒忔(M,N,1) :- M > N,!. 奒忔(M,N,X) :- 丂丂M2 is M + 1, 丂丂奒忔(M2,N,Y), 丂丂X is M * Y. 奒忔(0,1) :- !. 奒忔(1,1) :- !. 奒忔(N,X) :- 丂丂N2 is N - 1, 丂丂奒忔(N2,Y), 丂丂X is N * Y, 丂丂asserta((奒忔(N,X) :- (!))) .
590 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 16:35:57 ] >>211 % Prolog nojiriko.asia/prolog/c133_678.html
591 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 16:51:15 ] >>216 % Prolog search(Text,Pat,Start) :- 丂丂sub_atom(Text,Start,_,_,Pat),!. search(_,_,-1). search(Start) :- 丂丂write('Text :'),get_line(Text), 丂丂write('Pat :'),get_line(Pat), 丂丂search(Text,Pat,Start),!.
592 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 17:45:56 ] >>214 % Prolog 弎岅悢抣傪戞擇堷悢偑徃弴偵側傞傛偆偵掕媊偟捈偡丅偦偺嵺捛斣傪1偐傜怳傝捈偡 :- 丂丂findall(_抣,悢抣(_,_抣),L1), 丂丂quicksort(L1,L2), 丂丂abolish(悢抣/2), 丂丂弎岅悢抣傪戞擇堷悢偑徃弴偵側傞傛偆偵掕媊偟捈偡丅偦偺嵺捛斣傪1偐傜怳傝捈偡(1,L2). 弎岅悢抣傪戞擇堷悢偑徃弴偵側傞傛偆偵掕媊偟捈偡丅偦偺嵺捛斣傪1偐傜怳傝捈偡(_,[]) :- !. 弎岅悢抣傪戞擇堷悢偑徃弴偵側傞傛偆偵掕媊偟捈偡丅偦偺嵺捛斣傪1偐傜怳傝捈偡(M,[N|R]) :- 丂丂assertz(悢抣(M,N)), 丂丂M2 is M + 1, 丂丂弎岅悢抣傪戞擇堷悢偑徃弴偵側傞傛偆偵掕媊偟捈偡丅偦偺嵺捛斣傪1偐傜怳傝捈偡(M2,R).
593 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 18:33:33 ] >>530 巊梡尵岅丗J op=:a:,;/'+-' a=:,;&.>,{(<a:,<'-')0},(<op),.<&.>":L:0;/>:i.9 ;"1,.&(<'=100'),.a{~I.(<100)=".&.>a 123+45-67-8-9=100 123+4-5-67-89=100 123-45+67-89=100 123-4+5+6+7-8-9=100 12+3+4+5-6+7-89=100 12+3-4-5+67+8+9=100 12-3+4-5-6-7+89=100 1+23-4-56+7+8+9=100 1+23-4-5+6+78-9=100 1+2+34-5-67-8-9=100 1+2+3-4-5+6+78+9=100 -1-2-3-4+5+6+78+9=100
594 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/03(悈) 21:30:57 ] pc12.2ch.net/test/read.cgi/tech/1263824755/451 # [1] 庼嬈扨尦丗忣曬張棟擖栧 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 # rep1.ppm偲rep2.ppm偺2偮偺夋憸傪壛嶼偡傞僾儘僌儔儉傪嶌惉偣傛丏 # 僾儘僌儔儉拞偱壛嶼偟偨僨乕僞偼丆僐儞僩儔僗僩嫮挷傪峴偭偨忋偱 # PPM夋憸僼傽僀儖(h12r.ppm)偲偟偰曐懚偡傞傛偆偵偡傞偙偲丏 # 俠偺僜乕僗僼傽僀儖h12r.c偍傛傃幚峴偡傞偙偲偵傛傝嶌惉 # 偝傟傞夋憸僼傽僀儖傪採弌偡傞偙偲丏rep1.ppm偲rep2.ppm偺 # 僒僀僘偼偄偢傟傕墶124亊廲124夋慺偱偁傞丏h12r.ppm偺僒僀僘傕摨偠偲偡傞. # # rep1.ppm # ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10487.zip # rep2.ppm # ime.nu/kansai2channeler.hp.infoseek.co.jp/cgi-bin/joyful/img/10488.zip
595 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 [2010/02/04(栘) 00:50:42 ] 桪彑徿嬥俆侽侽枩墌 www.jaist.ac.jp/ICGA-events-2010/olympiad/ 1989擭偵儘儞僪儞偱戞1夞栚偺僐儞僺儏乕僞僆儕儞僺傾乕僪偑奐嵜偝傟傑偟偨丅 枅擭奐嵜偝傟傞杮僀儀儞僩偱偼丆僐儞僺儏乕僞僎乕儉僾儗僀儎乕摨巑偑嫞媄偟丆悽奅嵟崅埵傪寛掕偟傑偡丅 偙傟傑偱偺桪彑幰偵偼丆Neurogammon乮僶僢僋僊儍儌儞, 1989擭), Chinook 乮僠僃僢僇乕, 1989擭偍傛傃1990擭) 偦偟偰 Tacos乮彨婝, 2005擭, 2006擭, 2008擭, 2009擭乯側偳偑偁傝傑偡丅 僐儞僺儏乕僞僆儕儞僺傾乕僪偼崙嵺僐儞僺儏乕僞僎乕儉嫤夛乮ICGA乯偑庡嵜偟偰幚巤偝傟偰偄傑偡丅 嫞媄晹栧偵偼丆傾儅僝儞丆僶僢僋僊儍儌儞丆僽儕僢僕丆僐儞僺儏乕僞僾乕儖丆榋栚暲傋丆徾婝丆僪僢僣傾儞僪儃僢僋僗丆崙嵺僪儘乕僣丆埻岄丆9楬斦埻岄丆僿僢僋僗丆僴僶僫丆儔僀儞僘僆僽傾僋僔儑儞丆 彨婝丆僗儔僇儖僞側偳偑偁傝傑偡丅 偙偺懠偺僎乕儉傕僐儞僺儏乕僞偵傛傞嫞媄夛傪奐嵜偡傞壜擻惈偑偁傝傑偡丅庡嵜幰傑偱僐儞僞僋僩偟偰偔偩偝偄丅 2010擭偵戞15夞栚偲側傞僐儞僺儏乕僞僆儕儞僺傾乕僪偼嬥戲巗撪偱奐嵜偝傟傑偡丅 ICGA偲JAIST偲偺嫟摨僀儀儞僩偲偟偰9寧25擔偐傜10寧2擔偵偐偗偰嬥戲巗撪偱奐嵜偝傟傑偡丅 奺嫞媄偺擔掱偼屻擔寛掕偟傑偡丅 嶲壛怽偟崬傒側偳偺徻嵶傕屻擔偍抦傜偣抳偟傑偡丅
596 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/04(栘) 06:08:29 ] >>595 % Prolog 僐儞僺儏乕僞僆儕儞僺傾乕僪(桪彑徿嬥,俆侽侽枩墌). 僐儞僺儏乕僞僆儕儞僺傾乕僪('URL','www.jaist.ac.jp/ICGA-events-2010/olympiad/ '). 僐儞僺儏乕僞僆儕儞僺傾乕僪(楌巎,戞1夞栚,儘儞僪儞,1989). 僐儞僺儏乕僞僆儕儞僺傾乕僪(奐嵜,枅擭). 僐儞僺儏乕僞僆儕儞僺傾乕僪(庡嵜,'崙嵺僐儞僺儏乕僞僎乕儉嫤夛乮ICGA乯'). 僐儞僺儏乕僞僆儕儞僺傾乕僪(弌応幰,僐儞僺儏乕僞僎乕儉僾儗僀儎乕摨巑). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,傾儅僝儞). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僶僢僋僊儍儌儞). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僽儕僢僕). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僐儞僺儏乕僞僾乕儖). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,榋栚暲傋). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,徾婝). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僪僢僣傾儞僪儃僢僋僗). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,崙嵺僪儘乕僣). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,埻岄). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,'9楬斦埻岄'). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僿僢僋僗). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,僴僶僫). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,儔僀儞僘僆僽傾僋僔儑儞). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嫞媄晹栧,X) :- 怴偟偄嫞媄庬栚偵側傞(X). 僐儞僺儏乕僞僆儕儞僺傾乕僪(奐嵜梊掕,戞15夞,嬥戲巗撪,'2010擭','帺9寧25擔','帄10寧2擔'). 僐儞僺儏乕僞僆儕儞僺傾乕僪(戞15夞戝夛奐嵜宍懺,嫟摨僄儀儞僩). 僐儞僺儏乕僞僆儕儞僺傾乕僪(戞15夞戝夛嫟摨僄儀儞僩,庡嵜,'ICGA'). 僐儞僺儏乕僞僆儕儞僺傾乕僪(戞15夞戝夛嫟摨僄儀儞僩,庡嵜,'JAIST'). 僐儞僺儏乕僞僆儕儞僺傾乕僪(戞15夞戝夛,嫞媄擔掱,屻擔寛掕). 僐儞僺儏乕僞僆儕儞僺傾乕僪(嶲壛怽偟崬傒側偳偺徻嵶,屻擔偍抦傜偣抳偟傑偡).
597 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/04(栘) 06:28:59 ] pc12.2ch.net/test/read.cgi/tech/1263824755/455 # [1] 庼嬈扨尦丗 傾儖僑儕僘儉 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗壽戣俀亅俀偲俀亅俁偱偡丅 # 壽戣2-2 # 僐儅儞僪儔僀儞堷悢偱擖椡偝傟傞擟堄屄偺幚悢傪丆malloc娭悢偱摦揑偵妋曐偟偨攝楍偵 奿擺偡傞傛偆偵丆kadai2_1.c 傪廋惓偟偨僾儘僌儔儉 kadai2_2.c 傪嶌惉偣傛丏 # # 幚峴椺偼壽戣2-1偲摨偠丏 # -------------------------------------------------------------------------------- # 壽戣2-3 # 僐儅儞僪儔僀儞堷悢偱擖椡偝傟傞擟堄屄偺幚悢偵懳偟丆惍悢晹(integer part)偲彫悢晹(fractional part)偵暘妱偟丆幚峴椺偺傛偆偵弌椡偡傞僾儘僌儔儉 kadai2_3.c 傪嶌惉偣傛丏偨偩偟丆埲壓偺巇條傪枮懌偡傞偙偲丏 # # 幚悢抣丆惍悢晹丆彫悢晹傪儊儞僶偵傕偮峔憿懱傪掕媊偟丆峔憿懱偺攝楍偲偟偰棙梡偡傞偙偲丏 # 峔憿懱偺攝楍偼丆malloc娭悢傪棙梡偟偰摦揑偵妋曐偡傞偙偲丏 # 惍悢晹丆彫悢晹偺暘妱偍傛傃峔憿懱儊儞僶傊偺奿擺偼丆dividePart娭悢傪掕媊偟偰棙梡偡傞偙偲丏 # 峔憿懱攝楍偺撪梕傪幚峴椺偺傛偆偵弌椡偡傞 printData娭悢傪掕媊偟偰棙梡偡傞偙偲. # 峔憿懱攝楍偺撪梕傕偲偵惍悢晹偺崌寁丆彫悢晹偺崌寁丆幚悢抣偺崌寁傪弌椡偡傞 printSum娭悢傪掕媊偟偰棙梡偡傞偙偲丏
598 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/04(栘) 06:36:09 ] pc12.2ch.net/test/read.cgi/tech/1263824755/456 # [1] 庼嬈扨尦丗 僨乕僞墘廗 # [2] 栤戣暥(娷僐乕僪&儕儞僋)丗 # 偱偒側偐偭偨栤戣偼侾侾亅侾偱偡丅 # 壽戣侾侽亅侾傪巊偆栤戣側偺偱丄偱偒偰偄傞侾侽亅侾偺僜乕僗僐乕僪傪堦弿偵擖傟偰偄傑偡丅 # 偳側偨偐丄傛傠偟偔偍婅偄偟傑偡丅 # 壽戣10-1 # 僐儅儞僪儔僀儞堷悢偱巜掕偝傟傞惍悢楍傪弴斣偵擇暘扵嶕栘偵搊榐偟丆僉乕儃乕僪偐傜擖椡偝傟傞抣傪扵嶕偡傞僾儘僌儔儉 kadai10_1.c 傪嶌惉偣傛丏 # 傑偨丆嵟弶偵 inorder偱栘傪側偧偭偨寢壥傪帵偣丏 # # 壽戣10亅1偵斣暫傪摫擖偟偨僾儘僌儔儉 kadai11_1.c 傪嶌惉偣傛丏 # # 僸儞僩丗斣暫梡偵1屄偺僲乕僪傪掕媊偟丆僲乕僪偺NULL億僀儞僞偑斣暫傪巜偡傛偆偵偡傟偽傛偄丏 # 憓擖娭悢偲扵嶕娭悢丆inorder, main娭悢傪曄峏偡傟偽傛偄丏憓擖帪偺憓擖僲乕僪傪寛傔傞憖嶌傕斣暫傪巊偊偽傛偄丏 # 偦偺嵺丆弶婜忬懺偲偟偰丆root偑斣暫傪巜偡忬懺偐傜奐巒偡傞昁梫偑偁傞丏
599 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/04(栘) 06:38:48 ] pc12.2ch.net/test/read.cgi/tech/1263824755/459 # [1] 庼嬈扨尦丗僾儘僌儔儈儞僌幚慔 # [2] 栤戣暥 # 傾僼傿儞曄姺偺僾儘僌儔儉傪嶌惉偟丄壓偺恾偺恀傫拞傪嵗昗偺拞怱偵偟偰60亱嵍夞揮偟偨寢壥傪弌椡偣傛丅 # (恾)affin.txt # 000000000 # 000010000 # 000010000 # 000010000 # 011111110 # 000010000 # 000010000 # 000010000 # 000000000 #
600 柤慜丗僨僼僅儖僩偺柤柍偟偝傫 mailto:sage [2010/02/04(栘) 07:45:56 ] >>597 % Prolog program :- 丂丂user_parameters(L), 丂丂dividePart(L,L1), 丂丂assertz('>>597 峔憿懱'(L1)). dividePart([],[]) :- !. dividePart([A|R1],[(惍悢晹(_惍悢晹),彫悢晹(_彫悢晹),(幚悢抣(_幚悢抣))|R2]) :- 丂丂atom_to_term(A,_幚悢抣,_), 丂丂_惍悢晹 is float_integer_part(_幚悢抣), 丂丂_彫悢晹 is float_fractional_part(_幚悢抣), 丂丂dividePart(R1,R2). printData :- 丂丂'>>597 峔憿懱'(L), 丂丂printSum(L,0.0,0.0,0.0). printSum([],_惍悢晹偺崌寁,_彫悢晹偺崌寁,_幚悢抣偺崌寁) :- 丂丂write_formatted('惍悢晹偺崌寁=%t,彫悢晹偺崌寁=%t,幚悢抣偺崌寁=%t\n',[_惍悢晹偺崌寁,_彫悢晹偺崌寁,_幚悢抣偺崌寁]),!. printSum((惍悢晹(_惍悢晹),彫悢晹(_彫悢晹),(幚悢抣(_幚悢抣))|R1],_惍悢晹偺崌寁1,_彫悢晹偺崌寁1,_幚悢抣偺崌寁1) :- 丂丂_惍悢晹偺崌寁2 is _惍悢晹 + _惍悢晹偺崌寁1, 丂丂_惍悢晹偺崌寁2 is _彫悢晹 + _彫悢晹偺崌寁1, 丂丂_幚悢抣偺崌寁2 is _幚悢抣 + _幚悢抣偺崌寁1, 丂丂printSum(R1,_惍悢晹偺崌寁2,_彫悢晹偺崌寁2,_幚悢抣偺崌寁2).