ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠以下ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’目処ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—を終了予定ã§ã‚る旨をãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019年末を目処ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æ供を終了ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã“ã®ãŸã³ã€æ£å¼ã«çµ‚了日を決定ã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”確èªãã ã•ã„。 終了日: 2020å¹´1月31æ—¥(金) エクスãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1月31æ—¥(金) 終了日以é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“。日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„。 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„㦠- ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã”利用ã®ã¿ãªã•ã¾ã«ã¯ã”迷惑をãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 追記 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2月28
Agda2ã«ãŠã‘ã‚‹Propã¨Set0ã®é•ã„
Ãœe🦀 @ranha @ikegami__ 多分ç§ã®ã¯ã€çµ„è¾¼ã¿ã®åŠ›ã§ã€Œä¾¿åˆ©ã«ãªã£ãŸã€ã‚ˆã†ãªequalityãŒæ¬²ã—ã„ãªãƒ¼ã£ã¦ã„ã†è¨€ã„æ›ãˆã§2例作ã£ãŸã ã‘ãªæ°—ãŒã—ã¾ã™ã€‚ãŸã Set0ã¨Propã®é•ã„ã¯çŸ¥ã‚ŠãŸã„ã§ã™ï¼ Ikegami Daisuke @ikegami__ ã‚ã€Set0 㨠Prop ã®é•ã„ã¯ã‚ãŸã—ãŒç”ãˆã‚‰ã‚Œã¾ã™ : Martin-Loef ã®åž‹ç†è«–ã§ã¯ Set0, Set1, Set2, ... : "Proposition as a set" : ã¨ã„ã†æ¦‚念ã‹ã‚‰ã€å‘½é¡Œã¯ Set0 ã®åž‹ã‚’æŒã¤ã®ã§ã™ãŒã€Set0 ã¨æ›¸ãã¨(ã¤ã¥ã) Ikegami Daisuke @ikegami__ 命題㯠Set0 ã®åž‹ã‚’æŒã¤ã®ã§ã™ãŒã€Set0 ã®ä½¿ã„é“ã¯å‘½é¡Œã ã‘ã¨ã¯é™ã‚‰ãªã„ã®ã§ã€å‘½é¡Œã®åž‹ã¯ Prop ã¨ã€åˆ¥åã‚’ã¤ã‘ã‚‹è¦ç´„ã«ã—ã¦ã¯ã©ã†ã§ã™ã‹ã€ã¨ã„ã†è©±ã§ã™ã€‚Haskell ãªã‚‰ type Pro
Sequent Calculus in Haskell
A Theorem Prover for Intuitionistic Propositional Logic One of the standard textbooks for ML, the "other" functional programming language, is Paulson's ML for the Working Programmer. Some years back, this is the book that I first learnt functional programming from. The book culminates in a theorem prover for classical first order logic, which is the kind of task that functional programming languag
書評（数ç†è«–ç†å¦ï¼‰
一般解説書ãªã© çµåŸŽæµ©ï¼šæ•°å¦ã‚¬ãƒ¼ãƒ«ï¼ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†, ソフトãƒãƒ³ã‚¯ã‚¯ãƒªã‚¨ã‚¤ãƒ†ã‚£ãƒ– (2009) (ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼ã®è¨˜äº‹ã«åŠ ç†ä¿®æ£ã—ã¦è»¢è¼‰) 本書ã¯ã€æ•°å¦ã®å®šç†ã®è§£èª¬ã¨ã—ã¦ã¯ãã‚ã‚ã¦ã¾ã£ã¨ã†ãªã€ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã®è§£èª¬æœ¬ã§ã‚る。普通ãªã‚‰ã€ã¾ã£ã¨ã†ã§ã‚ã‚‹ã“ã¨ã¯è©•ä¾¡ã®æœ€ä½ŽåŸºæº–ã§ã‚ã£ã¦ã€ãã‚Œã ã‘ã§é«˜è©•ä¾¡ã«ãªã‚‹ã‚‚ã®ã§ã¯ãªã„。ã—ã‹ã—ã€ä¸å®Œå…¨æ€§å®šç†ã«é™ã£ã¦ã¯ãã†ã¯ã„ãˆãªã„。ã¡ã¾ãŸã«ã‚ãµã‚Œã‚‹ä¸å®Œå…¨æ€§å®šç†ã«é–¢ã‚る言説ã«ã¯ã¾ã£ã¨ã†ã§ãªã„ã‚‚ã®ãŒã‚ã¾ã‚Šã«ã‚‚多ã„。ãã®ãŸã‚ã€ä¸å®Œå…¨æ€§å®šç†ã®è§£èª¬æœ¬ã¯ã¾ã£ã¨ã†ã§ã‚ã‚‹ã ã‘ã§é«˜ã„評価を得ã¦ã—ã¾ã†ã€‚ ã¾ã£ã¨ã†ã§ã‚ã‚‹ãŸã‚ã«ç¬¬ä¸€ã«å¿…è¦ãªã“ã¨ã¯ã€å†…容ã«åˆæ©çš„ãªé–“é•ã„ãŒãªã„ã“ã¨ã§ã‚る。当ãŸã‚Šå‰ã®ã“ã¨ã ãŒã€ãã®å½“ãŸã‚Šå‰ãŒå®Ÿç¾ã§ãã¦ã„ãªã„ä¸å®Œå…¨æ€§å®šç†æœ¬ã¯å¤šã„。è‚心ã®ã€Œä¸å®Œå…¨ã€ã®å®šç¾©ã‚’é–“é•ãˆã¦ã„ã‚‹ã‚‚ã®ã™ã‚‰çã—ããªã„。ãã®ç‚¹ã€æœ¬æ›¸ã¯æ£ã—ã記述ã—ã¦ã„ã‚‹ã®ã¿ãªã‚‰ãšã€ã¡ã¾ãŸã«ã‚ˆãã‚ã‚‹æ¿«
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚---目次 | 日経 xTECH（クãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• 英二郎 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”究分野ãŒã‚る。ã“ã®åˆ†é‡Žã®ç ”究者ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„）ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„言語やモデルã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”究ã—ã¦ã„る。ãŸã ，ãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã 。 ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ソフトウエア科å¦ã®æ§˜ã€…ãªç ”究を，ã§ãã‚‹ã ã‘普通ã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„エンジニアã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ã（ã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–よりも実用ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ã。 æ›´æ–°ã¯æ¯Žæœˆç¬¬2水曜日（1月ã®ã¿ç¬¬3水曜日）
C++ã§è«–ç†åž‹è¨€èªžã‚³ãƒ³ãƒ‘イラを書ã„ã¦ã¿ã‚‹
C++ ã§ã€è«–ç†åž‹è¨€èªž(GHC)コンパイラを書ã è«–ç†åž‹è¨€èªžã‚³ãƒ³ãƒ‘イラを作るç†ç”± 基本ãƒãƒªã‚·ãƒ¼: ã„ã‚ã„ã‚諦ã‚ã‚‹ GHC ã®åŸºæœ¬ 実装関連 C++ を使ã†ç†ç”± è«–ç†å¤‰æ•°ã‚’実装ã™ã‚‹ ゴールã®ã‚³ãƒ³ãƒ‘イル ゴールã‚ューã¨ç–‘似マルãƒã‚¿ã‚¹ã‚¯ 疑似マルãƒã‚¿ã‚¹ã‚¯ã‹ã‚‰æœ¬å½“ã®ãƒžãƒ«ãƒã‚¿ã‚¹ã‚¯ã¸ 最é©åŒ– ガベージコレクション Boehm GC ã‚’ C++ ã§ä½¿ã†ãŸã‚ã®èª¿æŸ» ガベージコレクションã®å®Ÿè£… JavaScript 㧠GHC [JavaScript] 8-queen [JavaScript] Canvas を使ã£ãŸæç”» [JavaScript] 組ã¿è¾¼ã¿è¿°èªžã®æ›¸ãæ–¹ (メモ) KLIC ã¨ã®æ¯”較 GraphViz 㨠GHC ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæ§‹é€ ã®å¯è¦–化(案) GraphViz ã«ã‚ˆã‚‹ã‚°ãƒ©ãƒ•ã‚£ã‚«ãƒ«ãƒ‡ãƒãƒƒã‚° GHC プãƒã‚°ãƒ©ãƒŸãƒ³ã‚° 入出力ã¨é †åºåˆ¶å¾¡ 竹内関数ã¨é…延評価 [JavaScript] wait/1 ã¨
d.y.d. æ–‡å—コード＆ベイズ推定
12:21 06/05/28 ã†ãŸã²ã‚ 先日ã®è¨˜äº‹ã«æ›¸ã„ãŸã‚ˆã†ã« KOKIA ã«ãƒãƒžã‚Šã¾ã—ã¦ã€ ã¨ã‚Šã‚ãˆãšç‰‡ã£ç«¯ã‹ã‚‰è´ã„ã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ã¾ãšã¯ 1st アルãƒãƒ 㮠『songbird〠ã‹ã‚‰ … …４曲目㮠"白ã„雪" ヤãƒã„。超ヤãƒã„。ãªã‚“ã ã“れ。ツボã™ãŽã‚‹ã€‚ ベスト盤をè´ã„ãŸã¨ãæ„Ÿã˜ãŸæºã‚‰ãŽãªãè½ã¡ç€ã„ãŸæŒå”±åŠ›çš„ãªæ›²ã‚’期待ã—ã¦è´ãã¯ã˜ã‚ãŸã‚‰ã€ 予想外ã®å£°è³ªã®æŒãŒé£›ã³è¾¼ã‚“ã§ãã¦ã³ã£ãã‚Šã—ã¾ã—ãŸã€‚ã‚‚ã¡ã‚ん抜群ã«å·§ã„ã®ã« ã‹ã‚ã‚Šã¯ãªã„ã‚“ã§ã™ãŒã€ãšã£ã¨å„šã’ãªã€ã‚¬ãƒ©ã‚¹ç´°å·¥ã¿ãŸã„ãªã‚¤ãƒ¡ãƒ¼ã‚¸ã®ã€ã‚ã‚ã€ãã®ã€ ã¤ã¾ã‚Šç™½ã„雪ã¿ãŸã„ãªé›°å›²æ°—ã®ç¶ºéº—ãªå£°ã§ã€‚ãã®å£°ã¨å¥‡è·¡çš„ã«ãƒžãƒƒãƒã—ãŸãƒ¡ãƒãƒ‡ã‚£ã€‚ ã™ã”ã„ãªã‚。９曲目㮠"ã‚ã‚ŠãŒã¨ã†â€¦" もベスト盤ã§ã®ãƒªãƒ†ã‚¤ã‚¯ã¨æ¯”ã¹ã¦åŒã˜å°è±¡ã§ã€ Amazonã®review 㧠TenderBerry ã•ã‚“ã¨ã„ã†æ–¹ãŒè¿‘ã„ã“ã¨ã‚’書ã„ã¦ãŠã‚‰ã‚Œã¾ã—ãŸã€‚ ã—ã‹ã—書ã„ã¦ã¦è‡ªåˆ†ã®èªžå½™ã®
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ã‚»ã‚ュアコーディング(æ³•æ”¿å¤§å¦ ç†å·¥å¦éƒ¨ å¿œç”¨æƒ…å ±å·¥å¦ç§‘ 2年次後期 (2010年度))
{{#tags}}- {{label}}
{{/tags}}