「コンパイラ・スクリプトエンジン」相談室16

**デフォルトの名無しさん** · 2014/07/20(日) 11:16:19.37

プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。

Wikiのまとめページ
http://www6.atwiki.jp/compilerandscriptengine/

**デフォルトの名無しさん** · 2015/09/20(日) 00:52:44.57

演算子に限定する意味は何だろう
cout << (g 1 2 f 3 4) << endl;
こんなの一見して何してるのか判らないしいっそ構文ごと第一級にすればいい
そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
クロージャじゃあかんのかね

**デフォルトの名無しさん** · 2015/09/20(日) 09:22:45.62

この程度のアイデアしかないようじゃ才能ないわな

**261** · 2015/09/20(日) 11:27:11.87

>>275
今作ってる実装だと構文はhead, body, precedence, directionをキーとするオブジェクトの配列になってるので
構文も第一級オブジェクトのインスタンスになっています。
説明不足ですんません。
コードは現在こんな感じ。もし読みたければどうぞ。
https://gist.github.com/pixie-grasper/d07388493204a5e370a2
debug-printが多かったりコメントが少なかったりしますが……

> そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
必要性については私にはまだ分かりませんが、
私は昔レキシカルスコープもクロージャもポインタも継続もマクロも無い素晴らしく酷い言語(古いBASIC)で全てを考えていたので、
その経験から、どんな機能も使い慣れると必要になってくると思っています。

>>276
私馬鹿なもんで。
いいアイデアがあったら是非とも実現してくだされ。

**デフォルトの名無しさん** · 2015/09/20(日) 11:30:35.69

>>275-276
俺にも意味があるようには見えないけど、俺の知らない用途があるのかもしれない
とにかくわからないならスルーしとけよ

**デフォルトの名無しさん** · 2015/09/20(日) 18:18:01.68

>>277
絶対真似しないと約束するなら教えてもいいぞ

**261** · 2015/09/20(日) 18:52:58.39

>>279
じゃぁ真似せずに似たようなものを考えつくまで考え抜きます。
私馬鹿なので。

**デフォルトの名無しさん** · 2015/09/20(日) 20:15:16.31

>>274
BEAMは引数のMatchで分ける処理がVMにあるんでそういう意味でオモシロイコト　-> BEAM参考になるんじゃねぇのって話です

**261** · 2015/09/20(日) 21:59:23.12

>>281
調べてみました。

BEAMだと実行時にモジュール名、関数名、及び引数の数を指定して呼び出す関数を同定するんですね。
実引数の数がコンパイル時には分かるから命令語に引数の数を組み込めるのだと思いますが……
今考えてる言語だと、実引数の数が自明じゃないので使いにくい気がします。

助言、ありがとうございます。

**デフォルトの名無しさん** · 2015/09/21(月) 19:55:02.85

スクリプト型の言語って実行時にコンパイル(構文解析？)が発生するから、コンパイル型の言語より遅いのですよね。

では、アプリケーションの起動時にスクリプトを読み込んだ後のパフォーマンスは、スクリプト型もコンパイル型も大差ないのでしょうか？

**デフォルトの名無しさん** · 2015/09/21(月) 20:31:03.01

大差あります

**デフォルトの名無しさん** · 2015/09/21(月) 21:42:55.66

>>283
「スクリプト型の言語」やら「コンパイル」やらが何を意味してるのかにも依りますが、
よくある速度重視の構成だと、読み込み時に構文解析や意味解析、中間コード生成を終わらせて
実行時に中間コードを(1)実行可能バイナリに変換するパターンと、(2)仮想マシン上でエミュレートするパターンとの二通りがあります。

(1)の場合は変換処理そのものがそれなりに重く、
しかも高度な最適化を掛けるとそれ自体に時間が掛かってしまうので
最適化は殆ど掛けられずコンパイラ型言語の2～3倍は遅くなりますし、
(2)の場合は1命令実行するのに命令を読み込んで比較してジャンプして、
とCPUがアナログ回路上で並列処理してる計算を逐次的に実行するのでかなり重くなります。

