/prog/ - SICP SICP SICP SICP

Name: Anonymous 2009-04-06 21:46

I heard that there is a SICP VN.
I heard it came from here.
Please tell me it is true and give me a link.

Name: Anonymous 2009-04-06 21:54

hwo i /prog/scrape lol ¯\(º_o)/¯

Name: Anonymous 2009-04-07 6:45

galuga

Name: Anonymous 2009-04-07 6:54

http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf

Name: Anonymous 2009-04-07 7:07

it's not going to be released publicly for another 30 years or so.
but i may be able to give you access to my secret area of Alpha SICP VN if you payme enough ;)

Name: Anonymous 2009-04-07 7:46

Have you read:
http://irc.nyaxtstep.com/sicp/

JAPANESE SICP SEMINAR ONLINE?

Name: Anonymous 2009-04-07 7:56

ニコニコ

Name: Anonymous 2009-04-07 7:57

23:46:26 <#sicp-seminar-online@freenode:a-san> schemeで内包表記っぽい関数はないのですか？

23:47:08 >#sicp-seminar-online@freenode:nyaxt< filter？

23:47:23 >#sicp-seminar-online@freenode:nyaxt< あー

23:47:29 >#sicp-seminar-online@freenode:nyaxt< infix op?

23:47:36 >#sicp-seminar-online@freenode:nyaxt< chigauna

23:47:37 >#sicp-seminar-online@freenode:nyaxt< なんだろう

23:48:33 >#sicp-seminar-online@freenode:nyaxt< 内包表記ってなんですか？

23:50:42 <#sicp-seminar-online@freenode:minke> sumOf3 s = [(x, y, z) | x <- [1..n], y <- [1..x], z <- [1..y], x + y + z == s]

23:50:52 <#sicp-seminar-online@freenode:minke> Haskell の内包表記だとこんなかんじ。

23:51:04 <#sicp-seminar-online@freenode:minke> filter と map の組み合わせが綺麗に書ける。

23:52:31 >#sicp-seminar-online@freenode:nyaxt< わおー

23:52:41 >#sicp-seminar-online@freenode:nyaxt< 8queenたいへんそうだなー

23:52:42 <#sicp-seminar-online@freenode:a-san> うん。なのでschemeだと、mapして全組み合わせを作ってから、filterする感じですかね？

23:52:59 >#sicp-seminar-online@freenode:nyaxt< haskellでの実装が気になる

23:53:11 >#sicp-seminar-online@freenode:nyaxt< 全部つくっちゃうんだろうなーやはり

23:53:57 >#sicp-seminar-online@freenode:nyaxt< と

23:54:01 >#sicp-seminar-online@freenode:nyaxt< よくみると1..xだ！

23:54:08 <#sicp-seminar-online@freenode:a-san> Haskellだと遅延評価なので、組み合わせを作りながら、同時並行でfilterしちゃう。

Name: Anonymous 2009-04-07 7:59

ONE WORD, 8queenたいへんそうだなー, THREAD OVER.

Name: Anonymous 2009-04-07 7:59

>>8
what the fuck it's impossible to get away from haskell faggots

Name: 8queenたへんうだー 2009-04-07 8:00

>>9
LOL

