Photo Tourism: Microsoft Research, Interactive Visual Media Group
OCaml プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
OCaml ã®ã™ã™ã‚ OCaml ã¨ã¯ãƒ•ãƒ©ãƒ³ã‚¹ã® æƒ…å ±æŠ€è¡“ç³»ã®ç ”究機関㮠INRIA ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語 ML (ã®æ–¹è¨€) ã§ã™ã€‚ML ã«ã¯å¤šç›¸åž‹ã€åž‹æŽ¨è«–ã€ã‚¬ãƒ¼ãƒ™ãƒ¼ã‚¸ã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ (GC)ã€ ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°ç‰ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã®ç ”究㮠æˆæžœ (ã™ã”ã最新ã®ã‚‚ã®ã¨è¨€ã†ã‚ã‘ã§ã¯ç„¡ã„ãã†ã§ã™ãŒ) ãŒè©°ã‚è¾¼ã¾ã‚Œ ã¦ã„ã¾ã™ã€‚ã“れらã®ç›®çš„・効用ã¯ã€ コードã®å†åˆ©ç”¨ã®ç¯„囲ãŒå¤§ãã„ (多相型) コードã®è¨˜è¿°é‡ãŒçŸã‹ããªã‚‹ (åž‹æŽ¨è«–ãƒ»ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°) ãƒã‚°ã®å…¥ã‚Šè¾¼ã‚€ä½™åœ°ãŒå°‘ãªããªã‚‹ (GCã€é–¢æ•°çš„(副作用ã®å°‘ãªã„)プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°) ç‰ã§ã™ã€‚ç§ã¯ OCaml ã‚’ç ”ç©¶ã§ã®ãƒ‡ãƒ¼ã‚¿å‡¦ç†ã‚’ã¯ã˜ã‚ã€ä½œæˆã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ã»ã¨ã‚“ã© å…¨ã¦ã«ãŠã„ã¦æ—¥å¸¸çš„ã«ä½¿ã£ã¦ã„ã‚‹ã®ã§ã™ãŒã€ ã¨ã«ã‹ã開発効率ãŒè‰¯ã„ã§ã™ã€‚ コンパイル時ã®åž‹ãƒã‚§ãƒƒã‚¯ã®åŽ³ã—ã•ã«ã¯æ…£ã‚Œãªã„ã¨ã¡ã‚‡ã£ã¨é¢å€’ã«æ„Ÿã˜ã‚‹ ã‹ã‚‚ã—ã‚Œã¾
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚---目次 | 日経 xTECH（クãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• 英二郎 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”究分野ãŒã‚る。ã“ã®åˆ†é‡Žã®ç ”究者ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„）ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„言語やモデルã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”究ã—ã¦ã„る。ãŸã ，ãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã 。 ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ソフトウエア科å¦ã®æ§˜ã€…ãªç ”究を，ã§ãã‚‹ã ã‘普通ã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„エンジニアã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ã（ã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–よりも実用ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ã。 æ›´æ–°ã¯æ¯Žæœˆç¬¬2水曜日（1月ã®ã¿ç¬¬3水曜日）
OCaml.jp
ã“ã®ãƒšãƒ¼ã‚¸ã¯æœ€å¾Œã«æ›´æ–°ã•ã‚Œã¦ã‹ã‚‰1年以上経éŽã—ã¦ã„ã¾ã™ã€‚æƒ…å ±ãŒå¤ã„å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã®ã§ã€ã”注æ„ãã ã•ã„。 OCaml（オã‚ャムルï¼ã‚ªãƒ¼ã‚ャムル）ã¯ã€INRIAï¼ˆãƒ•ãƒ©ãƒ³ã‚¹å›½ç«‹æƒ…å ±å¦è‡ªå‹•åˆ¶å¾¡ç ”究所）ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語ã®ä¸€ç¨®ã§ã€æœ€æ–°ã®è¨€èªžç†è«–ã®æˆæžœãŒå–り入れられãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ 型安全ãªé™çš„型システムを基盤ã«ã€ãƒã‚°ã®å°‘ãªã„é«˜ä¿¡é ¼ãªãƒ—ãƒã‚°ãƒ©ãƒ ãŒé–‹ç™ºã§ãã¾ã™ã€‚ オブジェクトã€åž‹æŽ¨è«–ã€ä»£æ•°çš„データ型ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã€ç¬¬ä¸€ç´šãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€GADTã¨ã„ã£ãŸæ§˜ã€…ãªæ©Ÿèƒ½ã‚’利用ã—ã¦ã€ã‚ˆã‚Šç°¡æ½”ã§æ•´ç†ã•ã‚ŒãŸã‚³ãƒ¼ãƒ‰ãŒè¨˜è¿°ã§ãã¾ã™ã€‚ x86, x86-64, ARM, PowerPCãªã©å¤šæ•°ã®ã‚¢ãƒ¼ã‚テクãƒãƒ£ã®ãƒã‚¤ãƒ†ã‚£ãƒ–コードを出力ã§ãるコンパイラをæŒã£ã¦ã„ã¾ã™ã€‚Android ã‚„ iOS å‘ã‘ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イルもå¯èƒ½ã§ã™ï¼ˆLinux 上ã§ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イル㯠opam-cross-a
A Gentle Introduction to Haskell, Version 98
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳：山下 伸夫 <nobs[email protected]> ã“ã‚Œã¯ã€ã€Œã‚„ã•ã—ã„ Haskell 入門 (ãƒãƒ¼ã‚¸ãƒ§ãƒ³98)ã€ã®HTMLãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã™ã€‚ 目次è¦ç´„ イントãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ 値ã€åž‹ã€ãã®ä»–ã®æœ‰ç”¨ãªæ¦‚念 関数 case å¼ã¨ãƒ‘ã‚¿ãƒ¼ãƒ³ç…§åˆ åž‹ã‚¯ãƒ©ã‚¹ã¨ã‚ªãƒ¼ãƒãƒãƒ¼ãƒ‡ã‚£ãƒ³ã‚° å†ã³ã€åž‹ã«ã¤ã„㦠入出力 標準㮠Haskell クラス モナド æ•° モジュール 型付ã‘ã®è½ã—ç©´ é…列 ã“ã®å…ˆã®å¦ç¿’ å‚考文献 目次 ã“ã®Haskell Tutorialã®ãƒžã‚¹ã‚¿ãƒ¼æ–‡æ›¸ã¯ã€ haskell.orgã«ã‚ã‚Šã¾ã™ã€‚ã“ã®ãƒ¬ãƒãƒ¼ トã®è¨‚æ£ã‚„変更ã¯ã™ã¹ã¦ãã“ã«åæ˜ ã•ã‚Œã‚‹ã‚ˆã†ã«ãªã£
Haskell@WCIMH
./index.html ../index.html 無謀ã«ã‚‚Haskellã«æŒ‘戦ã—ãŸã¨ãã®Note ã¾ãšä½•ã‚‚言ã‚ãšã«ã“ã“ã‚’èªã‚“ã§ä¸‹ã•ã„。 次ã¯ã“ã“ã§ã™ã€‚ 僕ã¯ä¸Šè¨˜ãƒšãƒ¼ã‚¸ä»¥ä¸Šã®èª¬æ˜Žã‚’ã™ã‚‹è‡ªä¿¡ã¯ç„¡ã„ã®ã§ã€å…¨ãæ„味ä¸æ˜Žã ã£ãŸäººã¯ã“ã“ã§ã•ã‚‰ã°ã§ã™ã€‚ 上記をカケラã§ã‚‚ç†è§£ã—ãŸæ°—ã«ãªã£ãŸã‚‰ã“ã£ã¡ã§Hugsをインストールã—ã¦ãã ã•ã„。 僕ã¯ç´ 人ã§ã™ã€‚ ãれもã€æƒ…å ±å·¥å¦ã®ã˜ã®å—も知らãªã„ç´ äººã§ã™ã€‚ ã“ã“ã§æŒ™ã’ãŸURLã®ã©ã‚Œã‹ã²ã¨ã¤ã§ã‚‚æ—¢ã«çŸ¥ã£ã¦ã„ãŸäººã«ã¯ã“ã“ã§ã‚„るよã†ãªå†…容ã¯å¹¼ç¨šéŽãŽã¾ã™ã€‚ ã—ã‹ã—èªã‚€ãªã¨ã¯ã„ã„ã¾ã›ã‚“。 é–“é•ã„を見ã¤ã‘ãŸã‚‰æ•™ãˆã¦æ¬²ã—ã„ã‹ã‚‰ã€‚ ã„ã¡ãŠã†æž•è©žã‚’書ã„ã¦ãŠãã¾ã™ã¨ã€ã‚ªãƒ–ジェクト指å‘ã¨è¨€ã‚れる最近ã®è¨€èªžã‚‚ã€FORTH, Mindã®ã‚ˆã†ãªã‚¹ã‚¿ãƒƒã‚¯åž‹è¨€èªžã‚‚ã€BASICã®ã‚ˆã†ãªéžæ§‹é€ 化ãªæ‰‹ç¶šã型言語もã€Pascalã®ã‚ˆã†ãªæ§‹é€ 化言語もã€ã™ã¹ã¦é€æ¬¡å®Ÿè¡Œåž‹ã§ã‚ã‚‹ã“ã¨ã¯ç–‘ã„よã†ã®ç„¡ã„事実ã§ã™ã€‚
ã„ã’太ã®ãƒ–ãƒã‚°: F# を始ã‚よã†
F# ãªã‚‹è¨€èªžãŒã‚ã‚‹ã“ã¨ã‚’知る。ã¡ã‚‡ã„ã¨æŽ¢ã‚Šã‚’入れã¦ã¿ã‚Œã°ã€é–‹ç™ºä¸ã®å ±ãŒ 2003/05/29 ã® /.J ã«ã‚ãŒã£ã¦ã„る。ã„ã¾ã•ã‚‰ãªãƒã‚¿ã§ã‚ã‚‹ã“ã¨ãŒéœ²è¦‹ã—ãŸãŒã€ã¾ããれもよã—。ãã‚Œã«ã—ã¦ã‚‚æƒ…å ±ãŒå°‘ãªã„ãŒã€æµè¡Œã£ã¦ãªã„ã®ã‹ã。 F# - Microsoft Resaerch ライセンス 見ã¦ã®é€šã‚Šã€F# 㯠MS ã«ã‚ˆã£ã¦é–‹ç™ºã•ã‚Œã¦ãŠã‚Šã€ãƒã‚¤ãƒŠãƒªã‚‚ç„¡å„Ÿã§æä¾›ã•ã‚Œã¦ã„る。ãŸã ã—ã€è£½å“ã§ã¯ãªãã€ãƒªã‚µãƒ¼ãƒ プãƒã‚¸ã‚§ã‚¯ãƒˆã¨ã„ã†ä½ç½®ä»˜ã‘ã®ã€ã¾ã 試験段階ã®è¨€èªžã§ã‚る。ライセンスã«ã¤ã„ã¦ã¯ã€Microsoft Research Shared Source License Agreement (MSR-SSLA) ãªã‚‹ã‚‚ã®ã‚’ベースã«ã—ã¦ãŠã‚Šã€ãƒªãƒ³ã‚¯å…ˆã®ãƒˆãƒƒãƒ—ページã«ã¯ã“ã†ã‚る。 The F# License is a Microsoft Research Shared Source License Agr
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}