**デフォルトの名無しさん** · 2015/09/22(火) 13:12:55.44

比較にならない

スクリプトは柔軟性重視なので速度を出すためのチューニングは後回しにされる

起動時にある程度最適化できるものもあるが、
最適化のために数十秒～数分かけたりもできない
また実行直前にならないと決まらない内容も多く無駄になってしまう

そもそもコンパイラ型で速度重視のソフトを作る場合は
開発者自身やライブラリがメモリレイアウトなど制御し効率を考慮したコードを書く（書ける）

**デフォルトの名無しさん** · 2015/09/25(金) 18:30:15.12

自分でC言語っぽいスクリプト言語とかデータ形式作ってみたけど、どうだろ？
ちなみにスクリプト言語はSC3_Compilerってのに入ってるが。
ttps://osdn.jp/users/mitubasa/pf/BuildContainer/files/

**デフォルトの名無しさん** · 2015/09/26(土) 01:18:18.90

>>283
「スクリプト言語」の定義は難しいが、おおむね
（１）（ユーザーから見て）明示的なコンパイルというフェーズを経ずに実行される
（２）変数に型がない
（３）実行時に行える処理の柔軟性が高い（例えば関数定義など）
という特徴を持つ言語を指すことが多いだろう。RubyやPythonなど

で、それぞれの特徴が、実行速度を遅くすることに貢献する。
（１）→ 最適化に時間を割けない
（２）→ 実行時に、変数が指すオブジェクトの種類を調べる処理が毎回入る。
（３）→ これを実現するためにバイトコードインタプリタで実装されることが多く、遅くなる

もちろん厳密な定義ではないので、あくまで「おおむね」という話。
Javascriptみたいな変態事例もあるし断定的なことは何も言えない
言葉の定義の論争は不毛

**デフォルトの名無しさん** · 2015/09/26(土) 11:28:42.59

>>287
(一切実行せずに)サラッと眺めた感じだと
字句解析くらい生成系やライブラリ(flex++やboost::spirit等)に頼ってみたらどうかなってのはあるかな。

変数名としてnCount(整数,カウント)の代わりにixArg(添字,引数)を使うとか
細かいところは幾つかあるかも知れんけど、それなりに読みやすいと思うよ。

stdafx.cppって名前で使ってることは察したけど、VS使うんなら
プロジェクト開くのに必要なファイル(.sln等)を入れるとか、
或いはMinGW/Cygwin/msys2なんかのUnix系ツールでさくっとビルドできるようにcmakeを書くとかしておくと
評価する人が増えると思うよ。

**デフォルトの名無しさん** · 2015/10/04(日) 21:40:28.41

おれバカで不勉強だから知らなかったえけど、最近の処理系って状態コードのお持ち帰りをしてくれるんだね
手続きAを呼んだ直後にグローバルな状態変数に何がしかの情報が入ってる(何も起きなかったとか、フックして停止させるの推奨みたいな)

面白いな～
データを加工して返すー＞関数(関数内で処理のフローに関係する記述は禁止)
処理のフローに関係するー＞手続き(状態コードを標準で返す)
複数個所使うで同じ様な処理をまとめるー＞サブルーチン(スタックフレームの無いローカルな手続き)

プログラムを組み上げるときの構造や構成に行儀のよい作法がないと
プログラムのどの時点でどのデータがどの構成や状態にあるのか把握ができなくて発狂するｗｗ

で、なんでも記述できる自由度の高い処理系ほど読解困難な発狂プログラムが出来上がると

**デフォルトの名無しさん** · 2015/10/05(月) 23:32:01.45

>>290
状態コードのお持ち帰りって何？

**デフォルトの名無しさん** · 2015/10/06(火) 02:07:01.38

何を言ってるのかさっぱりワカラン…

**デフォルトの名無しさん** · 2015/10/06(火) 02:50:21.48

クロージャのことかな・・・
最初Smalltalkやlispの環境のことかと思ったけど

