「形式的」とは何だろう
「形式的手法」、「形式言語」、「形式的体系」などの言葉には、「形式 （的）」という形容詞が登場する。この「形式的」とはどういうことなのだろ うか。主に、形式的体系について解説することによって、形式的な発想に慣れ るキッカケを提供したい。 1. はじめに このキマイラ・サイトや他のところの記事で僕が扱っている話題には、形式 的手法、形式言語、形式的体系など、「形式（的）;formal」という形容詞が つくものが多い。同じ「形式的」という言葉でも、使われる文脈で異なる意味 あいがあるのだが、まー、共通する面もあるね。この記事では特に、「『形式 的体系』における『形式的』」について取り上げてみる。「形式的（なもの）」 に対する嫌悪感やアレルギーを取り除ければいいな、というのが僕の希望であ る。 この記事から他の記事への参照はあるが、それらの参照をたどらなくても、 この記事単独でも読める。また、他
Microsoft XML Team's WebLog
Out of the Angle Brackets Xslt 1.0 biggest issues (kind of) solved Xslt 1.0 has a number of issues that can make the life of an Xml developer frustrating. A lot of... Author: XmlTeam Date: 10/09/2011 The world has moved on, have you? Xml APIs you should avoid using. There is a few Xml APIs you should not be using. In some cases the complier makes this obvious – the... Author: XmlTeam Date: 10/08/2
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.iona.com/blogs/vinoski/archives/000149.html
Dr. Dobb's | Good stuff for serious developers: Programming Tools, Code, C++, Java, HTML5, Cloud, Mobile, Testing
http://www.peej.co.uk/thinking/2005/03/3-tier-rest.html
http://www.pacificspirit.com/blog/2005/03/01/wsrest_continued_do_we_need_an_http_transfer_soap_binding_and_simplified_wsdl
Leaning towards REST but.....
The Hub | Pluralsight
The Hub | Pluralsight
FW: Summary of decision tree for Addr/Desc groups from Glen Daniels on 2005-03-01 (public-ws-addressing@w3.org from March 2005)
Implementation of WS-Transfer – savas
Abstractions vs Patterns
