SECDマシン 実装ã¨å‹•ãã¨ãã®ä»–ã‚‚ã‚ã‚‚ã‚ã«ã¤ã„ã¦
ãŠã“ã¨ã‚ã‚Š â— SECDマシンã®ä¸Šã«LispKit Lispを実装ã—㟠Peter Hendersonã®æœ¬ã®å†…容ã¯å‡ºã¦ãã¾ã› ã‚“ –“Functional Programming Application and Implementation†– 先日届ã„ãŸã‘ã©ã¾ã èªã‚ã¦ãªã„ã®ã§â€¦ – 目次ã«ã¯ä¸¦åˆ—化や手続ã型プãƒã‚°ãƒ©ãƒ ã‹ã‚‰ã®å¤‰æ›ãªã© ã®ãƒˆãƒ”ックãŒã‚ã£ãŸ â— ç´”Lispã«ã‚³ãƒ³ãƒ‘イルã™ã‚‹è©±ã¯ã‚ã‚Šã¾ã›ã‚“ ◠予告ã—ã¦ã„ãŸç¶™ç¶šã®è©±ã‚‚ã‚ã‚Šã¾ã›ã‚“
究極ã®ã‚¹ã‚ルアップï¼ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼ã®ã‚ã“ãŒã‚Œè¨€èªžã€ŒLispã€ã‚’始ã‚よã†
新型コãƒãƒŠã‚¦ã‚¤ãƒ«ã‚¹ã®æ„ŸæŸ“ãŒã¾ãŸã‚‚拡大ã—ã€å¤–出を控ãˆã‚‹äººãŒå¢—ãˆã¦ããŸã€‚自宅ã§ä½•ã‹ã§ãã‚‹ã“ã¨ã‚’探ã—ã¦ã„る人ã¯å¤šã„ã¯ãšã 。ä¸ã«ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’始ã‚ã¦ã¿ãŸã„人もã„ã‚‹ã ã‚ã†ã€‚ã‚ã‚‹ã„ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«é–¢ã™ã‚‹æ–°ã—ã„技術を身ã«ä»˜ã‘ãŸã„ソフトウエアエンジニアもã„ã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å¦ã¶éš›ã«ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®é¸æŠžãŒé‡è¦ã«ãªã£ã¦ãる。言語ãŒç•°ãªã‚‹ã¨ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®æ›¸ãæ–¹ãŒå¤‰ã‚ã£ã¦ãã‚‹ã‹ã‚‰ã 。 ã§ã¯ã€ã©ã®è¨€èªžã‚’å¦ã¹ã°ã‚ˆã„ã ã‚ã†ã‹ã€‚最近ã¯Python（パイソン）ãŒäººæ°—ã§ã€Go（ゴー）やRust（ラスト）ã¨ã„ã£ãŸä½Žãƒ¬ã‚¤ãƒ¤ãƒ¼ã«å¼·ã„言語も注目を集ã‚ã¦ã„る。ãŸã ã€ã€Œäººã¨åŒã˜ã‚ˆã†ãªè¨€èªžã‚’å¦ã¶ã®ã¯ã¤ã¾ã‚‰ãªã„ã€ã¨è€ƒãˆã‚‹äººã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 ãã†ã—ãŸäººã«ãœã²ãŠå‹§ã‚ã—ãŸã„ã®ãŒã€ŒLisp（リスプ）ã€ã 。数ã‚る言語ã®ä¸ã§ã‚‚独自ã®å˜åœ¨æ„Ÿã‚’放ã¤ã€‚ç¾å½¹ãƒãƒªãƒãƒªã§ã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢ã‚’開発ã—ã¦ã„るプãƒã‚°ãƒ©ãƒžãƒ¼ã§ã‚‚「ã„ã¤ã‹ã¯Lis
Jupyterã§Scheme処ç†ç³»ã‚’å‹•ã‹ã—ã¦SICPを勉強ã™ã‚‹ | DevelopersIO
ã¯ã˜ã‚㫠最近社内ã§SICPã®å‹‰å¼·ä¼šã‚’è¡Œã£ã¦ã„ã¾ã™ã€‚ SICPã§ã¯ã€æ•™æã¨ã—ã¦LISP処ç†ç³»ã®ä¸€ã¤ã§ã‚ã‚‹schemeを採用ã—ã¦ãŠã‚Šã€å‹‰å¼·ã™ã‚‹æ™‚ã«ã¯schemeã‚’å‹•ã‹ã—ãªãŒã‚‰ä¾‹é¡Œã®å‹•ä½œç¢ºèªã‚„課題を行ã£ã¦ã„ãã¾ã™ã€‚ Emacs + Gaucheを用ã„ã¦å¦ç¿’を進ã‚ã¦ã„ãパターンãŒå¤šã„å°è±¡ã§ã™ãŒã€Emacsã«æ…£ã‚Œã¦ã„ãªã„人ã«ã¨ã£ã¦ã¯ã€ã¾ãšEmacsã®æ“作を満足ã«ã§ãるよã†ã«ãªã‚‹ã¾ã§ã«é«˜ã„ãƒãƒ¼ãƒ‰ãƒ«ãŒã‚ã‚Šã¾ã™ã€‚ 今回ã¯ã€Emacsã®ä»£ã‚ã‚Šã«Jupyterを用ã„ã¦Scheme処ç†ç³»ã‚’å‹•ã‹ã—ã€ãã®å‹•ä½œã‚’確èªã™ã‚‹æ–¹æ³•ã‚’紹介ã—ã¾ã™ã€‚ Jupyterã«ã¤ã„㦠Jupyterã¨ã¯ã€ç°¡å˜ã«ã„ã£ã¦ã—ã¾ã†ã¨ãƒ–ラウザ上ã§å‹•ä½œã™ã‚‹REPL環境 + メモ帳ã§ã™ã€‚ 以下ã®ç”»é¢ã®ã‚ˆã†ã«ã€ã‚³ãƒ¼ãƒ‰ã‚’ãã®å ´ã§å®Ÿè¡Œã—ã€ãã®çµæžœã‚’ãã®å ´ã§è¦‹ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ ã¾ãŸã€ã‚³ãƒ¼ãƒ‰ã®ä»–ã«markdownå½¢å¼ã§æ–‡ç« ã‚’è¿½åŠ ã™ã‚‹ã“ã¨ã‚‚ã§ãã‚‹ã®ã§ã€ã‚³ãƒ¼ãƒ‰ã¨
Chez Scheme
Chez Scheme Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, l
A lambda calculus for quantum computation
A lambda calculus for quantum computation Scheme simulator This page provides a simulator for a functional language based on Scheme for expressing and simulating quantum algorithms. Example code implementing some simple quantum algorithms is provided. For the theory, see my papers A lambda calculus for quantum computation - André van Tonder. Quantum computation, categorical semantics and linear lo
Top (Gauche ユーザリファレンス)
Top (Gauche ユーザリファレンス)
Schemeファンã®ãŸã‚ã®ã€Žã‚²ãƒ¼ãƒ エンジン・アーã‚テクãƒãƒ£ã€ç«‹ã¡èªã¿ã‚¬ã‚¤ãƒ‰ - .mjtã®æ—¥è¨˜å¾©å¸°è¨ˆç”»
(本文p292。) ゲームエンジン・アーã‚テクãƒãƒ£ã¯ãƒŽãƒ¼ãƒ†ã‚£ãƒ‰ãƒƒã‚°(NDI)ã®ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãŒæ›¸ã„ãŸã‚²ãƒ¼ãƒ 開発ã®ã‹ãªã‚Šåºƒç¯„ãªãƒˆãƒ”ックを扱ã£ãŸæ›¸ç±ã®æ—¥æœ¬èªžè¨³ã€‚ http://www.sbcr.jp/products/4797377484.html http://minahito.hatenablog.com/entry/2015/03/28/183822 https://timagire.wordpress.com/2015/04/02/ NDIã«ã¯ã‹ãªã‚Šæ·±åˆ»ãªLisp文化ãŒæœ‰ã‚‹: http://d.hatena.ne.jp/mjt/20131027/p1 RacketCon 2013ã§ã®ãƒ—レゼン https://twitter.com/okonomiyonda/status/479429000842850304 GOAL(彼らã®æ´å²çš„ãªLispãƒãƒªã‚¢ãƒ³ãƒˆè¨€èªž)ã®ãƒ‰ã‚ãƒ¥ãƒ¡ãƒ³ãƒˆè¡¨ç´™ç”»åƒ ã“ã®æœ¬ã¯ã‹
Scheme 関数7個ã§ä½œã‚‹è¨¼æ˜Žãƒã‚§ãƒƒã‚«ãƒ¼ - Think Stitch - PRINCIPIA
ã‹ã‚“ãŸã‚“ãªè¨¼æ˜Žãƒã‚§ãƒƒã‚«ãƒ¼ã‚’作ã£ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ï¼Ž 関数ã¯ãŸã£ãŸã®7個ã§ã™ï¼Ž ã¾ãš1個目ã®é–¢æ•°ãŒ12,000è¡Œã‚ã‚Šã¾ã™ï¼Œãªã‚“ã¦ã“ã¨ã¯ã‚ã‚Šã¾ã›ã‚“ :P． 証明パズルã¨ã—ã¦æ¥½ã—ã‚ã‚‹ã¨æ€ã„ã¾ã™ï¼Ž ã“ã®è¨¼æ˜Žãƒã‚§ãƒƒã‚«ãƒ¼ã¯ï¼ŒDavid Gries ã•ã‚“㨠Fred B. Schneider ã•ã‚“ã«ã‚ˆã‚‹æœ¬ A Logical Approach to Discrete Math （邦訳：コンピュータã®ãŸã‚ã®æ•°å¦ï¼‰ã‚’見ãªãŒã‚‰ä½œã‚Šã¾ã—ãŸï¼Ž å…¬ç†ã¨å®šç†ã®ç•ªå·ã¯ã™ã¹ã¦æœ¬ã«åˆã‚ã›ã¦ã‚ã‚Šã¾ã™ï¼Ž ç‰å¼è«–ç† å¯¾è±¡ã¨ã™ã‚‹è«–ç†ä½“ç³»ã¯ç‰å¼è«–ç†ã¨ã—ã¾ã™ï¼Ž ã‹ã‚“ãŸã‚“ã«ã™ã‚‹ãŸã‚ã«å‘½é¡Œã ã‘を扱ã†ã“ã¨ã«ã—ã¦ï¼Œè¿°èªžã‚„é‡åŒ–記å·ã¯æ‰±ã„ã¾ã›ã‚“． ã¤ã¾ã‚Šå‘½é¡Œç‰å¼è«–ç†ã¨ã„ã†ã“ã¨ã§ã™ï¼Ž ã‚‚ã—ã‹ã—ãŸã‚‰ç‰å¼è«–ç†ã¨ã„ã†ã®ã¯ã‚ã¾ã‚Šãªã˜ã¿ãŒãªã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“． æ£ç¢ºãªã¨ã“ã‚ã¯æœ¬ãªã©ã‚’見ã¦ã„ãŸã ãã¨ã—ã¦ï¼Œã—ã‚ã†ã¨ãªã‚Šã«èª¬æ˜Žã‚’ã™ã‚‹ã¨ï¼Œç‰å·ã ã‘ãŒè¿°èªžã§ï¼Œãã‚Œã«é–¢ã™ã‚‹
BiwaScheme
About BiwaScheme is a Scheme interpreter written in JavaScript. Try it now Download biwascheme-0.8.3.js biwascheme-0.8.3-min.js Older versions are on github. Example <script src="biwascheme.js"></script> <script type="text/biwascheme"> (console-log "Hello, world!") </script> Demo Picture language (from SICP) BiwaScheme for Mobile Games Hockey (a pong-like game) Dobon (a card game) 15 puzzle Tetris
Scheme処ç†ç³»ã®é¸ã³æ–¹
オランダã®ç”Ÿæ´»ã€è‡ªèº«ãŒè¡Œã£ã¦ã„ã‚‹Sagittarius Schemeã®é–‹ç™ºæ—¥èªŒã€ ãã®ä»–雑多ãªã“ã¨ã‚’ã¤ã¥ã£ã¦ã¾ã™ã€‚ 世ã®ä¸ã«æ˜Ÿã®æ•°ã»ã©Schemeã®å‡¦ç†ç³»ã¯ã‚ã‚Œã©ã€ãã®é¸ã³æ–¹ã«ã¤ã„ã¦ã¯ã‚ã¾ã‚Šè¨€åŠã•ã‚Œã¦ã„ãªã„æ°—ãŒã™ã‚‹ã®ã§ã€ç›®çš„ã€ç’°å¢ƒåˆ¥ãらã„ã®å‡¦ç†ç³»ã®é¸ã³æ–¹ã‚’書ã„ã¦ã¿ã‚ˆã†ã¨æ€ã†ã€‚僕ã®çŸ¥ã£ã¦ã„る処ç†ç³»ã®è©±ã«ãªã‚‹ã®ã§ã‹ãªã‚Šé™å®šã•ã‚ŒãŸã‚‚ã®ã«ãªã‚‹ã“ã¨ã«ã¯ç›®ã‚’ã¤ã¶ã£ã¦ã»ã—ã„。ã¾ãŸã€åŸºæœ¬ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã¦ã„ã‚‹ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã«ã¤ã„ã¦ã®ã¿è¨€åŠãªã®ã§ã€ã“ã®å‡¦ç†ç³»ã®é–‹ç™ºç‰ˆã¯ã‚µãƒãƒ¼ãƒˆã—ã¦ã„ã‚‹ã¨ã„ã†ã®ã¯å‰²æ„›ã•ã‚Œã¦ã„ã‚‹å¯èƒ½æ€§ãŒã‚ã‚‹ã“ã¨ã«ã‚‚注æ„ã—ã¦ã»ã—ã„。ã•ã‚‰ã«ã¯ã€å°‘ãªãã¨ã‚‚RnRS(R5RS以é™)ã«æº–æ‹ ã—ã¦ã„る処ç†ç³»ã®ã¿ã®è¨€åŠã§ã‚ã‚‹ã“ã¨ã‚‚ç•™æ„ã—ã¦ã»ã—ã„。 目的別 ã€SICP用】 ã©ã‚Œã§ã‚‚ã„ã„ï½— 環境別辺りをå‚ç…§ã—ã¦é©å½“ã«é¸ã‚“ã§ï½— ã€R7RSæº–æ‹ ã®å‡¦ç†ç³»ã‚’使ã„ãŸã„】 ç¾çŠ¶ã§Chibi Schemeã¨Sagittariusã®ã¿ãŒã»
jsScheme - Scheme interpreter in JavaScript
Features: Proper tail-recursion First-class continuations with even dynamic-wind Boolean, string, number, char, and vector data types (no complex / rational numbers) Limited syntax-rules transformer (written in Scheme; no nested ellipsis ('...') and vectors support) Optional just-in-time compilation to javascript (does not support continuations; library can be pre-compiled with (compile-lib) and i
(third RacketCon) 2013
Recordings of the talks at RacketCon 2013: http://con.racket-lang.org/2013/
GNU Make 4.0ã«GNU GuileãŒçµ„ã¿è¾¼ã¾ã‚ŒãŸ
GNU Make 4.0 released GNU Make 4.0ãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚ŒãŸã€‚ 今回ã®ãƒªãƒªãƒ¼ã‚¹ã§ã¯ã€GNU Makeã¯Schemeã®å®Ÿè£…ã§ã‚ã‚‹GNU Guileを組ã¿è¾¼ã‚“ã 。ã“ã‚Œã«ã‚ˆã‚Šã€Makefileã®ä¸ã§SchemeãŒæ›¸ã‘るよã†ã«ãªã‚‹ã€‚ ãã®æ©Ÿèƒ½ã¯ã€GNU Make Manualã®Guile Functionã®é …ç›®ã§èª¬æ˜Žã•ã‚Œã¦ã„る。ã¾ã ã€ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ç‰ˆã®GNU Make ManualãŒ2010å¹´ã‹ã‚‰æ›´æ–°ã•ã‚Œã¦ã„ãªã„ã®ã§ã€ã‚³ãƒŸãƒƒãƒˆæ™‚ã®ãƒ‰ã‚ュメントã®å·®åˆ†ã®ãƒªãƒ³ã‚¯ã™ã‚‹ã€‚ 8.13 The `guile' Function 具体的ãªçµ„ã¿è¾¼ã¿æ–¹æ³•ã¨ã—ã¦ã¯ã€makeå´ã«guileã¨ã„ã†é–¢æ•°ãŒè¿½åŠ ã•ã‚Œã€ã“ã®å¼•æ•°ã«æ–‡å—列を与ãˆã‚‹ã¨ã€Schemeã¨ã—ã¦Guileã§å‡¦ç†ã•ã‚Œã‚‹ã‚ˆã†ã«ãªã‚‹ã€‚ãŠãらãã€ã“ã®ã‚ˆã†ã«ã€‚ Hello.o : $(guile (string-append "hello" ".c"
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžHarlanã®ç´¹ä»‹
ã‚ãªãŸã«ã¨ã£ã¦é‡è¦ãªãƒˆãƒ”ックやåŒåƒšã®æœ€æ–°æƒ…å ±ã‚’å…¥æ‰‹ã—ã¾ã—ょã†æœ€æ–°ã®æ´žå¯Ÿã¨ãƒˆãƒ¬ãƒ³ãƒ‰ã«é–¢ã™ã‚‹æœ€æ–°æƒ…å ±ã‚’å³åº§ã«å—ã‘å–ã‚Šã¾ã—ょã†ã€‚ 継続的ãªå¦ç¿’ã®ãŸã‚ã«ã€ç„¡æ–™ã®ãƒªã‚½ãƒ¼ã‚¹ã«æ‰‹è»½ã«ã‚¢ã‚¯ã‚»ã‚¹ã—ã¾ã—ょã†ãƒŸãƒ‹ãƒ–ックã€ãƒˆãƒ©ãƒ³ã‚¹ã‚¯ãƒªãƒ—ト付ãå‹•ç”»ã€ãŠã‚ˆã³ãƒˆãƒ¬ãƒ¼ãƒ‹ãƒ³ã‚°æ•™æ。 記事をä¿å˜ã—ã¦ã€ã„ã¤ã§ã‚‚èªã‚€ã“ã¨ãŒã§ãã¾ã™è¨˜äº‹ã‚’ブックマークã—ã¦ã€æº–å‚™ãŒã§ããŸã‚‰ã„ã¤ã§ã‚‚èªã‚ã¾ã™ã€‚
letã¨letrecãŒå¿…è¦ãªã®ã¯ãªãœã‹ - 飲むã€å¯ã‚‹ã€‚
確ã‹ã«ã€‚letã¨letrecã®2種類ã‚ã‚‹ã®ã¯ãªã‚“ã§ï¼Ÿ letã¨letrecã®é•ã„ ãã‚‚ãã‚‚letrecã®recã¯å†å¸°ã®ã“ã¨ã€‚ãªã®ã§ä¸‹ã®ã‚ˆã†ã«å†å¸°ã™ã‚‹å®šç¾©ã‚’書ãã“ã¨ãŒã§ãる。 (letrec ((fact (^n (if (zero? n) 1 (* n (fact (- n 1))))))) (fact 10)) 逆ã«letã¯éžå†å¸°ãªã®ã§ã“ã†ã¯æ›¸ã‘ãªã„。 代ã‚ã‚Šã« (let ((x 1)) (let ((x (+ x 1))) x)) ã®ã‚ˆã†ã«ä»¥å‰ã®å®šç¾©ã‚’shadowingã™ã‚‹ã“ã¨ãŒã§ãる。 ãã—ã¦ã“ã‚ŒãŒéžå†å¸°ã®letãŒå¿…è¦ãªç†ç”±ã¿ãŸã„。 ã©ã“ã§shadowingãŒå¿…è¦ã‹ ã‚ã‚‹ identifier ã‚’ã€ãã®å€¤ã‚’使ã„ã¤ã¤å†å®šç¾©ã™ã‚‹éš›ã«å¿…è¦ã§ã™ ï½›ä¸ç•¥ï½ リファレンスå‚ç…§ã—ãŸä¸Šã§ã€çµæžœã‚’åŒã˜ identifier ã«æŸç¸›ã—ã¦ã„ã¾ã™ã€‚ï½›ä¸ç•¥ï½é–“é•ã£ã¦å…ƒã®ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã‚»ãƒ«ã‚’å‚ç…§ã§ããªããªã‚Šã¾ã™ã‹
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
アルゴリズム言語Scheme å ±å‘Šæ›¸äº”è¨‚ç‰ˆ
Racket: RacketCon 2013
http://realmofracket.com/
GitHub - guns/vim-sexp: Precision Editing for S-expressions
Videos
{{#tags}}- {{label}}
{{/tags}}