**デフォルトの名無しさん** · 2015/10/06(火) 10:51:51.85

coroutineだったりして？

**デフォルトの名無しさん** · 2015/10/06(火) 13:56:11.40

継続じゃないの
俺は気持ち悪いとしか思わんけど

**デフォルトの名無しさん** · 2015/10/06(火) 14:17:39.64

なんでも記述できる自由度の高い言語ほど……

**デフォルトの名無しさん** · 2015/10/06(火) 22:40:32.31

(PEEK/POKEで)なんでも記述できる自由度の高いBASIC言語はいかがですかー

**デフォルトの名無しさん** · 2015/10/07(水) 11:46:38.15

文字通りステートコードの事じゃね？
Unixが何十年も前に確立してるけど

# make && make install

**デフォルトの名無しさん** · 2015/10/11(日) 09:14:44.03

なんか意味不明なこと書いてすいません

ステートコードで正しいと思います。
バカ正直に戻り値だけと思い込んでいたので

さっき、vs2013のc++起動して、構成プロパティでx64とアセンブラコードの出力に設定して
c++の入門書を買うか悩むこと5分
lispの実装でググって15分
考えるのやめて現実逃避中orz

一番自由度の高いのはアセンブラ(当たり前だけど)
ただし、全て自己責任(自由度が高い＝自己責任ですよ～)

なんか、適当なスクリプト言語が作れないかなと

**デフォルトの名無しさん** · 2015/10/11(日) 16:02:56.87

>>299
「自由度」の定義は何？確かに「そのマシンで出来ることがなんでも記述できる」ならアセンブリほぼ一択だけど、
例えば「その言語のプリミティブと同等な機能を作れる」ならCommon Lispは自由度が高いし(マクロ最高！)、
或いは「その言語のプリミティブの機能を別な機能に変更出来る」ならTeXは自由度が高いよね(TeXの\endプリミティブが、なんとLaTeXでは違う機能に置き換わってる)。
例えば「その言語の文法を変えられる」って意味ならswiftやprologなんかは自由度が高い例になるだろうし、
仮にそれらの意味であればアセンブリ言語なんて自由度の欠片もない言語の一つになるよ。

適当なスクリプト言語が作りたいならHQ9+かbrainfuckか何かを作ればいいと思うよ
という冗談はさておき、そのスクリプト言語で何をやりたいかによって色々変わってくるよね。

テキスト処理ならgrepやsed、awkやperlなんかは参考になるだろうし、
統計処理や数式処理なんかはRやmathematicaが有名所かな。
読みやすさ重視ならある意味ではCOBOLやBASICが、別な意味ではpythonやrubyが「読みやすさ」を重視した言語として有名だし
とにかく簡単な文法にしたいならlispやpostscriptなんかが興味深い例ではある。

特殊用途向けの言語が作りたいか、汎用的な言語が作りたいか
汎用的な言語であれば手続き型か関数型か論理型か、関数や型はファーストクラスオブジェクトか、どんな文法か。
特殊用途向けの言語であればどんな用途で使うのか。
ノベルゲーム制作の補助向け(NScripter/吉里吉里等)なのか、文法記述用(regex/LR/PEG等)なのか、画像や構造を記述するもの(svg/postscript等)なのか。

**デフォルトの名無しさん** · 2015/10/12(月) 16:27:55.78

>>300
丁寧な指摘ありがとうございます。
実際にVS2013をインストールしc++の入門を開いてブレイクポイントーデバッグーアセンブラの表示までたどりつきました
実際のアセンブラのコードを見て少し頭を抱えたしだいです
int a,b,c;
a=1; b=a/2*2;
たったこれだけのコードのアセンブラ出力も、符号拡張命令後の処理の意味が汲み取れませんでした
取り合えず高度な目標はありません

