我é“ã‚’è¡Œã-HOME-
ã¯ã˜ã‚ã« ã“ã‚“ã«ã¡ã¯ã€ã“ã“ã¯ãƒãƒœãƒƒãƒˆã¨å‹•ç”»è£½ä½œã‚’趣味ã¨ã™ã‚‹ç®¡ç†äººãŒã€ä½œã£ãŸã‚Šèª¿ã¹ãŸã‚Šã—ãŸã‚‚ã®ã‚’記録ã™ã‚‹HPã§ã™ã€‚ What's new? 2011/11/12　記事Kinectã‚’æ›´æ–° 2011/10/25　記事Worksã‚’æ›´æ–° 2011/09/14　記事Worksã‚’æ›´æ–° 2011/05/12　記事ARtoolkitã‚’è¿½åŠ 2011/05/09　記事Worksã‚’æ›´æ–° 2011/03/18　記事Kinectã‚’è¿½åŠ 2011/03/18　ホームページ開è¨ï¼ï¼ 2011/03/06　ホームページ製作開始
Scalaã§é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã™ã‚‹#3 åœè«–ã‚’å¦ã¶(å‰) | DevelopersIO
※ã“ã®è¨˜äº‹ã¯ã“ã‚Œã®å†æ§‹æˆç‰ˆã§ã™ â… .ã¯ã˜ã‚ã« åœè«–を知りã¾ã—ょㆠã•ã¦ã€ã ã„ã¶å‰ã«ãªã£ã¦ã—ã¾ã„ã¾ã—ãŸãŒã€å‰å›žã®è¨˜äº‹ã§ã€ã€Œé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’知るã«ã¯ã¾ãšåœè«–ã‹ã‚‰ï¼ã€ã¨ã„ã„ã¾ã—ãŸã€‚ ※ã‚ãã¾ã§ã‚‚ç§ã®è€ƒãˆã§ã™ ç§è‡ªèº«åœè«–ã«ã¤ã„ã¦ã®çŸ¥è˜ãŒã»ã¼ãªã„ã®ã§ã™ãŒã€å¹¸ã„ã«ã‚‚åœè«–ã«é–¢ã™ã‚‹åˆå¿ƒè€…å‘ã‘記事ãŒWEB上ã«ã„ã£ã±ã„ã‚ã‚Šã¾ã™ã€‚ ãã®ä¸ã§ã‚‚ã€ã€ŒScalaã§åœè«–入門ã€ã¨ã„ã†è¨˜äº‹ã¯ã€åˆå¿ƒè€…å‘ã‘ã«ã‚ã‹ã‚Šã‚„ã™ã記述ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€ ã“れを元ã«åœè«–ã«ã¤ã„ã¦åŸºæœ¬çš„ãªç†è§£ã‚’æ·±ã‚ã¦ã„ã‘ã‚Œã°ã¨æ€ã„ã¾ã™ã€‚ 本記事ã¯ã€ã“ã®ã€ŒScalaã§åœè«–入門ã€ã‚’èªã‚“ã ã“ã¨ãŒã‚る人を対象ã«ã—ã¾ã™ã€‚(ç†è§£ã§ãã¦ã‚‚ã§ããªãã¦ã‚‚)一度èªã‚“ã§ãŠã„ã¦ãã ã•ã„。 ãªã‚“ã§åœè«–を知るã¹ã？ ãªã‚“ã§é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’知るã®ã«åœè«–ãªã‚“ã¦ã‚ã‘ã‚ã‹ã‚‰ã‚“ã‚‚ã®ã‚’知らãªã‘ã‚Œã°ã„ã‘ãªã„ã®ã§ã—ょã†ã‹ã€‚ ã“ã®é€£è¼‰ã®ç›®æ¨™(ã¨ã„ã†ã‹è‡ªåˆ†ã®ç›®æ¨™)ã®ï¼‘ã¤ã¨ã—ã¦ã€ã€Œscalazを使
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯ãれ自体ãŒç›®çš„ã§ã‚ã£ã¦ã„ã„ - mizchi log
ã“ã‚Œèªã‚“ã§æ€ã£ãŸã“ã¨ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’勉強ã—ãŸã„人ãŒå‹‰å¼·ã™ã‚‹å‰ã«ã™ã¹ãã“㨠- ã‚‚ã¨ã¾ã‹æ—¥è¨˜ http://d.hatena.ne.jp/moto_maka/20130512/1368308092 僕ãŒãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã¯ã˜ã‚ãŸã¨ãã€ä½•ã‚’æ€ã£ã¦ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã¯ã˜ã‚ãŸã‹æ€ã„出ã—ã¦ã¿ã‚ˆã†ã¨ã—ãŸã‘ã©ã€ã‚ˆãæ€ã„出ã›ãªã‹ã£ãŸã€‚ ãŸã æ¼ ç„¶ã¨æ„Ÿã˜ã¦ã„ãŸã®ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯å€‹äººãŒç¾å®Ÿçš„ã«ã“ã®ä¸–ç•Œã«ç›´æŽ¥æ‰‹ã‚’åŠ ãˆã‚‹ã“ã¨ãŒã§ãる手段ã®1ã¤ã§ã‚ã‚Šã€ãれをやらãªã„ã®ã¯å‹¿ä½“ç„¡ã„ã€ã¨ã„ã£ãŸã“ã¨ã ã£ãŸã¨æ€ã†ã€‚ãŸã¶ã‚“。 ã¨ã„ã†ã‚ã‘ã§ã€æœ€åˆã«ã‚„ã£ãŸã®ã¯Firefoxã®ãƒ¦ãƒ¼ã‚¶ãƒ¼ã‚¹ã‚¯ãƒªãƒ—トを書ãã“ã¨ã ã£ãŸã—ã€ãã‚Œã¯ãã‚Œã§ã‚ˆã„経験ã ã£ãŸã€‚ãªã‚“ã¨ãªãゲームã¨ã‹ã‚¦ã‚§ãƒ–アプリã¨ã‹ä½œã‚Šã¦ãƒ¼ãªãƒ¼ã€ã¨æ€ã£ã¦è‰²ã‚“ãªãƒ©ã‚¤ãƒ–ラリを動ã‹ã™ã ã‘å‹•ã‹ã—ã¦æº€è¶³ã—ãŸã€‚プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¦šãˆã¦åˆã‚ã¦æœ€åˆã®ä¸€å¹´ã§10以上ã®è¨€èªžã®HelloWorldã ã‘ã‚„ã£ãŸã¨æ€
函数論ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž Curry - Ryusei’s Notes (a.k.a. M59ã®ãƒ–ãƒã‚°)
Curryã¯functional logic programming languageã¨ã„ã†èžããªã‚Œãªã„カテゴリーã«å±žã™ã‚‹è¨€èªžã 。もã£ã¨ã‚‚ã€å‡½æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨è«–ç†åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯ä¼¼é€šã£ãŸç‚¹ã‚‚ã‚ã‚‹ã‹ã‚‰ã€ãã®ãµãŸã¤ã®ãƒ‘ラダイムを併ã›æŒã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžãŒå˜åœ¨ã™ã‚‹ã®ã¯ãã‚“ãªã«å¥‡å¦™ãªã“ã¨ã§ã‚‚ãªã„ã¨æ€ã†ã€‚ Curryã®å‡¦ç†ç³»ã¯ã„ãã¤ã‹å˜åœ¨ã™ã‚‹ãŒã€ä»Šå›žã¯PAKCSを使ã†ã€‚PAKCSã¯Curryã®ã‚³ãƒ¼ãƒ‰ã‚’Prologをターゲットã¨ã—ã¦ã‚³ãƒ³ãƒ‘イルã™ã‚‹ã€‚ 早速試ã—ã¦ã¿ã‚‹ã€‚ Prelude> x ++ y =:= [0, 1, 2] where x, y free Free variables in goal: x, y Result: success Bindings: x=[] y=[0,1,2] More solutions? [Y(es)/n(o)/a(ll)] Result: succes
ã€PHP】プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‹‰å¼·ãƒŽãƒ¼ãƒˆï¼ˆé…列,連想é…列）
先日発見ã—ãŸã€ç§ãŒãƒ—ãƒã‚°ãƒ©ãƒ æ¥ç•Œã¸å…¥ã£ãŸæ™‚ã®ãƒŽãƒ¼ãƒˆã‚’å…ƒã«ã—㟠プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‹‰å¼·ãƒŽãƒ¼ãƒˆã®ç¶šãã§ã™ã€‚ PHPプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Žã¯ã‚³ãƒãƒ©ã‹ã‚‰â†“ ã€PHP】プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‹‰å¼·ãƒŽãƒ¼ãƒˆï¼ˆåŸºç¤Žã‹ã‚‰æ¡ä»¶åˆ†å²ã¾ã§ï¼‰ 引ã続ãã€ç§ãŒãƒ—ãƒã‚°ãƒ©ãƒ ã®æ¥ç•Œã¸å…¥ã£ãŸæ™‚ã®ãƒŽãƒ¼ãƒˆã‚’清書ã—ãªãŒã‚‰ åˆå¿ƒã«æˆ»ã£ãŸã¤ã‚‚ã‚Šã§PHPã®åŸºæœ¬çš„ãªäº‹ã‚’解説ã—ã¦è¡Œãã¾ã™ã€‚ 今回解説ã™ã‚‹ã®ã¯ã€ã€Žé…列ã€ã§ã™ã€‚ 複数ã®å€¤ã‚’çºã‚ã¦ç®¡ç†ã™ã‚‹é…列 インデックスã«ç‰¹å®šã®åå‰ã‚’付ã‘る連想é…列 複数ã®å€¤ã‚’çºã‚ã¦ç®¡ç†ã™ã‚‹é…列 実際ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®ä¸ã§ã¯ã€æ²¢å±±ã®å€¤ã‚’使用ã—ã¾ã™ã€‚ ãã®å€¤æ¯Žã«å¤‰æ•°ã‚’作æˆã—ã¦ã„ã¦ã¯ã€å¤‰æ•°åを考ãˆã‚‹ã®ã‚‚大変ã§ã™ã—〠変数ãŒå¢—ãˆã™ãŽã¦ç®¡ç†ã™ã‚‹ã®ãŒå¤§å¤‰ã«ãªã‚Šã¾ã™ã€‚ çºã‚られるã®ã§ã‚ã‚Œã°ã€ãªã‚‹ã¹ãæ•´ç†ã—ã¦çºã‚ãŸã„ã‚‚ã®ã§ã™ã€‚ ãã“ã§ã€ä»Šå›žä½¿ç”¨ã™ã‚‹ã®ãŒã€Žé…列ã€ã¨ã„ã†ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã§ã™ã€‚ é…列ã¨ã¯ã€ä¸€ã¤ã®å¤‰æ•°ã®ä¸ã«ã€éšŽå±¤æ§‹é€ ã‚’æŒã£ãŸè¤‡æ•°ã®å€¤ã‚’æŒãŸã›ã‚‹äº‹
ã€PHP】プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‹‰å¼·ãƒŽãƒ¼ãƒˆï¼ˆåŸºç¤Žã‹ã‚‰æ¡ä»¶åˆ†å²ã¾ã§ï¼‰
ç§ãŒå§‹ã‚ã¦ã“ã®æ¥ç•Œã«é£›ã³è¾¼ã‚“ã 時ã®ãƒŽãƒ¼ãƒˆã‚’ä¹…ã—ã¶ã‚Šã«é–‹ãã¾ã—ãŸã€‚ ãã“ã«ã¯ã€åˆã‚ã¦è§¦ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ŽPHPã€ã«ã¤ã„ã¦ã€å¿…æ»ã§å–ã£ãŸæ±šã„メモãŒæ®‹ã£ã¦ã„ã¾ã—ãŸã€‚ 今回ã¯ã€åˆå¿ƒã«å¸°ã£ã¦ åˆã‚ã¦ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’å¦ã‚“ã 時ã®æ‰‹é †ã‚’ノートã®æ¸…書ãŒã¦ã‚‰ ブãƒã‚°ã«è¨˜äº‹ã¨ã—ã¦æ®‹ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 基本ã¯PHPã®åˆæ©çš„ãªå†…容ã§ã™ãŒã€ãƒ—ãƒã‚°ãƒ©ãƒ ã¨ã¯ãªã‚“ãžã‚„？ çš„ãªäº‹ã‹ã‚‰å¦ã‚“ã§è¡Œãã¾ã—ãŸã®ã§ã€ã“ã‚Œã‹ã‚‰ãƒ—ãƒã‚°ãƒ©ãƒ を勉強ã™ã‚‹æ–¹ã®å‚考ã«ãªã‚Œã°ã¨ æ€ã„ã¾ã™ã€‚ ã¾ãšã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä½œæ³•ï¼ã‚¤ãƒ³ãƒ‡ãƒ³ãƒˆã®ä»˜ã‘æ–¹ã«ã¤ã„㦠プãƒã‚°ãƒ©ãƒ ã¯èªã¿ã‚„ã™ã書ã事ãŒã¨ã¦ã‚‚大事ã§ã™ã€‚ ãã—ã¦ã€ç¤¾å†…ã§èª°ãŒè¦‹ã¦ã‚‚見やã™ãã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ ã‚‚ã—ã€ã‚³ãƒ¼ãƒ‰ã‚’書ã„ãŸæœ¬äººãŒã‚±ã‚¬ã‚„ç—…æ°—ã§å€’ã‚ŒãŸå ´åˆã€èª°ã‹ãŒãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’引ã継ãŒãªã‘ã‚Œã°ãªã‚Šã¾ã›ã‚“。 ãã†ãªã£ãŸæ™‚ã«ã€ã‚³ãƒ¼ãƒ‰ã®è¨˜è¿°ãƒ«ãƒ¼ãƒ«ãŒã—ã£ã‹ã‚Šã—ã¦ã„ãªã„ã¨ã€ èªã‚“ã§è§£æžã™ã‚‹ã ã‘ã§ç–²ã‚Œã¦ã—ã¾ã„ã¾ã™ã€‚ ã§ã™ã®ã§
CPL
CPL: An interpreter of Hagino's Categorical Programming Language (CPL). CPL is a functional programming language based on category theory. Data types are declared in a categorical manner by adjunctions. Data types that can be handled include the terminal object, the initial object, the binary product functor, the binary coproduct functor, the exponential functor, the natural number object, the fun
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}