等価変換システム ETI (Equivalent Transformation rule Interpreter)

暮らしカテゴリーの変更を依頼記事元:

assam.cims.hokudai.ac.jp

19 usersがブックマークコメント

コメント

4

記事へのコメント4件

注目コメント
新着コメント

tanakaBox 等価変換らしい。

language

2007/10/26 リンク

adamrocker プログラムを組むということは、直感的なアルゴリズムを不自然な言語で記述するということ。唯一人間的な部分がアルゴリズムとなる。その部分をより正確に書くことが出来る言語がET。アルゴリズム記述言語。

2007/02/06 リンク

xoinu 等価変換

あとで読む

2006/03/24 リンク

mind 等価変換とは、ある表現が表す意味を保存したまま表現だけを変更する変換 ―― //M(P)=M(P')ならばrは等価変換 ―― //正当性と効率を両立 ―― //変更に強い ―― //否定を含む問題を…集合表現を含む問題を ―― //

2006/01/31 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

等価変換システム ETI (Equivalent Transformation rule Interpreter)

ETI (Equivalent Transf ormation rule Interpreter) とは、等価変換プログラミングという新しいソフトウ... ETI (Equivalent Transf ormation rule Interpreter) とは、等価変換プログラミングという新しいソフトウェア開発方法を実現する言語処理システムです。BASIC、C、Prologなどのように汎用的なプログラミングが可能がですが、理論的基礎に「等価変換に基づく問題解決」を採用している点が、他の言語と大きく異なります。等価変換とは？等価変換とは何でしょうか。等価変換とは、ある表現が表す意味を保存したまま表現だけを変更する変換のことを言います。記号を使って書くと「解くべき問題の条件や質問を記述した表現をP、Pが表す意味をM(P)、PをP'に書き換える変換をrとするときM(P)=M(P')ならばrは等価変換である」ということになります。等価変換を知らない人が一番イメージしやすいPの具体例は連立方程式だとおもいます。このときM(P)は連立方程式の答

ブックマークしたユーザー

rydot2013/01/24
matatabity2012/06/14
himorogi2011/02/03
takuto_h2009/06/08
snipercool2008/12/06
yugui2008/07/29
ma22008/05/08
zu22008/02/08
tanakaBox2007/10/26
adamrocker2007/02/06
jijixi2007/01/12
uronim12006/08/25
YasuyukiMiura2006/05/28
xoinu2006/03/24
mind2006/01/31
sshi2005/04/18

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 暮らし

いま人気の記事 - 暮らしをもっと読む

新着記事 - 暮らし

新着記事 - 暮らしをもっと読む

設定を変更しましたx