NanaTerryなるアイデアプロセッサを使ってみたらとても使い心地が良かったので
これをシンプルな機能に絞って実装する、そんなプログラムやアイデアを綴るTEXTを扱うtoolを
作りだす為の仕様に絞って色々検討しています。
低機能なlispっぽいなにかになる予定
最近はcコンパイラの実装まで大学のカリキュラムにあると聞いたので凄く刺激を受けました

実際c++の入門などを読んでも言語の仕様に何等かの違和感があるのです

**デフォルトの名無しさん** · 2015/10/12(月) 18:59:19.08

こいつ覚えたての言葉を使いたいだけのワナビーだろ
おそらくスレ違いなのにも気づいてないし相手すること無いぞ

**デフォルトの名無しさん** · 2015/10/12(月) 19:02:17.18

パラドックスが始まった

**デフォルトの名無しさん** · 2015/12/09(水) 21:43:53.38

CでCを作るのと、アセンブラ使ってCコンパイラを作るのと、
どっちが良いかな?

**デフォルトの名無しさん** · 2015/12/09(水) 23:21:35.10

CでCを作る時間をCでXを作る時間に充てるのが良い

**デフォルトの名無しさん** · 2015/12/10(木) 03:57:42.43

>>1
デュエル・マスターズ　Android版，ｉ-OS版、公式　http://dm.takaratomy.co.jp/extra/dmapp/entrygate_ds/
デュエル・マスターズ対戦CGI ex
https://web.archive.org/web/20150809154946/http://www53.atwiki.jp/dmsuishinparty/pages/314.html

デュエル・マスターズ（デュエマ）DM ONLINE 1.8a　　／　　VanGuard ONLINE 1.5a
https://web.archive.org/web/20150809160254/http://uhyohyohyo.sak　ura.ne.jp/hsp.html

ヴァンガード専用ネット対戦ツール【 VanGuard Online 】
https://web.archive.org/web/20150809155032/http://kiimaa.jugem.jp/?eid=61

「カードファイト!!ヴァンガード」のネット対戦ができる公式オンラインゲーム「Cardfight!! Online」 2015年冬スタート
https://web.archive.org/web/20150809153724/http://supersolenoid.blog63.fc2.com/blog-entry-6886.html

遊戯王　Automatic Dueling System
https://web.archive.org/web/20150809164855/http://www3.atwiki.jp/ads-wiki/pages/20.html

遊戯王　デュエル・オンライン
https://web.archive.org/web/20150809171527/http://www31.atwiki.jp/vipdo/pages/15.html
https://web.archive.org/web/20140628005202/http://do.yugioh-portal.net/

WIXOSS　WEBXOSS　http://webxoss.com/about_en.html　http://webxoss.com/DeckEditor/

BG（ボードゲーム）Engine　https://web.archive.org/web/20151209080842/https://bgengine.net/
https://web.archive.org/web/20151209172205/http://14owl.hateblo.jp/entry/2015/12/09/011234

アプレンティス　　マジック：ザ・ギャザリング（MtG）ｵﾝﾗｲﾝ化　http://homepage1.nifty.com/Q_Q/ap.html
https://web.archive.org/web/20151202202725/http://homepage1.nifty.com/Q_Q/ap.html

**デフォルトの名無しさん** · 2015/12/10(木) 04:01:27.83

【　オンラインTCGエディター　】　　　>>1,>>306

デュエル・マスターズ的な非電源TCGの　《　オンライン化ツクール系ソフト　》　制作の企画。

例えば、ガチンコ・ジャッジを直ぐにでも導入できる機能を持っておりながら、
当面それを扱わず単純化させておいて、事後的に導入拡張する際に当該システムを
ブロック構造の組み合わせで後付け挿入できるように予めシステム化してあるソフト（エディター）。
既存の非電源TCGを劣らずに再現できるならば大概のニーズに応えられる筈。
デュエマ、ヴァンガ、ウィクロス、ポケカ、デジモン、ゼクス、モンコレ、旧ガンダム・ウォー、ライブオン、ディメンション・ゼロ、シャーマン･キング、カードヒーローなど
のシステムを完全再現できるように設計するけど、他に此のTCGの此のシステムは再現希望とか有ったら書いて。
マジック：ザ・ギャザリングの全システムを完全に再現するのは無理だから、此れだけは必用だ！って部分のみリクエストして。
WEB通信での対戦は、個vs個、多数乱戦、チームvsチーム、個vsチームを可能な仕様とする方針。