Name: Anonymous 2009-04-07 8:56

                       //`'''```,

             o        // LISP   `.,

       ,....OOo.   .c;.',,,.'``.,,.`

    .'      ____.,'.//

   / _____  \___/.'

  | / ||  \\---\|

  ||  ||   \\  ||

  co  co    co co

Name: Anonymous 2009-04-07 8:59

>>8
japan has it's own SICP obsessed /prog/?

Name: Anonymous 2009-04-07 9:04

>>13
>>13
>>13
>>13
HOW DID THIS HAPPEN??

Name: Anonymous 2009-04-07 13:46

>>12
>>12
>>12
>>12
HOW DID THIS HAPPEN??

Name: Anonymous 2009-04-07 15:33

>>11
>>11
>>11
>>11
HOW DID THIS HAPPEN??

Name: Anonymous 2009-04-07 16:01

>>14-16
lolfags
you should use >>13,13,13,13
learn2BBCODE

Name: Anonymous 2009-04-07 16:10

>>9000-1

Name: Anonymous 2009-04-07 16:36

言葉一つ：コードの強制字サゲ

Name: Anonymous 2013-01-19 23:43

/prog/ will be spammed continuously until further notice. we apologize for any inconvenience this may cause.

Name: Anonymous 2013-08-31 23:23

　　　　　　　　　　　　　　　/　/＜__＿/`ー'´::::::::::::!　　＼__＞-､_ ＼
　　　　　　　　　　　　　　/／／:;ﾊ:::::::::::::::::::::::::::::::　　　　/＼＿| ＼＼
　　　　　　　　　　　　　 _r|.／::／!:::ﾄ、:::::::::::::::::　　　　　　　　| 　＼ ':,
　　　ト.､　　　　　　　　 |_/:::／:::::|:::|::::::　　　　　　:　　/　　　　＼＿_,ﾊ ',
　　　|::::|`ー‐--､　　_／／‐‐-/::/__.　　＼　　　 i　/　　　　　　　　｀| ﾊ
　　　∨ヽ､￣＼:::Y´/:／　　 /::/　　｀'　､　＼　 /〉'　　　　　　　　 | 　|
　　　　＼::`＜´|:/´_]く＿_ｒ‐-'-‐ｧ─-､　＼　　 //--　　─　　　　￣＼_!
　　　　　/＼_,＞r'´　　　_」-─-'､＿　＼　　'､.//　　　　　　　　　　　〈_,|
　　　_ノ´￣　　 ,＞‐ '"´　　　　　　＼_/￣i___//　　　　　　　　　　　　 / ｲ
　　く__/￣ ,＞'´ 　　　,　　i　　　　　ヽ. ＼__.//|〉　　　　　　　　　　 /　/
　　/　＼,./　　i　　 /|　 ,ﾊ-‐-八　　 ', 　 //へ、　　　　　　　　　／／
　 └-､/7 　　 !-‐ｧ'　|／ｧ'〒ﾃｧt＼　 |　//ﾊ‐､/_＿　 __,,.. -‐''"´i／
　　　 └|　　｀ヽ| ｧ'=‐　　　ゝ-‐'´ | ＼.|//　 |‐'＿ｒ､￣　　,|＿ｒ‐'´
　　　　　｀ヽ. 　,ﾊ ,.　　,　　　　　"／|／ // 　 ,ﾊ、　　｀￣￣
　　　　　　　）ｲ /|　　　_　_,.　　/　/　.// 　 / 　＼
　ﾄ､　　　／.ﾚ' .ﾄ､, 　　　／　/ >//-‐-'､　 ,! 　＼
　/::::|　／　 / 　| /|｀＞/7￣`ｰく7://::::::::::::::｀Y .| 　　',＼
く:::::_|7´　_／!　　|'_」/ｧ// 　　／:://:::::::::::::::::::::∨　　 !　ﾊ
　>'´ヽ,イ::`7| .／::::/| //　　／|:::://!::::::::::::::::::::::::| 　 | /　　i
ノ｀Y´＼::／ |/:::::::/ ,//　／ノ´`ヽ/ |::::::::::::/::::::::::〉 ./|　ﾉ⌒7
　 / 　 /　　/::::ｧ'´二`''く/(i/´　　 ∨ｒ‐､_/::::::::;:ｲ／/|く::::::く
　,|　／　 r〈:::::/　 -‐ﾉ`ｰ':〈_ｒ-､　 |/´￣｀ヽこﾝ'.／ .|　＼_j､
/ ﾚ'　　　ｒ〉ｰ/　　ﾝ'〈/:::|__/ /､　＼　　 /イ / 　 ,ﾊ　〈　　＼
　,|　　　 i7／　　 /::::::::::/ / /:::ﾍ　　　＼ /|　|/　／　,|　ﾉ　　　）

Name: Anonymous 2013-09-01 0:55

　　　　　　　　　　　　_,,,.......,,,__　　､
　　　　　　　　,.　 '"´ ＿　　ﾄ.,_ﾝ　}、/＼　　　l二二 7
　　　　　 ,　'´　　_ /´ ‐､ヾ二ゝ--イﾊ／　　＿／∠.._ l二二 7
　ｒ''"ヽ. ,}￣|__r'´_]ア'"´　　　　　｀ﾞ'＜.ヽ＜] └─ｧ ;─┘　　｀
　｀ヽ,　∨,.ｲ　ノ´　 '　; 　　ﾊ　 ',　 ', ∨{　　　　〈〈　　ｒ-､
　　　ゝ-く_.r'´;'　　|　| .! |　.| |　_」_　|　'ｒ'　　　　　´　　ヽ二二ﾉ
　　　{　r '.／ |　 | _| _L」 |__」└'f七T|　,|　　　　　__ｒ-､__
　　ヽ.{ /　　|　 |lｒf七T　　　　弋ﾉ八/ !　　　　└┐┌┘ l二二ア
　　　　｀.| 　　|___八乂_ﾉ　　　　 ⊂∨! 　　　 l二　二l　　　/ / [][]
　　　　　| 　　 | 　⊂⊃　　　　　　　　ﾉ |　　　　　ｒ' _ ｒ､＼　　 { .{
　　　　　| 　　 | 　 | 、　　　　´　　イ　 |　　　　　ヽン　ヽ'　　ヽ.,]
　　　　　| i 　 ,| 　 | .ﾊｧｰr 　ｒ''i´!　|　 ;
　　　　　| | 　八　 ;　.|7　ヽ任｀ヾ|　;　/　　　l二二ア　　　 ,r-､
　　　　　| |　,'　 ∨　 |}　r'（_X）ｲ!/／　　　　　 / / [][]　l二,　 ,二l　
　　　　　',　 {　l＞にﾘゝ'　 }lムl}　{ﾆKｺ　　　　 { .{　　　　l二　,二l
　　　　　ヽヽ　 /ム　 i 　 {l 　l {l ∨',　　　　　ヽ.,]　　　　 |　{_, -､
　　　　　　　＼ /　　　 |　　}l 　l {l　',_}＿__　　　　　　　　　　'､＿_ノ
　　　　　　　　,.'　　　　.!　　{l 　l }l　 ',::::::|lll|　　 r‐､
　　　　　　　,:'　　　　　;　　}l 　l {l. 　'::::::|lll|　l二　二くヽ　.ｒ､　　くヽ
　　　　　　K､　　　　 ,'　　 {| 　l l}.　 }￣￣　　/ /r ､｀´　 |　|　　　}_}
　　　　　　ヽヽ　___,.ﾑ.　　ﾘ　 l八　|　　　　く／r' └､　　'、' ┐
　　　　　　｀￣ヽKヽ＿＿/コﾆにヽ」　　　　　　ヽﾝヽﾉ　　ヽ-'
　　　　　　　　　　｀[__ｿ´￣￣｀[__ｿ´

Name: Anonymous 2013-09-01 2:26

　　　　　　　　　　　　,. -‐''"7　　　　　_,. -‐,:ｧ
　　　　　　　　　　.／　　／/　　　／　／/
　　　　　　　　 / 　／´　/　　　 / 　　/　/
　　　　　　　　　i 　/ 　 ∠..,,__　 /　　ｒ'´／
　　　　　　　,,. ｧ'　 i 　/　　　｀7　／／　　　　　　　　　　　　_,,.. -─
　　　　　／　 !　 /／　　　　　|．/_/､　　　　　　　　　　　　／
　　　　,.'　　　 |．/',. -　　　　　'"´ 　｀ヾ:　　　　　　　　　,.:'　　　ま
　　　.,'　　　 ,! '´　　　　　　　　　　　　':,　　　　　　　 /　　　　ぁ
　　　i　　　　/　/　/　　　i　　!　　!　　 !　i　　　　　　 ,'　　　　　　`
　　　| 　 i　,' 　,'　/!　/|　ﾊ　/|__,/i 　 /　 ! ほ　　　　 !　　　　　て
　　　i 　 ! / 　.! /-ﾚ'‐ |/　ﾚ'　!_/､|／i. 　,'　っ　　　 |　　　　　ゐ
　　 .! 　ﾚ'　　ｧ-r-‐=ｧ'､　　'7i´ ﾘ .〉7　./ 　と　　　　!　　　　　の
　　　i　 / .,　〈　k.__,ｿ　　　　 'ｰ'ンi./ﾚ'i　　く　　　./　　　　　す
　　　| ,:'／|　ﾊ`' ｰ　　　　　. 　　'",ﾊ　',　　か　 ∠,_ 　　　　　る
　　 !/　,　ﾚi　ﾄ.､,'"'" 　　,.　　,. イ　i　!':,　､.,_ ( _)　　!　　　　事
　　 .!　　!　 |　!　,|｀i '=ｰ--ｒ＜´i.　|　ﾚ'　ヽ.　　　　　　',　　　　　だ
　　 |　　i　　!　|7':i｀ﾄ､>rｒく!/::::::i 　ﾄ､.!　　　':,　　　　　ヽ､　　　し
　　 |　　!　 ,.|　|/:!::::',/ i　/:::::::/| 　|/ヽ. !　　 ',　　　　　　 `ヽ､.,_______
　　 !　　! ｧ'､!　|:::|:::::ヽ, !/::::::::/::!　/:::::::::＼.　 |
　　 | 　 ! .!::::::V:::::';:::::::::/:::;::'":::::ﾚ7:::::::::::::::::ヽ/
　　 !.　 |　';::::::i::::::::ヽ;:/／::::::::::::::ｲ;::::::::::__::::::::',
　　 .!　 !.　i::::::!:::::::::::Yo:::::::::::::::::::_iゝ'"´:::::｀::::::ﾄ､,
　　　',　',　!:::::!:::::::::::::!o::::::::::::::_r ﾍ::::::::::::::::::::::::;ﾊ　ヽ.
　　　ヽ. 7::::/:::::::::::/i:::::::::::::ｧ'´｀ヽヽ;:::::::::::::;:ｲ　 ',　　':,
　　　　 /::::::k::::::::::/T!::::::／　,　　｀Yi:::::::::／/　　i　　 i
　　 ,.rく:::／/ ｀ T´　!ヽ〈_,.:'^ヽ､_,.イ」;:イ／　　/　　ﾉ

SICP SICP SICP SICP

1 Name: Anonymous 2009-04-06 21:46

2 Name: Anonymous 2009-04-06 21:54

3 Name: Anonymous 2009-04-07 6:45

4 Name: Anonymous 2009-04-07 6:54

5 Name: Anonymous 2009-04-07 7:07

6 Name: Anonymous 2009-04-07 7:46

7 Name: Anonymous 2009-04-07 7:56

8 Name: Anonymous 2009-04-07 7:57

9 Name: Anonymous 2009-04-07 7:59

10 Name: Anonymous 2009-04-07 7:59

11 Name: 8queenたへんうだー 2009-04-07 8:00

12 Name: Anonymous 2009-04-07 8:56

13 Name: Anonymous 2009-04-07 8:59

14 Name: Anonymous 2009-04-07 9:04

15 Name: Anonymous 2009-04-07 13:46

16 Name: Anonymous 2009-04-07 15:33

17 Name: Anonymous 2009-04-07 16:01

18 Name: Anonymous 2009-04-07 16:10

19 Name: Anonymous 2009-04-07 16:36

21 Name: Anonymous 2013-01-19 23:43

22 Name: Anonymous 2013-08-31 23:23

23 Name: Anonymous 2013-09-01 0:55

24 Name: Anonymous 2013-09-01 2:26

Name: Anonymous 2009-04-06 21:46

Name: Anonymous 2009-04-06 21:54

Name: Anonymous 2009-04-07 6:45

Name: Anonymous 2009-04-07 6:54

Name: Anonymous 2009-04-07 7:07

Name: Anonymous 2009-04-07 7:46

Name: Anonymous 2009-04-07 7:56

Name: Anonymous 2009-04-07 7:57

Name: Anonymous 2009-04-07 7:59

Name: Anonymous 2009-04-07 7:59

Name: 8queenたへんうだー 2009-04-07 8:00

Name: Anonymous 2009-04-07 8:56

Name: Anonymous 2009-04-07 8:59

Name: Anonymous 2009-04-07 9:04

Name: Anonymous 2009-04-07 13:46

Name: Anonymous 2009-04-07 15:33

Name: Anonymous 2009-04-07 16:01

Name: Anonymous 2009-04-07 16:10

Name: Anonymous 2009-04-07 16:36

Name: Anonymous 2013-01-19 23:43

Name: Anonymous 2013-08-31 23:23

Name: Anonymous 2013-09-01 0:55

Name: Anonymous 2013-09-01 2:26