https://b.hatena.ne.jp/SWIMATH2/programming/ programmingに関するSWIMATH2のはてなブックマーク (17) https://github.com/vekatze/neut SWIMATH2 2020-05-24T18:19:37Z programming 依存型 <blockquote cite="https://github.com/vekatze/neut" title="GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fvekatze%2Fneut" alt="" /> <a href="https://github.com/vekatze/neut">GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus</a></cite><p><a href="https://github.com/vekatze/neut"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/528ed1a88d04cbf528f6bf18f3e84b582f3dc9e5/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fopengraph.githubassets.com%2F8ebcc0ddc1c068f50b376e883cfcc811c0b16f83f56b228037308c9d1c79810e%2Fvekatze%2Fneut" alt="GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus" title="GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus" class="entry-image" /></a></p><p>You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert</p><p><a href="https://b.hatena.ne.jp/entry/s/github.com/vekatze/neut"><img src="https://b.hatena.ne.jp/entry/image/https://github.com/vekatze/neut" alt="はてなブックマーク - GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus" title="はてなブックマーク - GitHub - vekatze/neut: A programming language with static memory management based on λ-calculus" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/github.com/vekatze/neut"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 20 https://blog.brownplt.org/2018/07/05/mystery-languages.html 同じ構文だけど違う振る舞いをする言語を触ってみさせることでプログラミング言語の設計について教育する話？試してみたい SWIMATH2 2018-07-12T19:26:42Z programming <blockquote cite="https://blog.brownplt.org/2018/07/05/mystery-languages.html" title="Mystery Languages"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fblog.brownplt.org%2F2018%2F07%2F05%2Fmystery-languages.html" alt="" /> <a href="https://blog.brownplt.org/2018/07/05/mystery-languages.html">Mystery Languages</a></cite><p><a href="https://blog.brownplt.org/2018/07/05/mystery-languages.html"><img src="" alt="Mystery Languages" title="Mystery Languages" class="entry-image" /></a></p><p>Tags: Education, Programming Languages, Semantics Posted on 05 July 2018. How do you learn a new language? Do you simply read its reference manual, and then you’re good to go? Or do you also explore the language, trying things out by hand to see how they behave? This skill—learning about somethin...</p><p><a href="https://b.hatena.ne.jp/entry/s/blog.brownplt.org/2018/07/05/mystery-languages.html"><img src="https://b.hatena.ne.jp/entry/image/https://blog.brownplt.org/2018/07/05/mystery-languages.html" alt="はてなブックマーク - Mystery Languages" title="はてなブックマーク - Mystery Languages" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/blog.brownplt.org/2018/07/05/mystery-languages.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 2 https://microsoft.github.io/language-server-protocol/ Language Server Protocol (LSP) の公式サイト SWIMATH2 2018-02-20T06:14:50Z programming <blockquote cite="https://microsoft.github.io/language-server-protocol/" title="Official page for Language Server Protocol"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmicrosoft.github.io%2Flanguage-server-protocol%2F" alt="" /> <a href="https://microsoft.github.io/language-server-protocol/">Official page for Language Server Protocol</a></cite><p><a href="https://microsoft.github.io/language-server-protocol/"><img src="" alt="Official page for Language Server Protocol" title="Official page for Language Server Protocol" class="entry-image" /></a></p><p>The Language Server Protocol (LSP) defines the protocol used between an editor or IDE and a language server that provides language features like auto complete, go to definition, find all references etc. The goal of the Language Server Index Format (LSIF, pronounced like &quot;else if&quot;) is to support r...</p><p><a href="https://b.hatena.ne.jp/entry/s/microsoft.github.io/language-server-protocol/"><img src="https://b.hatena.ne.jp/entry/image/https://microsoft.github.io/language-server-protocol/" alt="はてなブックマーク - Official page for Language Server Protocol" title="はてなブックマーク - Official page for Language Server Protocol" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/microsoft.github.io/language-server-protocol/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 33 https://note.com/konpyu/n/n9fd5b81f6305 事例って感じ SWIMATH2 2017-11-13T12:44:48Z programming <blockquote cite="https://note.com/konpyu/n/n9fd5b81f6305" title="リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fnote.com%2Fkonpyu%2Fn%2Fn9fd5b81f6305" alt="" /> <a href="https://note.com/konpyu/n/n9fd5b81f6305">リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu</a></cite><p><a href="https://note.com/konpyu/n/n9fd5b81f6305"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/f6a693384004a545ba6e2b0d7b271085b84a7ed5/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fassets.st-note.com%2Fproduction%2Fuploads%2Fimages%2F5249836%2Frectangle_large_810c5e638b4a795714b7e32bef1e3dc8.jpg%3Ffit%3Dbounds%26quality%3D85%26width%3D1280" alt="リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu" title="リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu" class="entry-image" /></a></p><p>日本経済新聞は国内を代表する経済誌だ。その電子版はwebでの継続課金を大成功させ、いまや50万以上の有料会員を擁するモンスターサイトだ。 その日経電子版が11月6日に全面リニューアルしたのだが、公開後、web業界がにわかにざわついた。表示速度が爆速だったのだ。日経公式もモバイルで2倍の表示速度を達成したと堂々...</p><p><a href="https://b.hatena.ne.jp/entry/s/note.com/konpyu/n/n9fd5b81f6305"><img src="https://b.hatena.ne.jp/entry/image/https://note.com/konpyu/n/n9fd5b81f6305" alt="はてなブックマーク - リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu" title="はてなブックマーク - リニューアルした日経電子版が高速すぎてヤバイ件｜konpyu" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/note.com/konpyu/n/n9fd5b81f6305"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 1456 https://postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/ 自分がするだけじゃなくて、こういうチームにするのが大事っぽい SWIMATH2 2017-10-10T15:25:45Z management programming <blockquote cite="https://postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/" title="不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fpostd.cc%2F7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase%2F" alt="" /> <a href="https://postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/">不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD</a></cite><p><a href="https://postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/bfa109947f5a2d14be1e89ca07570ab64a97172a/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fpostd.cc%2Fwp%2Fwp-content%2Fuploads%2F2014%2F10%2Fspace-19070_640-500x273.jpg" alt="不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD" title="不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD" class="entry-image" /></a></p><p>新しい仕事やプロジェクトを始める時に、コードベースを一から作ることはめったにありませんよね。なじみのないコードと格闘するのは骨が折れますし、新たに取り込む情報の多さを考えると、気の遠くなる思いがします。Rubyを使っていた環境からNestoriaに移った私の場合は、新しいコードベースの学習に加えて、Perlまで...</p><p><a href="https://b.hatena.ne.jp/entry/s/postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/"><img src="https://b.hatena.ne.jp/entry/image/https://postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/" alt="はてなブックマーク - 不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD" title="はてなブックマーク - 不慣れなコードベースで短期間に生産性を高めるための7つの方法 | POSTD" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/postd.cc/7-strategies-to-quickly-become-productive-in-an-unfamiliar-codebase/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 140 https://qiita.com/maku77/items/6410c67ce95e08d8d1bd 前半はドキュメンテーション一般に応用できそうな話だった。 SWIMATH2 2017-10-10T00:21:24Z programming <blockquote cite="https://qiita.com/maku77/items/6410c67ce95e08d8d1bd" title="Javadoc ドキュメンテーションコメントの書き方 - Qiita"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fqiita.com%2Fmaku77%2Fitems%2F6410c67ce95e08d8d1bd" alt="" /> <a href="https://qiita.com/maku77/items/6410c67ce95e08d8d1bd">Javadoc ドキュメンテーションコメントの書き方 - Qiita</a></cite><p><a href="https://qiita.com/maku77/items/6410c67ce95e08d8d1bd"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/59a11ef999486032c78fcc72f104dd7a5094618c/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn.qiita.com%25252Fassets%25252Fpublic%25252Farticle-ogp-background-afbab5eb44e0b055cce1258705637a91.png%253Fixlib%253Drb-4.1.1%2526w%253D1200%2526blend64%253DaHR0cHM6Ly9xaWl0YS11c2VyLXByb2ZpbGUtaW1hZ2VzLmltZ2l4Lm5ldC9odHRwcyUzQSUyRiUyRnFpaXRhLWltYWdlLXN0b3JlLnMzLmFtYXpvbmF3cy5jb20lMkYwJTJGNTU3MzMlMkZwcm9maWxlLWltYWdlcyUyRjE0NzM2OTM3NzA_aXhsaWI9cmItNC4xLjEmYXI9MSUzQTEmZml0PWNyb3AmbWFzaz1lbGxpcHNlJmJnPUZGRkZGRiZmbT1wbmczMiZzPWYwNjJkZDg2NTg1MTJhOTk4NjVlMzc3MzJiYzdmYzQ1%2526blend-x%253D120%2526blend-y%253D467%2526blend-w%253D82%2526blend-h%253D82%2526blend-mode%253Dnormal%2526s%253D9daa042cf1cec306246364e73f3cb022%3Fixlib%3Drb-4.1.1%26w%3D1200%26fm%3Djpg%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjEuMSZ3PTk2MCZoPTMyNCZ0eHQ9SmF2YWRvYyUyMCVFMyU4MyU4OSVFMyU4MiVBRCVFMyU4MyVBNSVFMyU4MyVBMSVFMyU4MyVCMyVFMyU4MyU4NiVFMyU4MyVCQyVFMyU4MiVCNyVFMyU4MyVBNyVFMyU4MyVCMyVFMyU4MiVCMyVFMyU4MyVBMSVFMyU4MyVCMyVFMyU4MyU4OCVFMyU4MSVBRSVFNiU5QiVCOCVFMyU4MSU4RCVFNiU5NiVCOSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1wYWQ9MCZzPWYxYTNhNjdmMzQzNWMxMTg5NzY2ODM0ZjYyODZkNjA5%26mark-x%3D120%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjEuMSZ3PTgzOCZoPTU4JnR4dD0lNDBtYWt1NzcmdHh0LWNvbG9yPSUyMzFFMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtcGFkPTAmcz1iMTkxMWIyNjJiZTYzNzhkMGY5NmNkZjA5MzU5MWYxMQ%26blend-x%3D242%26blend-y%3D480%26blend-w%3D838%26blend-h%3D46%26blend-fit%3Dcrop%26blend-crop%3Dleft%252Cbottom%26blend-mode%3Dnormal%26s%3D9ea08a12f3d01110231c2e3f53aed547" alt="Javadoc ドキュメンテーションコメントの書き方 - Qiita" title="Javadoc ドキュメンテーションコメントの書き方 - Qiita" class="entry-image" /></a></p><p>出展: プログラム内のコメントの書き方 | 天才まくまくノート はじめに（モチベーション） こんな話があります。あるソフトウェア企業が一人の技術者の採用を決めました。その決め手となった理由は、「公開しているオープンソースソフトウェアのドキュメントが素晴らしかったから」です。彼らは、作成されたドキュメント...</p><p><a href="https://b.hatena.ne.jp/entry/s/qiita.com/maku77/items/6410c67ce95e08d8d1bd"><img src="https://b.hatena.ne.jp/entry/image/https://qiita.com/maku77/items/6410c67ce95e08d8d1bd" alt="はてなブックマーク - Javadoc ドキュメンテーションコメントの書き方 - Qiita" title="はてなブックマーク - Javadoc ドキュメンテーションコメントの書き方 - Qiita" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/qiita.com/maku77/items/6410c67ce95e08d8d1bd"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 88 https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/ イベントがファーストクラスの言語？すでにUSBドライバとかAzureで使われてるっぽい？ SWIMATH2 2017-05-23T22:57:14Z programming <blockquote cite="https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/" title="P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fblog%2Fp-programming-language-asynchrony%2F" alt="" /> <a href="https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/">P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research</a></cite><p><a href="https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/0242380074ee4c1da7f5fceafe0917b589a637a2/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fwp-content%2Fuploads%2F2017%2F05%2F685449582-small.jpg" alt="P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research" title="P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research" class="entry-image" /></a></p><p>The programming model in P is based on concurrently executing state machines communicating via events, with each event accompanied by a typed payload value. A memory management system based on linear typing and unique pointers provides safe memory management and data-race-free concurrent executio...</p><p><a href="https://b.hatena.ne.jp/entry/s/www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/"><img src="https://b.hatena.ne.jp/entry/image/https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/" alt="はてなブックマーク - P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research" title="はてなブックマーク - P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 54 https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf SWIMATH2 2017-04-06T12:40:38Z programming <blockquote cite="https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf" title="[PDF]プログラミング言語の意味論 (katsumata)"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.kurims.kyoto-u.ac.jp%2F~kenkyubu%2Fkokai-koza%2Fkatsumata.pdf" alt="" /> <a href="https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf">[PDF]プログラミング言語の意味論 (katsumata)</a></cite><p><a href="https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf"><img src="" alt="[PDF]プログラミング言語の意味論 (katsumata)" title="[PDF]プログラミング言語の意味論 (katsumata)" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/s/www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf"><img src="https://b.hatena.ne.jp/entry/image/https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf" alt="はてなブックマーク - [PDF]プログラミング言語の意味論 (katsumata)" title="はてなブックマーク - [PDF]プログラミング言語の意味論 (katsumata)" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/katsumata.pdf"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 31 https://cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53 ひたすら継承より委譲という話っぽい？あとで読む SWIMATH2 2017-03-02T20:07:52Z programming <blockquote cite="https://cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53" title="Goodbye, Object Oriented Programming"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fcscalfani.medium.com%2Fgoodbye-object-oriented-programming-a59cda4c0e53" alt="" /> <a href="https://cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53">Goodbye, Object Oriented Programming</a></cite><p><a href="https://cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/cf02b5c6d9712024fcca450e930a343d335199ad/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fmiro.medium.com%2Fv2%2Fresize%3Afit%3A590%2F1%2AcBFSQ9Ytv_D0jwGtpuL5WA.png" alt="Goodbye, Object Oriented Programming" title="Goodbye, Object Oriented Programming" class="entry-image" /></a></p><p>I’ve been programming in Object Oriented languages for decades. The first OO language I used was C++ and then Smalltalk and finally .NET and Java. I was gung-ho to leverage the benefits of Inheritance, Encapsulation, and Polymorphism. The Three Pillars of the Paradigm. I was eager to gain the pro...</p><p><a href="https://b.hatena.ne.jp/entry/s/cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53"><img src="https://b.hatena.ne.jp/entry/image/https://cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53" alt="はてなブックマーク - Goodbye, Object Oriented Programming" title="はてなブックマーク - Goodbye, Object Oriented Programming" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/cscalfani.medium.com/goodbye-object-oriented-programming-a59cda4c0e53"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 94 http://conal.net/fran/tutorial.htm SWIMATH2 2016-07-11T02:43:26Z あとで読む programming <blockquote cite="http://conal.net/fran/tutorial.htm" title="Composing Reactive Animations"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fconal.net%2Ffran%2Ftutorial.htm" alt="" /> <a href="http://conal.net/fran/tutorial.htm">Composing Reactive Animations</a></cite><p><a href="http://conal.net/fran/tutorial.htm"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/598a4be2ff81e383f4f4782441cfa5c91276ea9b/backend=imagemagick;height=90;version=1;width=120/http%3A%2F%2Fconal.net%2Ffran%2Fgifs%2FleftRightCharlotte.gif" alt="Composing Reactive Animations" title="Composing Reactive Animations" class="entry-image" /></a></p><p>Composing Reactive Animations Conal Elliott Microsoft Research Graphics Group Copyright 1998 Introduction We have all seen a lot of wonderful looking computer graphics, and many of us have spent time playing video games or watching our kids (or their kids) play them. It is clear that computer gra...</p><p><a href="https://b.hatena.ne.jp/entry/conal.net/fran/tutorial.htm"><img src="https://b.hatena.ne.jp/entry/image/http://conal.net/fran/tutorial.htm" alt="はてなブックマーク - Composing Reactive Animations" title="はてなブックマーク - Composing Reactive Animations" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/conal.net/fran/tutorial.htm"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 7 https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics SWIMATH2 2016-07-08T12:24:03Z programming <blockquote cite="https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics" title="Haskell/Denotational semantics - Wikibooks"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikibooks.org%2Fwiki%2FHaskell%2FDenotational_semantics" alt="" /> <a href="https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics">Haskell/Denotational semantics - Wikibooks</a></cite><p><a href="https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics"><img src="" alt="Haskell/Denotational semantics - Wikibooks" title="Haskell/Denotational semantics - Wikibooks" class="entry-image" /></a></p><p>この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平方関数だ」ということを形式的に規定することはつまらないことにみえるかもしれませんが、それでは f x = f (x+1) のよ...</p><p><a href="https://b.hatena.ne.jp/entry/s/ja.wikibooks.org/wiki/Haskell/Denotational_semantics"><img src="https://b.hatena.ne.jp/entry/image/https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics" alt="はてなブックマーク - Haskell/Denotational semantics - Wikibooks" title="はてなブックマーク - Haskell/Denotational semantics - Wikibooks" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/ja.wikibooks.org/wiki/Haskell/Denotational_semantics"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 18 http://maoe.hatenadiary.jp/entry/20100109/1263059731 SWIMATH2 2016-07-08T11:38:00Z programming <blockquote cite="http://maoe.hatenadiary.jp/entry/20100109/1263059731" title="やさしいFunctional reactive programming（概要編） - maoeのブログ"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fmaoe.hatenadiary.jp%2Fentry%2F20100109%2F1263059731" alt="" /> <a href="http://maoe.hatenadiary.jp/entry/20100109/1263059731">やさしいFunctional reactive programming（概要編） - maoeのブログ</a></cite><p><a href="http://maoe.hatenadiary.jp/entry/20100109/1263059731"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/44e4df5228a6f66b55cde4c90cdbc0dd242a1228/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12704830469096755938%2F12704830469096756075%2F1365590825" alt="やさしいFunctional reactive programming（概要編） - maoeのブログ" title="やさしいFunctional reactive programming（概要編） - maoeのブログ" class="entry-image" /></a></p><p>あと、やはりネットワーク周りなどI/Oの多いプログラムの書きにくさが課題になっている印象。関数的なI/OはFRPで解決できそうな気がするんだけど調べてない。そろそろFRPをちゃんと理解したいなー。 Parsec 3活用事例: Keepalived構文チェッカ - maoeのブログ なんて書いてから早1ヶ月半、ようやくFRPが掴めてきたのでわ...</p><p><a href="https://b.hatena.ne.jp/entry/maoe.hatenadiary.jp/entry/20100109/1263059731"><img src="https://b.hatena.ne.jp/entry/image/http://maoe.hatenadiary.jp/entry/20100109/1263059731" alt="はてなブックマーク - やさしいFunctional reactive programming（概要編） - maoeのブログ" title="はてなブックマーク - やさしいFunctional reactive programming（概要編） - maoeのブログ" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/maoe.hatenadiary.jp/entry/20100109/1263059731"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 238 http://melborne.github.io/2009/03/18/notitle/ めっちゃ便利っぽいけど考えるのが少し大変そうだ SWIMATH2 2016-04-22T11:56:16Z programming <blockquote cite="http://melborne.github.io/2009/03/18/notitle/" title="再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fmelborne.github.io%2F2009%2F03%2F18%2Fnotitle%2F" alt="" /> <a href="http://melborne.github.io/2009/03/18/notitle/">再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！</a></cite><p><a href="http://melborne.github.io/2009/03/18/notitle/"><img src="" alt="再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！" title="再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！" class="entry-image" /></a></p><p>「計算機プログラムの構造と解釈」で末尾再帰というものを知ったので勉強しました。自分の理解を書いてみます。 再帰 再帰呼び出しとはある手続きの中で、再びその手続き自身を呼び出すことと定義される1。でもこの定義は正確じゃない。なぜなら再帰呼び出しは自分自身を呼んでいないからだ。 階乗を考えてみよう。階乗...</p><p><a href="https://b.hatena.ne.jp/entry/melborne.github.io/2009/03/18/notitle/"><img src="https://b.hatena.ne.jp/entry/image/http://melborne.github.io/2009/03/18/notitle/" alt="はてなブックマーク - 再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！" title="はてなブックマーク - 再帰は再帰なんかじゃない！末尾再帰こそが真の再帰なんだ！" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/melborne.github.io/2009/03/18/notitle/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 26 https://qiita.com/shinkuFencer/items/f2651073fb71416b6cd7 SWIMATH2 2016-03-20T11:50:26Z programming <blockquote cite="https://qiita.com/shinkuFencer/items/f2651073fb71416b6cd7" title="Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fqiita.com%2FshinkuFencer%2Fitems%2Ff2651073fb71416b6cd7" alt="" /> <a href="https://qiita.com/shinkuFencer/items/f2651073fb71416b6cd7">Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita</a></cite><p><a href="https://qiita.com/shinkuFencer/items/f2651073fb71416b6cd7"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/682fe6cdde4d9168aa1d14298b57195dcb8d5d9b/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn.qiita.com%25252Fassets%25252Fpublic%25252Farticle-ogp-background-afbab5eb44e0b055cce1258705637a91.png%253Fixlib%253Drb-4.1.1%2526w%253D1200%2526blend64%253DaHR0cHM6Ly9xaWl0YS11c2VyLXByb2ZpbGUtaW1hZ2VzLmltZ2l4Lm5ldC9odHRwcyUzQSUyRiUyRnFpaXRhLWltYWdlLXN0b3JlLnMzLmFtYXpvbmF3cy5jb20lMkYwJTJGMTU5MDIlMkZwcm9maWxlLWltYWdlcyUyRjE1MDY2MDY3MzY_aXhsaWI9cmItNC4xLjEmYXI9MSUzQTEmZml0PWNyb3AmbWFzaz1lbGxpcHNlJmJnPUZGRkZGRiZmbT1wbmczMiZzPWQ1YjVjNDJiZDcyZjE5MGZmMjMzOWJkMzU0YzBhNDU0%2526blend-x%253D120%2526blend-y%253D467%2526blend-w%253D82%2526blend-h%253D82%2526blend-mode%253Dnormal%2526s%253D87a7a20213d5445b8fa9a760ae0db371%3Fixlib%3Drb-4.1.1%26w%3D1200%26fm%3Djpg%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjEuMSZ3PTk2MCZoPTMyNCZ0eHQ9V2ViJUUzJTgyJUEyJUUzJTgzJTk3JUUzJTgzJUFBJUUzJTgyJUIxJUUzJTgzJUJDJUUzJTgyJUI3JUUzJTgzJUE3JUUzJTgzJUIzJUU5JTk2JThCJUU3JTk5JUJBJUU4JTgwJTg1JUUzJTgxJThCJUUzJTgyJTg5JUU4JUE2JThCJUUzJTgxJTlGJUUzJTgwJTgxTVZDJUUzJTgxJUE4TVZQJUUzJTgwJTgxJUUzJTgxJTlEJUUzJTgxJTk3JUUzJTgxJUE2TVZWTSVFMyU4MSVBRSVFOSU4MSU5NSVFMyU4MSU4NCZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1wYWQ9MCZzPWYzOTYyOGRlYzRkMDI5NDFhYmJhZDQxMWZkY2QxMmQ5%26mark-x%3D120%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjEuMSZ3PTgzOCZoPTU4JnR4dD0lNDBzaGlua3VGZW5jZXImdHh0LWNvbG9yPSUyMzFFMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtcGFkPTAmcz1lMWU0YzJkZGVmMDFkYzA3MGM0YjVhZGVmMDBjMzZhYw%26blend-x%3D242%26blend-y%3D480%26blend-w%3D838%26blend-h%3D46%26blend-fit%3Dcrop%26blend-crop%3Dleft%252Cbottom%26blend-mode%3Dnormal%26s%3D60d92b779e12159f123e21076296aaa6" alt="Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita" title="Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita" class="entry-image" /></a></p><p>RubyOnRailsを触れる過程でMVCという概念を学び その後、他のフレームワークでMVCやMVP、MVVMというものを知ったのですが Railsで語られるMVCと他で語られるMVCのニュアンスが若干違うので そこを基点にMVCの違い、そしてMVP、MVVMとは何なのかをまとめてみました。 MVC(Model,View,Controller) 定義としてのMVC 上記で...</p><p><a href="https://b.hatena.ne.jp/entry/s/qiita.com/shinkuFencer/items/f2651073fb71416b6cd7"><img src="https://b.hatena.ne.jp/entry/image/https://qiita.com/shinkuFencer/items/f2651073fb71416b6cd7" alt="はてなブックマーク - Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita" title="はてなブックマーク - Webアプリケーション開発者から見た、MVCとMVP、そしてMVVMの違い - Qiita" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/qiita.com/shinkuFencer/items/f2651073fb71416b6cd7"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 133 https://seldo.com/posts/orm_is_an_antipattern/ SWIMATH2 2016-02-13T19:27:21Z programming <blockquote cite="https://seldo.com/posts/orm_is_an_antipattern/" title="ORM is an anti-pattern | Seldo.com"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fseldo.com%2Fposts%2Form_is_an_antipattern%2F" alt="" /> <a href="https://seldo.com/posts/orm_is_an_antipattern/">ORM is an anti-pattern | Seldo.com</a></cite><p><a href="https://seldo.com/posts/orm_is_an_antipattern/"><img src="" alt="ORM is an anti-pattern | Seldo.com" title="ORM is an anti-pattern | Seldo.com" class="entry-image" /></a></p><p>I tweeted about ORM last week, and since then several people have asked me to clarify what I meant. I have actually previously written about ORM, but it was in the context of a larger discussion about SQL and I shouldn&#39;t have confused the two issues. So here I&#39;m going to focus on ORM itself. I&#39;m ...</p><p><a href="https://b.hatena.ne.jp/entry/s/seldo.com/posts/orm_is_an_antipattern/"><img src="https://b.hatena.ne.jp/entry/image/https://seldo.com/posts/orm_is_an_antipattern/" alt="はてなブックマーク - ORM is an anti-pattern | Seldo.com" title="はてなブックマーク - ORM is an anti-pattern | Seldo.com" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/seldo.com/posts/orm_is_an_antipattern/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 33 https://blog.ishotihadus.com/archives/155 大規模ソフトウェアでmikutterを改良しまくった人だ SWIMATH2 2015-10-22T01:30:53Z programming <blockquote cite="https://blog.ishotihadus.com/archives/155" title="mikutterをいじりたおす 第1回 – 愛のらくがき帳"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fblog.ishotihadus.com%2Farchives%2F155" alt="" /> <a href="https://blog.ishotihadus.com/archives/155">mikutterをいじりたおす 第1回 – 愛のらくがき帳</a></cite><p><a href="https://blog.ishotihadus.com/archives/155"><img src="" alt="mikutterをいじりたおす 第1回 – 愛のらくがき帳" title="mikutterをいじりたおす 第1回 – 愛のらくがき帳" class="entry-image" /></a></p><p>大学の実験「大規模ソフトウェアを手探る」でmikutterを扱ったお話。 数回にわたって、僕がmikutterをどんなふうにいじり、どんなふうに改悪したのかをまとめていきます。少し冗長で長く感じる（冗長な表現!）かもしれませんが、まったくでかいプログラムに触れたことがない人でもいじれるくらいの細かさを心がけたつも...</p><p><a href="https://b.hatena.ne.jp/entry/s/blog.ishotihadus.com/archives/155"><img src="https://b.hatena.ne.jp/entry/image/https://blog.ishotihadus.com/archives/155" alt="はてなブックマーク - mikutterをいじりたおす 第1回 – 愛のらくがき帳" title="はてなブックマーク - mikutterをいじりたおす 第1回 – 愛のらくがき帳" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/blog.ishotihadus.com/archives/155"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 18 http://vsanna.sakura.ne.jp/wp/2015/02/cabocha/ SWIMATH2 2015-09-29T15:06:16Z programming <blockquote cite="http://vsanna.sakura.ne.jp/wp/2015/02/cabocha/" title="キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fvsanna.sakura.ne.jp%2Fwp%2F2015%2F02%2Fcabocha%2F" alt="" /> <a href="http://vsanna.sakura.ne.jp/wp/2015/02/cabocha/">キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法</a></cite><p><a href="http://vsanna.sakura.ne.jp/wp/2015/02/cabocha/"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/8a0079b93efba85ec4aadb4da1c46b32b1d03091/backend=imagemagick;height=90;version=1;width=120/http%3A%2F%2Fvsanna.sakura.ne.jp%2Fwp%2Fwp-content%2Fuploads%2F2015%2F02%2F32d08d6205ce2a321ae966a718a25b9e-1024x841.png" alt="キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法" title="キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法" class="entry-image" /></a></p><p>キトー君で真性包茎対策ができてしまいます。 包皮を引っ張ることで矯正できてしまうんですよ。 包皮輪狭窄の方も皮を伸ばすことでだんだんと広がっていきます。 テレビや雑誌でも紹介され多くの方が悩みを解決していますのでおすすめです。 そんなキトー君なのですが本当に真性包茎・カントン包茎に効果があるのでしょ...</p><p><a href="https://b.hatena.ne.jp/entry/vsanna.sakura.ne.jp/wp/2015/02/cabocha/"><img src="https://b.hatena.ne.jp/entry/image/http://vsanna.sakura.ne.jp/wp/2015/02/cabocha/" alt="はてなブックマーク - キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法" title="はてなブックマーク - キトー君の悪い口コミ・失敗談と効果・販売店舗情報・安全と危険性・代用自作方法" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/vsanna.sakura.ne.jp/wp/2015/02/cabocha/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 6