設計思想は　《　RPGツクール　》　が良いかな？　　他に、優れたエディター有ったら挙げてみて。

個人や企業などのベンダーが提示する開発費（見積もり）で折り合えば、発注する。
↓
エディター群から基本コンセプトを絞り込む（もちろんオリジナルで優れた新ネタが有れば導入する）。
↓
遊戯王OCGに関しては、タッグフォース、ADS、デュエルオンラインを発注先ベンダーに研究させる。
バトスピ、ヴァンガ、デュエマなど発売済みゲームソフトが存在してるTCGはベンダーに研究させる。
↓
各社TCGを再現するテストプレイ　⇒　更に改良や修正。
↓
機能制限した下位版を制作しても原則として発売せず　＋　上位版デュエリ－グ用でサーバー稼動。
↑
下位版を仮に発売した場合の改造および商用利用には、別途で当社との契約が必要。

さ～て、インド人ベンダーと日本人の翻訳兼PGを見つけよっと！ｗｗ
http://wc2014.2ch.net/test/read.cgi/entrance2/1449623194/-18

**デフォルトの名無しさん** · 2015/12/21(月) 02:59:48.04

>>304
BCPLとかCの生まれをもう一度考えてみると良いんじゃ無いかな？

凸記法で言語の生成を僕が読んだのはBit別冊の何かに書かれていたPlan言語の解説だったけど、ああいう記法って今は使わないのかな？
↑ある言語を生成するのに必要な言語処理系を凸と凹で組み合わせて表記してある奴なんだけど、アカデミックな世界でなんて言う方法かしらないのでこう書いてます。

**デフォルトの名無しさん** · 2015/12/21(月) 21:20:55.44

乱数の発生のさせ方は、クロックを利用するものだけかな?
色々ありそうだけど、調べても良くはわからなかった。

**デフォルトの名無しさん** · 2015/12/22(火) 01:30:01.23

時刻ではなく、プログラムを起動してから経過した時間を取得できます。それを種にする

**デフォルトの名無しさん** · 2015/12/22(火) 01:34:09.74

GetTickCount function

システムが起動してから経過したミリ秒を取得
Retrieves the number of milliseconds that have elapsed since the system was started, up to 49.7 days.
https://msdn.microsoft.com/en-us/library/windows/desktop/ms724408%28v=vs.85%29.aspx

**デフォルトの名無しさん** · 2015/12/22(火) 14:10:11.43

>>309
seedを何にするかって話？
/dev/randomとか

**デフォルトの名無しさん** · 2015/12/22(火) 14:11:39.64

>>310
>>311
プログラムやシステムの起動直後に実行するコード、プログラムではほぼ似た値を使うことになってしまう。

**デフォルトの名無しさん** · 2015/12/22(火) 16:20:29.14

>>309
ハードウェアのADコンバータ経由(アナログなノイズジェネレータからADコンバータで拾ってくる奴)で乱数作るとかもあるけど、計算機の乱数は種から一意に求められる様な物が一般的だよ
で種(seed)の値に現在時刻をつかったり、ユーザの挙動(キー入力やマウスの位置)を素にしたりして見かけ上の乱数性を生成しているのが普通。

**デフォルトの名無しさん** · 2015/12/22(火) 18:18:28.54

専用ハードがあってもいいかと‥
最近のCPUには載っているそうなんだが
http://peace.2ch.net/test/read.cgi/tech/1192628099/337

**デフォルトの名無しさん** · 2015/12/22(火) 20:55:17.79

乱数表をあらかじめ組み込んでおいて、起動からの時間により、順繰り
読んで擬似的に乱数を発生させる方法はありかな?

**デフォルトの名無しさん** · 2015/12/22(火) 22:21:41.42

