ホワット・ア・ワンダフル・ワールド 関数論理型プログラミング言語
# 翻訳は著作権的に問題があり，全て消してしまったので，自分の言葉でまとめ直してみます． 関数論理型言語 (Functional Logic Programming ; FLP) って，一見水と油を無理矢理混ぜ合わせたみたいですが，「関数の評価に論理型言語(Logic Programming ; LP)のアプローチを使う」ということだと思うので，実はけっこう理にかなった進化の方向だと思います． LP のアプローチというのは，パターンマッチングを基本とする，単一化(双方向のパターンマッチングみたいなもの)や，絞りこみ(narrowing : 双方向の単一化みたいなもの)のことで，これらを用いることにより，非常に高度な宣言的プログラミングが可能となります． A Note on Declarative Programming Paradigms and the Future of Definit
tamura70
Knuth先生のThe Art of Compute Programming Volume 4B の日本語訳が アスキードワンゴから2023年12月18日に出版されます．
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
Functional Programming
ちょっと寄り道ー構文解析の話(オプショナル) 現在までの処理系には、ミニOCaml言語プログラムの構文解析を行ってくれる部分がないので、 たとえば、if 2=-1 then 1*2 else 1*(2+3) という式を、 If (Eq(IntLit 2, IntLit (-1)), Times(IntLit 1, IntLit 2), Times(IntLit 1, Plus(IntLit 2,IntLit 3))) というように exp型の式として書かなくてはならず、入力が大変であり、間違いやすい。 もし、 parse "if 2=-1 then 1*2 else 1*(2+3)" とすると、上記のexp型の式を生成してくれる関数parseがあれば、大変に便利 である。 ここで、「構文解析する」という言葉を使ってきたが、正確には以下の2つの プログラムから構成される。 字句解析器 (l
Compiler Construction - Wikibooks, open books for an open world
Chapters[edit | edit source] About the Book Introducing Compilers and Interpreters (Feb 3, 2005) Describing a Programming Language Lexical analysis (Jan 31, 2005) Case Study 1 - a simple Interpreter (Feb 15, 2005) Syntax Analysis Case Study 1B - a Compiler/Interpreter front-end written in C using Lex and Yacc A recipe for writing a reusable grammar Semantic Analysis Intermediate Representation
abc予想が解決された？ - hiroyukikojima’s blog
京都大学数理解析研究所の望月新一教授が、「abc予想」を解決した、ということが新聞などで話題になっている。望月さんが総ページ数500ページに及ぶ4本の論文をホームページに公開し、それが「ネイチャー」で報じられたからだ。 実は、先週のアエラ(10/8日号)では、この件に関して、数学ライターの中村亨さん(コマネチ大学の出題者)とぼくからの取材で一本記事を作って報道している。望月さんと数理解析研が一切取材に応じない方針だそうで、編集者はがっかりしていた。それで、中村さんとぼくに(つまり、プロの数学者でない人に)白羽の矢がたったのだろう。こういうことがあるとつくづく思うのは、市民と学者の間をつなぐ専門報道者の必要性だ。何もゴシップに関する取材にまで誠実に答えよ、とはいわないが、マスコミを介して市民が大きな関心を持っているこのような大きな業績に関しては、ある程度は市民への情報サービスをしてほしく思う
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Runtime error - catch.jp-wiki
Factor/Examples
Monads on the Stack
日本語プログラミング言語「言霊」 - pdf.io