ねーよ

**デフォルトの名無しさん** · 2015/12/22(火) 22:39:41.89

>>316
乱数表に見えるってだけで良いなら擬似乱数列使えばそれで済む話で
わざわざ乱数表全体を組み込む意味がない

**デフォルトの名無しさん** · 2015/12/23(水) 02:10:18.76

何でそんなに起動からの時間が好きなんだよw
女官じゃないぞ

**デフォルトの名無しさん** · 2015/12/23(水) 14:48:59.82

大昔の光栄ゲーでは起動時に RETURN を叩いてもらってそのタイミングで乱数初期化してたｗ

**デフォルトの名無しさん** · 2015/12/24(木) 23:33:07.59

std::random_device

**デフォルトの名無しさん** · 2015/12/25(金) 21:30:55.13

ユーザーのマウスの動きを、ミッキー単位で取得して乱数を...と
思ったら、プログラマはマウスを嫌がり、あまり使わないで
tabキー多用する奴も多かったからな。別な手を考えた方が良いかな?

**デフォルトの名無しさん** · 2015/12/25(金) 22:26:16.56

なあ、今時のCPUはランダムデバイス持ってることくらいは知っとこうや
幾らくたばりかけてる爺でも

**デフォルトの名無しさん** · 2015/12/26(土) 08:32:40.01

なあ、全員が今時のリッチなCPUを使う訳じゃないことくらいは知っとこうや
幾らゆとりのアホでも

**デフォルトの名無しさん** · 2015/12/26(土) 12:19:14.32

CPUを明示して相談しなよ
知らんだけで乱数用のエントロピー生成命令持ってるかもしれんし
IntelならOSがサポートしてなくてもIntel DNRG使えばいい

**デフォルトの名無しさん** · 2015/12/26(土) 13:31:50.28

俺の頭の中のcpu（１０MHｚ）が・・・

**デフォルトの名無しさん** · 2015/12/26(土) 13:55:58.15

リアルタイムで動画処理、画像認識、空間認識、音声認識その他諸々を全部やってのけるのって地味に凄いよな
時間あたりの消費エネルギーも、要求エネルギーが2000kcal～4000kcal/dayとしてもおよそ100W～200Wで非常に効率が良いし

**デフォルトの名無しさん** · 2015/12/26(土) 20:17:52.51

CPUで何でも出来るようになってしまったら、
マの出番はどんどん減ることになりそうだな。
大昔は、足し算と引き算は出来るのに、掛け算と割り算が出来ないのが
当たり前だったからな。30年くらい前のものだとな。

**デフォルトの名無しさん** · 2015/12/28(月) 10:04:16.17

ランダムデバイスに頼るのが良いのか、迷ってしまいそうだな。
こういうのを読んでしまうと...。

ttp://cpplover.blogspot.jp/2013/07/blog-post_14.html
ハードウェア乱数生成器は信頼できるか

**デフォルトの名無しさん** · 2015/12/28(月) 10:25:27.73

NSAと戦ってる人か

**デフォルトの名無しさん** · 2015/12/28(月) 12:54:32.70

>>329
よくわからんけど生成された値を適当な鍵使って AES 暗号化するんじゃ駄目なの？

**デフォルトの名無しさん** · 2015/12/28(月) 12:58:36.44

OSを作る時の話になってるから適当な鍵をどこから持ってくるか熟慮しないといけない

**デフォルトの名無しさん** · 2015/12/31(木) 19:14:36.65

一度に数十個の乱数を生成するコードを書き、重複チェックを忘れる俺は、
やはりマには向いていないのかもしれん。コード記述の時点で
重複することが頭から抜けていた。ついうっかり...。

**デフォルトの名無しさん** · 2016/01/01(金) 03:47:17.29

>>329
自分の方が質が高いのを用意できるわけw

**デフォルトの名無しさん** · 2016/01/05(火) 10:14:26.10

「ハードよりも、俺の方が正確に動く」と、
一度で良いから言ってみたい。

**デフォルトの名無しさん** · 2016/01/06(水) 02:04:42.23

楽するためにプログラミングするのであるが
一向に楽にならず

**デフォルトの名無しさん** · 2016/01/07(木) 17:58:56.46

>>336
顧客が楽になっているだろw
裏でマが血のにじむような努力をしていることを、知る由もないからな。

**デフォルトの名無しさん** · 2016/01/07(木) 18:29:10.67

70点じゃなくて55点で妥協すれば
費用が100分の1になるって教えてやれよ

**デフォルトの名無しさん** · 2016/01/10(日) 10:05:01.35

>>338
それは、「バグ入りソフトを出荷する可能性も高くなる」諸刃の剣では?

**デフォルトの名無しさん** · 2016/01/10(日) 12:22:10.90

妥協するのは仕様でしょ
仕様で無理難題いうの辞めたら
コストも下がるし品質も上がるみたいな
けどスレ違いの話じゃね?

**デフォルトの名無しさん** · 2016/01/11(月) 20:54:13.20

「妥協しないワガママな顧客」に、
「見積もりを二桁足して出したら、予想通り、注文が来なかった」
と言っていたな。最初から断る口実だったのかな。

**デフォルトの名無しさん** · 2016/01/12(火) 19:46:25.75

>>338
66.66 点くらいで負かりませんか？

**デフォルトの名無しさん** · 2016/01/13(水) 17:31:32.57

>>342
それだと、100万円の費用を85万円に値引くのが限界では?

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/15(金) 20:05:16.26

C言語の呼び出し規約に関する文法に
詳しいサイトとかソースとかありますか？

**デフォルトの名無しさん** · 2016/01/15(金) 22:22:03.06

そこで言う呼び出し規約ってのは引数がスタックでどう配置されるかって話?

**デフォルトの名無しさん** · 2016/01/15(金) 22:31:09.13

呼び出し規約に関する文法って何ぞ？

**デフォルトの名無しさん** · 2016/01/15(金) 22:55:08.00

C言語のABIは色々あるぞ
基本はcdeclかstdcallだけど
スタック使わずレジスタでやりとりしたり
環境や処理系毎に異なる

**デフォルトの名無しさん** · 2016/01/16(土) 00:11:40.49

呼び出し規約自体は文法に現れんと思うが

**デフォルトの名無しさん** · 2016/01/16(土) 01:23:45.39

上のcdeclとかstdcall辺りが関数の属性値として付くぐらいじゃないかと
文法的にはこれらは両立しないから複数書いたらエラーとかその程度でしょ

**デフォルトの名無しさん** · 2016/01/16(土) 01:24:46.12

それとgccの__attribute__())構文なんてのもある
括弧の中はもう何でもあり

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/16(土) 12:33:39.48

属性について調べればいいのか
ありがとさん

**デフォルトの名無しさん** · 2016/01/16(土) 12:54:05.36

>>347
独自指定子、pragma指定、
FORTRANのライブラリ呼び出すのあったね
今はextern宣言か
extern "C++"とか

**デフォルトの名無しさん** · 2016/01/17(日) 14:03:21.22

サポートされる種類は環境依存だし
構文は実装依存だから
規格では書いてない
とりあえず wikipedia 見れば

**デフォルトの名無しさん** · 2016/01/18(月) 06:53:14.27

>>353
環境依存と実装依存ってどう使い分けてるんだ？

**デフォルトの名無しさん** · 2016/01/18(月) 08:53:28.44

>>354
実装であるgccはいろんな環境(プラットフォーム)で動いてる
構文はどの環境でも同じだが
どんな呼び出し規約のライブラリがあるかは

環境ごとに違う

**デフォルトの名無しさん** · 2016/01/19(火) 11:13:57.61

新しいコンパイラを作る際、わざわざ「手動でスタックを積み上げたり
開放したりする」命令は、あった方が良いのかな?
メモリ節約や速度に直接、関係するなら言語仕様を作る段階で
考えるけどね。今のパソコンはスピードが速いから、不要といえば不要かも
しれないが。

**デフォルトの名無しさん** · 2016/01/19(火) 12:41:03.92

そのレベルならインラインアセンブラみたいな
抜け道を作るかどうかって話になるんじゃないの

**デフォルトの名無しさん** · 2016/01/19(火) 21:16:12.58

>>356
命令ってどういうこと?
Cのallocaみたいなのを言ってるの

**デフォルトの名無しさん** · 2016/01/19(火) 23:54:06.44

確保開放やらはSPレジスタをいじるでいいんじゃないかな・・・
SP変更時に無効なSP値だったらエラーにするとかその程度で
コンパイラもよほど変な事しない限りpush/pop命令なんて使わんし

**デフォルトの名無しさん** · 2016/01/20(水) 12:29:31.81

>>356
言語自体の仕様にも依るんじゃないかな。
あと用途とか。

モノリシックカーネルのドライバ書くのに使いますーCとアセンブリの良いとこ取りですーってんなら
手動でスタック積んだり降ろしたりする命令も使うだろうけど
いまいち用途がピンと来ない。

仮にllvm-irの使用を前提にするなら、ネイティブのスタック積んだり下ろしたりするのって意味あんの？っていう議論もありか？

言語仕様を練ってて
シンプルな構文にシンプルな継続(のようなもの)を追加したら
全体的に美しさに欠ける感じになって悩んでる。

**デフォルトの名無しさん** · 2016/01/22(金) 12:29:02.92

高級言語の側で、わざわざ、pushやpop命令を言語仕様に入れる必要は
なかったか。メリットも予想ほどないみたいだな。
実行上で、スピードアップになるかと思っていたが。

**デフォルトの名無しさん** · 2016/01/22(金) 12:55:06.86

メモリやキャッシュはレジスタよりずっと遅いからなぁ。
レジスタへのアクセスに対してL1キャッシュのアクセスには2〜3倍の時間が掛かるって言われてる。
つまり、レジスタ間mov命令に対してpush/popは1命令あたり2〜3倍遅いって事だ。

C言語のregister修飾子は知ってる？変数がレジスタに乗っかるようにする為の物なんだけど。
グラフ彩色で変数生存期間に対するレジスタの使用を最適化出来る事が知られる以前の産物だから、今は滅多に使われないけどね。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 13:18:42.18

バイト列xからバイト列C(x)への変換器Cがあるとき、
Cの逆変換器C^(-1)を求める一般的な方法は何か？

**デフォルトの名無しさん** · 2016/01/22(金) 20:49:57.23

>>363
逆アセンブラです。

**デフォルトの名無しさん** · 2016/01/22(金) 21:58:03.16

変換器Cの変換の性質がbijectiveであるという条件をつけなければいけないのではないか。

**デフォルトの名無しさん** · 2016/01/22(金) 22:13:13.93

この方法が分かれば、どんな暗号文も解読できるね！

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/22(金) 22:54:36.97

**デフォルトの名無しさん** · 2016/01/23(土) 09:04:11.89

変換器が可逆計算できるとは限らないから一般的な方法は無いだろ。

**デフォルトの名無しさん** · 2016/01/23(土) 15:07:58.00

メモ化とテーブルルックアップw

**デフォルトの名無しさん** · 2016/01/31(日) 19:36:30.55

多少勉強すると、いまさらながら、Cがアセンブラにかなり近いレベルの
言語であることが、良くわかるな。
その分、マスターするのに時間もかかったが。

**デフォルトの名無しさん** · 2016/01/31(日) 19:52:06.23

C言語をマスターしたって奴は絶対に信用しないことにしている

**デフォルトの名無しさん** · 2016/01/31(日) 20:53:44.66

入門書一冊読みました＝マスターしました

**デフォルトの名無しさん** · 2016/01/31(日) 21:17:31.75

これが本当のマスターベーション

**デフォルトの名無しさん** · 2016/02/01(月) 16:11:44.37

そんなあなたにスタンディングマスターオベーション