「コンパイラ・スクリプトエンジン」相談室16
- 1 ：デフォルトの名無しさん：2014/07/20(日) 11:16:19.37 ID:p6eMVAxc.net
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。
Wikiのまとめページ
http://www6.atwiki.jp/compilerandscriptengine/
- 2 ：デフォルトの名無しさん：2014/07/20(日) 11:18:41.91 ID:p6eMVAxc.net
- 誰も立てないので立てた。
需要なければこのまま放置ということで。
- 3 ：デフォルトの名無しさん：2014/07/20(日) 11:19:36.24 ID:b1uNa6xY.net
- 前スレ
「コンパイラ・スクリプトエンジン」相談室15
http://peace.2ch.net/test/read.cgi/tech/1296214398/
- 4 ：デフォルトの名無しさん：2014/07/20(日) 13:22:32.46 ID:6KMBfrlQ.net
- 前スレ落ちたの気づかなかった>>1乙
- 5 ：片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 ：2014/07/22(火) 13:31:35.08 ID:itpt16Wl.net
- というわけでCaperをRubyで使えるようにしなきゃいけない。。。
- 6 ：デフォルトの名無しさん：2014/07/23(水) 00:33:25.56 ID:6DA6PhLu.net
- 最近はみんなLLVMに集まる流れなのかな
- 7 ：デフォルトの名無しさん：2014/07/24(木) 10:32:17.75 ID:w2uo6knu.net
- お手軽に言語作ってみますた なら
バックエンドは インタプリタか JVM かLLVM のどれかになるべ
あとは JSへのトランスレータか
意外に選択肢多いな
- 8 ：片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 ：2014/07/27(日) 13:36:28.20 ID:YSqiGYKe.net
- jonigataさん、Rubyのサポートを追加しました。
- 9 ：デフォルトの名無しさん：2014/07/27(日) 21:59:50.89 ID:aStfmk5+.net
- JVM上で動く言語をガチで作ってる人ってバイトコードを直接出力するコンパイラ作ってるのかな。
JVM上で動くエンジン用のコードじゃなくて。
- 10 ：デフォルトの名無しさん：2014/07/27(日) 22:00:59.03 ID:UgznbaEB.net
- そりゃそうだ。
- 11 ：片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 ：2014/07/28(月) 14:12:21.53 ID:DUvGztkP.net
- jonigataさんと連絡取れない。。。
- 12 ：片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 ：2014/07/28(月) 16:55:40.10 ID:SnQo0cO4.net
- caperにRubyサポートが追加されたよ
- 13 ：9：2014/07/28(月) 21:54:34.37 ID:zEAFz2i4.net
- >>10
やっぱりですか。
ただ目標がゲームエンジンで将来的にスマホも視野に入れると直接バイトコードってのもどうかという気もします。
ただクッション入れると速度的にどうなんだろう、悩ましい。
- 14 ：片山博文MZ次期CEO ◆T6xkBnTXz7B0 ：2014/07/29(火) 01:15:58.91 ID:qgm2mseY.net
- >>1
もっと参考URLを置いてほしいぜ
- 15 ：片山博文MZ次期CEO ◆T6xkBnTXz7B0 ：2014/08/01(金) 11:03:08.58 ID:fIgY7BmT.net
- caperにPHPサポートが追加されたよ！
- 16 ：デフォルトの名無しさん：2014/08/01(金) 15:28:56.80 ID:ARdX3qTq.net
- >>15
サポートヨロっていわれてんじゃん、がんばれ
- 17 ：デフォルトの名無しさん：2014/08/02(土) 16:23:44.47 ID:jWpcYE6C.net
- >>13
俺は前に自作スクリプト→Javaソース→javassistでバイトコードに変換と
やってたけど遂に完成させずに投げてしまったxp
- 18 ：デフォルトの名無しさん：2014/08/03(日) 01:07:00.19 ID:MH7BOvZw.net
- つかC並にJVM上で低レベルに動く言語が・・・ってどっかにありそうな気がする。
- 19 ：デフォルトの名無しさん：2014/08/03(日) 12:20:45.13 ID:q8fBalr7.net
- ちょっと何言ってるかわかりませんね
- 20 ：デフォルトの名無しさん：2014/08/03(日) 16:19:28.19 ID:/m+nZnOr.net
- >>18
日本語でおｋ
- 21 ：デフォルトの名無しさん：2014/08/04(月) 00:28:33.88 ID:5WaCX4TM.net
- JVMのバイトコード吐くライブラリってもあるけど
こっちはバイトコードの知識必須
言語仕様だけ考えて満足しようぜｗ
- 22 ：デフォルトの名無しさん：2014/08/04(月) 02:12:43.16 ID:BTc2ko+M.net
- どうせ中間言語に落とし込むんだしバイトコードくらい余裕だろ
- 23 ：デフォルトの名無しさん：2014/08/08(金) 03:06:15.46 ID:W/TCi66w.net
- http://www.buzzword.jp/img/face10.png
- 24 ：デフォルトの名無しさん：2014/08/08(金) 08:30:38.85 ID:pWDxpd5M.net
- guro
- 25 ：デフォルトの名無しさん：2014/08/08(金) 08:47:25.07 ID:19ZqYpH8.net
- >>23
あんた誰？
- 26 ：デフォルトの名無しさん：2014/08/08(金) 12:06:16.40 ID:MJ5RFc2h.net
- >>13
まず簡単なのを作って、次は作りなおせばいいじゃん。
- 27 ：デフォルトの名無しさん：2014/08/08(金) 12:31:17.41 ID:U1h/L2RD.net
- >>7
最近はasm.jsみたいなのもあるしね。
- 28 ：デフォルトの名無しさん：2014/08/08(金) 16:22:46.37 ID:F5/v+VI2.net
- >>23はウィルス注意
- 29 ：デフォルトの名無しさん：2014/08/12(火) 11:48:49.30 ID:AbgWlUoH.net
- マークスイープのようにGC以外のところでGCを考えずに済み
参照カウントみたいに最大停止時間が短いGCってある？
速度は問いません
- 30 ：デフォルトの名無しさん：2014/08/12(火) 12:44:46.12 ID:A03Bg3Wq.net
- GCアルゴリズム詳細解説
http://seesaawiki.jp/w/author_nari/d/GC
なんと日本語！！ …俺はまだ少し読んだだけだが
- 31 ：デフォルトの名無しさん：2014/08/12(火) 12:44:50.65 ID:+sDF17YZ.net
- >>29
実装簡単なのだとCOPY GCかぬ？
これに寿命を意識すると世代別GCに発展したのがある。
コレより先は実は最先端だったり
- 32 ：デフォルトの名無しさん：2014/08/13(水) 00:05:07.82 ID:5Fn9SOB/.net
- >>31
コピーｇｃはやっぱメモリ効率がーんー
今のところ遅延マークスイープをなんとか使おうかと思うけどーなー
悩ましい。。。
- 33 ：デフォルトの名無しさん：2014/08/13(水) 00:29:26.50 ID:IvuVUKO/.net
- >>32
EdenだけCopy GC,OLDに行ったらMarkSweepとか色んな掛け合わせもあるみたいだね
- 34 ：デフォルトの名無しさん：2014/08/14(木) 01:15:17.94 ID:nk1V5Hss.net
- mostly-concurrentマーク&スイープGCは？
1. ミューテータを止めてルートセットをマーク
2. ミューテータと並行に別スレッドでマーク
3. ミューテータを止めて再度ルートセット+残り全部をマーク
4. ミューテータと並行に別スレッドでスイープ
ってやるやつ
ライトバリアがいるからGC以外のところでGCを考えずには済まないけど (そのへんは世代別も一緒だが)
最大停止時間は短いと思うよ
- 35 ：デフォルトの名無しさん：2014/09/20(土) 16:42:37.06 ID:Vt9JAeIo.net
- caperが改善されて大規模なパーサーでも
早く生成できるようになったようです。
- 36 ：デフォルトの名無しさん：2014/09/20(土) 17:18:58.94 ID:INF4B04G.net
- あんまりでっかいの書かないんで今まで困った事ないのだが、吉報には違いなかったりするのでお礼を述べさせて貰います、ありがとう。
>>Thanks for ジョニガタさんとＭＺさん
- 37 ：デフォルトの名無しさん：2014/09/21(日) 00:08:58.31 ID:+YftySIr.net
- やること
★Ruby RaccとCaperの比較レビュー。
★CaperでCSVパーサーの作成。
★CaperでXMLパーサーの作成。
- 38 ：sage：2014/09/26(金) 04:19:50.66 ID:VUi+/UsP.net
- winXP visual studio 2010 expressで
antlr4の導入できた方いらっしゃいませんでしょうか？
- 39 ：デフォルトの名無しさん：2014/09/26(金) 10:04:23.12 ID:8tItaSRz.net
- ANTLRWorks とか言うヤツはダメなん？
- 40 ：デフォルトの名無しさん：2014/09/27(土) 01:39:11.71 ID:oNml76ai.net
- バッチファイルみたいなのに定義ファイルかませば出せると思いきや、
JAVAしか出てこない。。。
英語よく読めない
- 41 ：デフォルトの名無しさん：2014/09/27(土) 01:53:39.94 ID:PIGMRS01.net
- akiramero
- 42 ：デフォルトの名無しさん：2014/10/12(日) 13:57:53.54 ID:fouZ38nR.net
- やっと簡単な電卓インタプリタができたー
- 43 ：デフォルトの名無しさん：2014/10/12(日) 15:26:51.34 ID:s0CJmRCd.net
- おめおめ
四則演算と簡単な制御構造が実装できると
あとは応用だから
扱う型の種類が増えない限り楽に拡張できそうだね
- 44 ：デフォルトの名無しさん：2014/10/13(月) 01:35:36.78 ID:UPM0IlOC.net
- 演算子って四則演算以上のことやらすと必ずそいつが決めた優先順位に縛られて破綻するし
電卓ならLISPの(+ 1 2 3 4 5)みたいに演算子相当が無くてオペランド側をいくらでも増やせる構文の方が楽
- 45 ：デフォルトの名無しさん：2014/10/19(日) 05:56:05.61 ID:irMeVnbo.net
- それもそいつが決めた優先順位なわけだが
- 46 ：デフォルトの名無しさん：2014/10/19(日) 07:29:43.65 ID:Ww99Jszp.net
- LISPはLISPで解析器に都合の良い構文だと思う
もちろんそういう意味で（作る側が）楽と言ってるんじゃないのは分かっているが
もう少し使う人間のことも考えてやれと
……で行き着くのも例えばpythonだったりするのでそれはそれでうーん
- 47 ：デフォルトの名無しさん：2014/10/19(日) 19:43:22.93 ID:U9zncy/O.net
- 古代言語なんだから人間向きなわけがない
- 48 ：デフォルトの名無しさん：2014/10/19(日) 19:50:43.83 ID:wwCHsqfk.net
- 慣れたら何とも無いけど
- 49 ：デフォルトの名無しさん：2014/10/19(日) 23:32:38.99 ID:zZJPnNDh.net
- >>46
FORTHが一番解析器に優しいと思う、Lispは少なくとも関数に渡す引数の数は解析で判断できるけど、FORTHはそれすら捨ててる
あとLispは支援するエディタがあれば書く事に戸惑いは殆どないよ。
読むのは適切なインデントがされていないと辛いのは本当だけどそれだってRubyやらCやらでインデント無しと変わらないと思う。
なお、Pythonはインデントが構文に含まれているのが嫌い(エディタで再フォーマットできない)
- 50 ：デフォルトの名無しさん：2014/10/20(月) 07:07:45.12 ID:vNvY5rmm.net
- ある海外のファンタジー小説で、異世界召喚されたプログラマが魔法でFORTHを実装して
最強魔導師になってた。
- 51 ：デフォルトの名無しさん：2014/10/20(月) 07:26:17.53 ID:fcKonDPy.net
- May the forth be with you.
- 52 ：デフォルトの名無しさん：2014/10/20(月) 11:16:47.94 ID:6/LNQkyp.net
- Lispは見た目的に「目にひっかからない」（関数もマクロもみんな同じようにしか見えない）のが問題なんだけど、
最近流行ってる(?)みたいに ( ) と [ ] を使い分けるとかすると、だいぶ感じが違うと思う。
- 53 ：デフォルトの名無しさん：2014/10/20(月) 16:23:26.53 ID:s/tFnXbk.net
- >>52
Clojureが凄い良くできてる
()でリスト,[]でベクタ,{}でマップ、#{}でセットとリテラルの扱いが凄い綺麗
- 54 ：デフォルトの名無しさん：2014/10/25(土) 10:10:07.27 ID:9gGhLYaB.net
- {} はすごくいいね。素の lisp だとほとんど使われない記号でもったいなかった。しかも数式とも合ってる。
ただ[] は好きになれないなぁ。個人的趣味だけど。
- 55 ：デフォルトの名無しさん：2014/10/25(土) 13:15:04.28 ID:rVCkRMh+.net
- 変わった趣味だw
- 56 ：デフォルトの名無しさん：2014/11/01(土) 16:34:43.21 ID:5yNYNAVX.net
- エラーメッセージを楽して、素晴らしく表示したいんですけど
いい方法を教えてください。
- 57 ：デフォルトの名無しさん：2014/11/01(土) 18:28:37.68 ID:yfMW+WpF.net
- >>56
センスのいい奴に頼む
- 58 ：デフォルトの名無しさん：2014/11/01(土) 19:12:18.30 ID:md1XyPQH.net
- 言うても行桁理由以外に何か必要かね
- 59 ：デフォルトの名無しさん：2014/11/01(土) 19:25:31.66 ID:etXlBO/A.net
- ファイル名…かな
- 60 ：デフォルトの名無しさん：2014/11/01(土) 20:57:55.11 ID:68QCuiUg.net
- エラー表示は？だけでいい
というネタがあったな
- 61 ：デフォルトの名無しさん：2014/11/02(日) 00:04:36.51 ID:FPvqJpqA.net
- 人間が見てるのとコンパイラが解釈してるので大きくズレがある場合とか
エラーメッセージ見てわからんことが多々ある
ｘｘの前にｘｘがあります/ありません系のエラーはウンザリ
- 62 ：デフォルトの名無しさん：2014/11/02(日) 00:22:55.85 ID:E/aMB+tP.net
- print " ＿人人 人人＿ \n",
"＞ 突然の死 ＜ ", col, ",", row, " in ",filename,":", reason, "\n",
" ￣Y^Y^Y^Y￣\n";
die;
楽して素晴らしい方向を考えた
- 63 ：デフォルトの名無しさん：2014/11/02(日) 04:19:14.28 ID:l3Xq9EsR.net
- $ nmlc -run examples/lablgl/triangle.nml
Fatal error: exception Failure("
＿人人 人人＿
＞ 突然の死 ＜ parse error line 33
￣Y^Y^Y^Y^Y￣
")
って出るようにしてみた。
- 64 ：デフォルトの名無しさん：2014/11/02(日) 07:10:13.81 ID:Pf8ySLA3.net
- 何のエラーか
なぜ起こったか
どうすれば良いか
のうちどこまでエラー表示するか
表示しないものはマニュアルに書くか
統一しておくと良い
- 65 ：デフォルトの名無しさん：2014/11/02(日) 10:22:44.88 ID:P2QTHoYV.net
- 何のエラーか数字で提示
あとはknowledge baseで
knowledge baseは迷宮
- 66 ：デフォルトの名無しさん：2014/11/02(日) 11:43:14.80 ID:6U4Atlhd.net
- 基本的には書いた人の頭のエラーだからな。
コンパイラ的には「チェンジ！チェンジ！この子変えて！！！」
だけでいい。
- 67 ：デフォルトの名無しさん：2014/11/02(日) 12:31:43.49 ID:4dYx0WR7.net
- > 関西型プログラミング言語のひとつ Kyoto のコンパイラは，文法ミスのあるコードを与えると「ふうがわりなコードどすなぁ」とだけ返すので，何が間違っているかはこちらで推測する必要がある．
- 68 ：デフォルトの名無しさん：2014/11/02(日) 12:39:13.58 ID:FPvqJpqA.net
- 何回も間違ったらぶぶ漬けが出てきそうだな
- 69 ：デフォルトの名無しさん：2014/11/02(日) 12:58:18.94 ID:i2BOrYsG.net
- >>64
> どうすれば良いか
これは余計なお世話だわ
- 70 ：デフォルトの名無しさん：2014/11/02(日) 13:03:44.74 ID:FPvqJpqA.net
- この道路は工事中なので次の迂回路をご利用ください
- 71 ：デフォルトの名無しさん：2014/11/02(日) 16:35:04.02 ID:l3Xq9EsR.net
- コンパイル速ければ、エラーは１個で十分だったりするよなぁっとか。
大量に出すなら、一番先頭のエラーを一番下に出すと嬉しいとか。
- 72 ：デフォルトの名無しさん：2014/11/03(月) 12:49:03.39 ID:ljM6XCm0.net
- >> 70
迂回は出来ないんだなぁ
- 73 ：デフォルトの名無しさん：2014/11/03(月) 18:22:08.25 ID:6fFurIEN.net
- 最近のghcとかだと、関数名をタイポすると似た存在する関数名を示してくれる。外してる時もあるけど。
ああいう親切さをもっと充実させるのも方向性としてはありだと思う。
あらゆるコンパイルエラーがクラウドサーバに送られ続けて典型的なミスを蓄積し続ける、とかね。
- 74 ：デフォルトの名無しさん：2014/11/04(火) 11:17:19.99 ID:bZGUB4M2.net
- 大量のデータをまとめて整理した結果をどこかで見たけど
よくあるスペルミス・インポート忘れ・宣言忘れが飛び抜けていて
それ以外はごくわずかでどうでもいいという印象だった
- 75 ：デフォルトの名無しさん：2014/11/04(火) 11:19:32.39 ID:bZGUB4M2.net
- 中級者以上と入門者はつまずく所が全く違うから
後者のデータだけを集めれば「入門者に最適」な言語やツールが作れるかもしれない
- 76 ：デフォルトの名無しさん：2014/11/04(火) 13:56:57.87 ID:OXvDS9Yh.net
- C言語は、研究結果;はあった方が良いみたいな話を聞いた事があるような気がする。
けど、最後だけ無しとかだったのかもしれないし、良く覚えてないなぁ。
今作ってる言語は必要な所だけ;を書くって作ってるのだけど。
初心者には難しいのかもしれないです。
- 77 ：デフォルトの名無しさん：2014/11/04(火) 15:36:24.07 ID:bZGUB4M2.net
- 気の利いたエディタサポートまで考えるなら改行をまたぐ構文を禁止すべき
VBはそうなってる
- 78 ：デフォルトの名無しさん：2014/11/04(火) 15:58:19.03 ID:vqrMdBMn.net
- lispとかでマクロ展開したときに中でエラーが起こったら行と桁の表示は諦めるしかないのかな
前に作ったとき展開後も展開前の行を引き継ぐやり方をしてたけど
- 79 ：デフォルトの名無しさん：2014/11/04(火) 17:04:17.39 ID:99dxtSJ/.net
- >>78
トークンに文字列だけじゃなく、もとあった位置の情報も付けたら？
>>76
どんな言語でも、ある程度本格的なプロダクトなら、たいてい、「やたら長くなるから改行を挟みたい式」と
「やたら短くて似たようなのが連続するから1行にまとめたい文」の両方が出てくるので、
どちらを強制するのも一長一短。
構文的には (a, b, c, d) と {a; b; c; d;} の、どちらも似たようなものだけど、機械的なコード生成では
後者のほうが以前は楽だった（最近は可変長配列みたいなオブジェクトに入れて、最後に
joinとか、ライブラリが充実してる言語を使うのが普通なので、あまり差は無い）。
人間の作業としては、複数行にまたがるものでは前者のほうはちょっとめんどい。
（最後の行を削ったあとで、前の行の最後も削る必要があるので）
{a,
b,
c}
みたいに閉じカッコを行末に付けてしまえばそうでもないかもだが。
あとそもそもC言語の構文では ; の規則がちょっと変則的。
- 80 ：デフォルトの名無しさん：2014/11/04(火) 23:11:55.77 ID:DC7Ttoit.net
- Lispマクロのデバッグはちょっと難しいよな。
backquoteのように構文上の構造を引き継ぐような奴ばかりならいいんだけど。
- 81 ：デフォルトの名無しさん：2014/11/04(火) 23:12:32.22 ID:DC7Ttoit.net
- デバッグ→デバッグ情報
- 82 ：デフォルトの名無しさん：2014/11/04(火) 23:31:17.91 ID:6PskSs9/.net
- 複雑なマクロでもたいていは展開系見れば何とかなるね。それでも動かないマクロがたまーにあって辛いけど。
- 83 ：デフォルトの名無しさん：2014/11/04(火) 23:40:21.11 ID:cufVHbaO.net
- 自作のコンパイラなりなんなりはデバッグと最適化を考えたらなにも出来ない
むしろ潔く投げ捨てる勢いと割り切りで走らないとダメっしょ
俺様考えたルールで動いた万歳終わりな感じ
四則演算と条件文、あとGOTOなりCALLなりがあれば立派
それ以上の高度化は努力しだいってことで
それとも大人しくCommon Lispあたりを使って妥協するとか
Lispだと関数を生成して実行できるんだよね
例えば入力画面の項目数とか要件とかを与えて関数の形で生成して実行な感じの
俺様コンパイラ、Lispコード生成するからコンパイルや実行デバッグはそちらでオネガイみたくｗ
- 84 ：デフォルトの名無しさん：2014/11/05(水) 01:50:49.88 ID:j8mQRcC4.net
- そこまで楽するなら構文をリードマクロで定義したほうが早そう
- 85 ：デフォルトの名無しさん：2014/11/05(水) 07:49:49.12 ID:xr1YCX3/.net
- xmlってスクリプト言語なの？データ構造なの？
xmlを使ったスクリプト言語らしきモノもあるみたいだし、よーわからん
- 86 ：デフォルトの名無しさん：2014/11/05(水) 08:22:34.79 ID:Fpn6fvq+.net
- >>83
C とかのソース吐いて、最適化よろしくね（はーと）でいいだろ
- 87 ：デフォルトの名無しさん：2014/11/05(水) 09:54:15.68 ID:gfolKTI3.net
- >>85
データ構造だろ
パーサ作るのが楽というか有りものが使えるからxxxxMLみたいに拡張して使われるんだろう
- 88 ：デフォルトの名無しさん：2014/11/05(水) 11:54:58.98 ID:bBYPRYMe.net
- >>85
プレーンテキストってスクリプト言語なの？データ構造なの？
- 89 ：デフォルトの名無しさん：2014/11/05(水) 17:03:13.23 ID:I87EWij/.net
- >>88
只の文字列だよ
そこに意味を付けるのはまた別の事
- 90 ：デフォルトの名無しさん：2014/11/05(水) 17:58:10.42 ID:uuXXn0N9.net
- シェルスクリプトとかみたいな意味でスクリプトではない。
XSLTとか、あとワドラー氏が冗談で提案していたと思うがXMLで表現するプログラミング言語と
いうものもありうるけど、XML自体は単なるデータ構造でしかない。
- 91 ：デフォルトの名無しさん：2014/11/05(水) 21:09:37.17 ID:WN8UKbpt.net
- XMLにロジックを書く者は呪われる。やめておいた方がいい。あれはデータ形式としても冗長すぎるし、良いところはない。
S式を使うといい。
- 92 ：デフォルトの名無しさん：2014/11/05(水) 21:32:19.82 ID:uuXXn0N9.net
- XSLTは割とよくできてるよw
- 93 ：デフォルトの名無しさん：2014/11/06(木) 01:58:37.08 ID:Rw7wEfhr.net
- 閉じ括弧重ね書き文化は誰も止めなかったのかねえ))))))))))))))))))))
- 94 ：デフォルトの名無しさん：2014/11/06(木) 02:08:22.53 ID:rrEEAzVB.net
- Cみたいな中括弧、改行、インデントを繰り返すのもイマイチ
- 95 ：デフォルトの名無しさん：2014/11/07(金) 19:44:15.64 ID:XxPyN8W7.net
- 整ってると思うがなあ
switch, caseだけはアレだが
- 96 ：デフォルトの名無しさん：2014/11/07(金) 20:31:09.14 ID:sXupdHKX.net
- switchとcaseは同じインデントにしてbreakだけ字下げだよね？ね？
- 97 ：デフォルトの名無しさん：2014/11/07(金) 20:52:59.78 ID:4yd7iQ66.net
- >>96 に一票
- 98 ：デフォルトの名無しさん：2014/11/07(金) 22:25:11.01 ID:fMVGCDH+.net
- (,)は特別な意味持たせたいとかあるので難しいですね。
(a,)はタプルにしようか、タプルじゃないのかとか。(,a)はタプルとか。
- 99 ：デフォルトの名無しさん：2014/11/09(日) 11:22:54.52 ID:/PoG0aeo.net
- Pythonの「1要素のタプル」はトリッキーだが面白いとは思った。
kなんとかの人が言ってるように、カッコなしでもそうなるのは罠だがw
- 100 ：デフォルトの名無しさん：2014/11/09(日) 12:10:23.68 ID:6nixZySy.net
- lispだと(a)とaの違いかな
- 101 ：デフォルトの名無しさん：2014/11/09(日) 16:44:48.42 ID:7O7eobU9.net
- >> 100
そんな感じ。名前のない構造体
- 102 ：デフォルトの名無しさん：2014/11/09(日) 20:23:26.03 ID:15ZMIIuR.net
- いや名前ある、タプル
- 103 ：デフォルトの名無しさん：2014/11/10(月) 01:34:25.20 ID:zIX5GD/A.net
- ここって正規表現エンジンの話もいいのかな
nfaとdfaのハイブリッドエンジンを実装したいんだけど
dfaの中にnfaがあったらどう処理するかとかどこまでdfaにしていいかとかさっぱり分からない
調べてもon-the-flyという単語ぐらいしか出てこなくて実装方法とかは見つからない
知ってる人いたら教えてほしい
- 104 ：デフォルトの名無しさん：2014/11/10(月) 07:33:01.86 ID:XDoaKxdi.net
- schemeの自作コンパイラ作成の過程で、cps変換につまづいています。
よくネット上で「簡単な処理で実現できる」という感じで書いてあるのを良く見るのですが、
実際にやろうとするとなかなかできません。
具体的に何をやったらいいのでしょうか？
ちなみにlambdaでのcps変換はぎりぎり理解できてると思います。
- 105 ：デフォルトの名無しさん：2014/11/10(月) 09:06:04.50 ID:hP+YfTbo.net
- Scheme使ってるならEoPLの最後のほうの章読んだらええで。
- 106 ：デフォルトの名無しさん：2014/11/10(月) 12:08:25.51 ID:s3EMdqhf.net
- >>103
つ ドラゴンブック, lazy transiyiOn evaluation
古典実装だとoriginal egrep
- 107 ：デフォルトの名無しさん：2014/11/10(月) 17:06:44.93 ID:G4zfChd8.net
- >>100
Lisp の (a) は (a . nil) だからちょっと違う。
>>101
構造体とかそういう別の名前を持ち出したりするとややこしくなるだけ。
- 108 ：デフォルトの名無しさん：2014/11/11(火) 02:10:53.26 ID:85SNGvMw.net
- >>106
ありがとう
でも自分の望んでるのとは違うみたい
- 109 ：デフォルトの名無しさん：2014/11/12(水) 01:44:27.15 ID:DTrQhtqP.net
- >>108
この延長線上にある話だと理解できてないか、
SFA(semi-deterministic finite automata)を勘違いしてon-the-flyだと思っている。
前者ならGNU Rxを読めばいい。
- 110 ：デフォルトの名無しさん：2014/11/12(水) 01:57:21.21 ID:/4vNcbkH.net
- >>109
多分後者かもしれない
自分の考えてるのは(X)*aときたら
1 ==(X)==> 1
1 ==a==> 2
というdfaを作って次のノードへの遷移条件が文字じゃなくてnfaなら
それを優先して見てマッチしたらその先に行く方法を考えてた
それならnfaとdfaをうまく組みあわせられると思って
あとsfaは今初めて知った
sfaとかon-the-flyは調べてもちゃんとした説明が出てこなくて困る
- 111 ：デフォルトの名無しさん：2014/11/12(水) 01:59:11.10 ID:/4vNcbkH.net
- あとnfaだけかdfaだけなら偶然持ってたドラゴンブックやネットの情報が十分にあって実装出来た
ハイブリッドにする方法が分からなくて途方に暮れてる
- 112 ：デフォルトの名無しさん：2014/11/12(水) 11:39:32.29 ID:b8dDlQST.net
- SFAでググったらランク上位の日本語の記述がこれだった
http://www.slideshare.net/mobile/sinya8282/ss-12170832
役に立つかは知らないけどマッチングの並列実行だってさ
- 113 ：デフォルトの名無しさん：2014/11/15(土) 04:11:51.30 ID:2wuAQ8Y6.net
- DFAで出来ないこと、やると遅いことをNFAでやる。
DFAにならない正規表現の拡張や状態が爆発するn回繰り返しなど。
- 114 ：片山博文MZ次期CEO ◆T6xkBnTXz7B0 ：2014/11/29(土) 15:46:21.26 ID:AWiICJMh.net
- Caperで、Haxe用のパーサーが作れるようになったらしいぞ！！！
http://jonigata.github.io/caper/caper.html
- 115 ：デフォルトの名無しさん：2014/11/29(土) 19:24:39.29 ID:bjHueY84.net
- ということはjavaとphpとC#に対応したということか
- 116 ：デフォルトの名無しさん：2014/11/29(土) 19:25:23.30 ID:bjHueY84.net
- って元からしてんじゃん…
- 117 ：デフォルトの名無しさん：2014/12/04(木) 17:14:51.41 ID:hjxCxC4V.net
- スレ立てるまでもない質問はここで 139匹目から来ました。
JavaCCで負の数と引き算を識別したいんですけど、どう定義したらいいでしょうか？
以下現状の一部抜粋(メソッド名についてはスルーしてください)
void enzan3() :
{}
{
enzan4()((<TASU>|<HIKU>)right=enzan4())*
}
void enzan4() :
{}
{
enzan5()((<KAKERU>|<WARU>)enzan5())*
}
void enzan5() :
{}
{
<MOZI>|[<HIKU>]<SUUZI>|"(" e=enzan3() ")"
}
- 118 ：デフォルトの名無しさん：2014/12/04(木) 18:52:41.09 ID:jHjIGczB.net
- >>117
そのスレの997以降のはやってないの？
number=0..9
plus::=<expr> + <expr>
minus::=<expr> - <expr>
expr::=<number>|<plus>|<minus>
な感じになるだろうし
単項のマイナスはexprにかからない形式で-が出てきた時だし間違いようがなさそうに思うんだけど
- 119 ：デフォルトの名無しさん：2014/12/04(木) 20:49:24.04 ID:hjxCxC4V.net
- あ。
そこの
>単項演算子と二項演算子の区別
についてはまだ調べてないです。
調べてみます。
二項演算子+,-の間に二項演算子*,/を含む式があって、
その中にカッコか数字か変数呼び出しなどがあるように定義するのではないのですか？
例えば
-1
1-2
-2*4
2/(-2+5)
などの書き方が使えるようになるといいなとか考えています。
>>118
::=って書き方は確かBNF記法でしたっけ？
その書き方についてぜんぜん知らないのでそれも調べてみます。
- 120 ：デフォルトの名無しさん：2014/12/06(土) 17:09:31.69 ID:evyQIgPT.net
- みんなBNFとかやってるのか
char配列にして解析してるから常に最後が';'だと楽なんだよね
'{'で+1、'}'で-1、+-0の状態で';'がきたらその構文が完結する
int a;, class {}; switch{}; void hey(){}; if(true){}; for(){};
- 121 ：デフォルトの名無しさん：2014/12/06(土) 17:17:29.59 ID:djm9MkQZ.net
- 演算子の優先順位はどうしてんの？
- 122 ：デフォルトの名無しさん：2014/12/06(土) 17:30:21.62 ID:5oGFUyw+.net
- べつに区切り文字が = だろうが : だろうが ::= だろうが BNF は BNF だ
- 123 ：117：2014/12/06(土) 23:05:55.88 ID:BPhK2Nlg.net
- >>120
>みんなBNFとかやってるのか
JavaCCの場合字句解析でトークン列に分解してくれて、
>>117にあるようにそのトークンの並びを書いて構文解析の定義をします。
なのでBNF記法とは違った書き方になります。
>>121
>演算子の優先順位はどうしてんの？
いい説明文が思い浮かばないので、
まずは例として1+2*3/4-5という式を構文木にしたものを以下にアップします。
http://fast-uploader.com/file/6973429321730/
こんなかんじのまとまりです。
演算子：/ 左辺：3(enzan5) 右辺：4(enzan5) → ①(enzan4)
演算子：* 左辺：2(enzan5) 右辺：①(enzan4) → ②(enzan4)
演算子：- 左辺：②(enzan4) 右辺：5(enzan5) → ③(enzan4)
演算子：+ 左辺：1(enzan5) 右辺：③(enzan4) →④(enzan3)
- 124 ：117：2014/12/06(土) 23:06:51.00 ID:BPhK2Nlg.net
- とりあえずenzan3の定義の先頭にマイナスの記号があるかもしれないという意味合いで
以下のようなコードに変えてみました。
void enzan3() :
{}
{
[<HIKU>]enzan4() //★
((<TASU>|<HIKU>)enzan4())*
}
void enzan4() :
{}
{
enzan5()
((<KAKERU>|<WARU>)enzan5()
}
void enzan5() :
{}
{
<MOZI>|<SUUZI>|"(" enzan3() ")"
}
<>：トークン |：左右のどちらかの構文(||やOr演算子のようなもの) []：省略可能構文
- 125 ：117：2014/12/06(土) 23:07:27.16 ID:BPhK2Nlg.net
- すると、以下のような警告が出ました。
Warning: Choice conflict in (...)* construct at line 608, column 9.
Expansion nested within construct and expansion following construct
have common prefixes, one of which is: <HIKU>
Consider using a lookahead of 2 or more for nested expansion.
内容は選択の突出(Choice conflict)と言うもので、
私が作った構文の定義があいまいのようで
608行目(ここでは★を付けた行)の定義が他の定義とかぶっているらしく、
先頭に出てくる<HIKU>トークンが共通点らしいです。
そもそもの考え方が間違っているかもしれませんが、
それを抜きにしてもまずなぜこのような警告が出ているかわかりません。
一体なぜ出ているかわかる人いれば教えてださい。
- 126 ：デフォルトの名無しさん：2014/12/06(土) 23:08:41.58 ID:q7blqefO.net
- >>120
java（というよりC）のforは()の内部に;が出てくるのが
>>119
javaccの書き方と大差ないみたいよ
- 127 ：デフォルトの名無しさん：2014/12/06(土) 23:27:12.88 ID:5oGFUyw+.net
- この文脈でconflictは「衝突」と言う。
そのメッセージの通り、複数の定義で共通してるトークンがあるから、どっちの定義のほうだとして
解釈していいかわからないからエラーになる。
そのメッセージでは「Consider using a lookahead of 2 or more for nested expansion.」2個あるいはそれ以上の
先読みを使うことを検討してみろ、と言っているが、それに従ったところでうまくいくかどうかは
わからんけどね。
- 128 ：デフォルトの名無しさん：2014/12/07(日) 01:31:54.20 ID:bfkTF4nN.net
- >>123
>>121は重要なヒント
-(1+2)とか、1+(-2)とかにその定義で対応できる？
たとえば★の行をenzan5に移してみるなり、演算子の優先順位を変えてやりなおすとか
それとは関係ないけど、3*2/4って直感的には( (3 * 2) / 4 )になりそうだけどその構文木だと右から左なのね
- 129 ：デフォルトの名無しさん：2014/12/07(日) 01:36:47.04 ID:bfkTF4nN.net
- >>128
勘違いしたわすれて
- 130 ：117：2014/12/07(日) 21:58:06.68 ID:OacxF8nB.net
- >>127
選択の衝突でしたね。
間違えて覚えました；
かぶってるらしいからLOOKAHEADで先読みをしなくてはならないのはわかるのですが、
そのコードでどのパターンとどのパターンでかぶってるのかがわからなくて。
>>128
>-(1+2)とか、1+(-2)とかにその定義で対応できる？
1+(-2)のパターンは意識していましたが、-(1+2)のパターンは忘れてました。
きちんと考えなおしてきます。
- 131 ：デフォルトの名無しさん：2014/12/07(日) 22:37:16.24 ID:bfkTF4nN.net
- >>130
試しに四則演算のみ行う言語をjavaccで作ってみたけど単行演算子程度ならLookAheadいらないよ
- 132 ：117：2014/12/08(月) 00:25:52.66 ID:yQ2quuvD.net
- いろいろ考えているうちに構文規則がおかしなことになってきました；
とりあえず負の数やかっこを含む数式の構文木を一通り考えてみたつもりなんですけど、
以下のような感じであっているでしょうか？
http://fast-uploader.com/file/6973521373227/
また、他に欠けているパターンはないでしょうか？
- 133 ：デフォルトの名無しさん：2014/12/08(月) 18:02:04.16 ID:3czqE9B9.net
- >>132
単項演算子はどこに行ったんだ
- 134 ：117：2014/12/08(月) 21:29:48.11 ID:yQ2quuvD.net
- >>133
あれは構文木と言うより抽象構文木というか内部構造と言うかそんなかんじのものですね；
負の数をどう計算するか考えてたらその式や数字に-1をかければいいかなと思って作ってました。
今度はきちんと抽象じゃない構文木を考えます。 はい。
- 135 ：117：2014/12/08(月) 23:27:15.44 ID:yQ2quuvD.net
- とりあえず自分がわかっている範囲で -(1+2)*4 の解析木を作ってみました。
http://fast-uploader.com/file/6973604307310/
enzan番号という名前はやめてみました。
空欄部分は下位置調節のためや何を入れたらいいかわからない部分です。
- 136 ：117：2014/12/09(火) 21:43:09.57 ID:KYZ3f1RL.net
- 構文規則作ってみましたが、選択の衝突が消えません。
tasuhikuのkakewaruをkakewaru2に変えると消えます。
kakewaruで呼んでるminusの[<HIKU>]がtasuhikuの<HIKU>と競合しているのかと思いましたが、
なぜなのかわかりません。
どこが間違っているでしょうか？
警告なのでとりあえず無視してjavacコンパイルして解析＆実行させてみると、以下の式はきちんと実行できました。
1+2+3
-9-3
1+2*3/4-5
7+(-2)
-6*2
-(1+2)*4
(-1+2)*4
-1+2*4
4-(-2/5)
-(-(-39))/13
一応ある程度のパターンを網羅していると思います。
Warning: Choice conflict in (...)* construct at line 608, column 9.
Expansion nested within construct and expansion following construct
have common prefixes, one of which is: <HIKU>
Consider using a lookahead of 2 or more for nested expansion.
- 137 ：117：2014/12/09(火) 21:44:56.07 ID:KYZ3f1RL.net
- void tasuhiku():
{}
{
kakewaru() //608行目
((<TASU>|<HIKU>)kakewaru2())*
}
void kakewaru():
{}
{
minus()
((<KAKERU>|<WARU>)sikikakko())*
}
void kakewaru2():
{}
{
sikikakko()
((<KAKERU>|<WARU>)sikikakko())*
}
- 138 ：117：2014/12/09(火) 21:45:41.74 ID:KYZ3f1RL.net
- void minus():
{}
{
[<HIKU>]sikikakko()
}
void sikikakko():
{}
{
("(" tasuhiku() ")"
|atai())
}
void atai():
{}
{
<SUUZI>
}
- 139 ：デフォルトの名無しさん：2014/12/10(水) 06:22:59.98 ID:ICK0nNNi.net
- 荒らされてるなぁ・・・
- 140 ：デフォルトの名無しさん：2014/12/10(水) 14:14:42.32 ID:lFxVBhH5.net
- >>136
文法作るのはものすごく難しいんだよ。
同じ文書を受理する複数の文法が存在し、複数の間で優劣がある。
しかも、優劣を機械的に評価することが難しい。
「こいつを使えば簡単にできる」というようなソフトウェア紹介を見かけると
思うけど、そんな魔法の杖みたいなソフトは無いから。
そういうこと言ってる人は、付属してきたサンプルを動かして簡単といってるだけ。
信じちゃだめだ。
構文解析器の生成系を自分で作れるようにならないと文法を作れないと思っていい。
少なくともその程度の理解は必要。
まずドラゴンブックを買ったらどうかと思うんだが。
- 141 ：デフォルトの名無しさん：2014/12/10(水) 14:18:41.54 ID:lFxVBhH5.net
- まずドラゴンブックを買う。
実際に作ってみる。
この作ったものは実用にはならないよ。
テーブルが大きすぎるからね。
それでも作ることが重要。
その後に、市中に出回る生成系を使ってみたらどうだろう。
俺はこの順番が良いと思うよ。
中身の動作を知らないと使えないって、ツールとしては下等だけど、
今はまだその程度の世界なんだよ。
- 142 ：117：2014/12/10(水) 16:50:00.17 ID:pQyEQrGQ.net
- >>139
私のことだったら荒らそうと言うつもりは全くありません。
でも荒らしに見えてしまっていたならすいません。
>>140-141
ドラゴンブックってこれのことですかね？
http://www.amazon.co.jp/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%A4%E3%83%A9%E2%80%95%E5%8E%9F%E7%90%86%E3%83%BB%E6%8A%80%E6%B3%95%E3%83%BB%E3%83%84%E3%83%BC%E3%83%AB-Information-Computing-A-V-%E3%82%A8%E3%82%A4%E3%83%9B/dp/478191229X
(私にとって)安くないですし今そこから勉強している余裕はないので・・・。
すいません。
よそでパーサジェネレータ使った方がいいとか言われて、
Javaが好きなどの理由でJavaCCを使うようになりました。
なんにせよ周りに作ったことある人とかいないので、
http://www.sbcr.jp/products/4797337958.html
とか
http://item.rakuten.co.jp/books-sanseido/ebm-techno03/
とか片手に独学でやってます。
- 143 ：デフォルトの名無しさん：2014/12/10(水) 17:17:43.47 ID:lFxVBhH5.net
- >>142
そこが勘違いなんだよ。
JavaCCを使うにはJavaCCを作れる程度の知識が必要。
だからドラゴンブックが必須。
ドラゴンブックは決して読みやすい書籍ではないよ。
どうとでもとれる表現がいくつもある。
読み解きながら理解する必要があるので、結局生成系を自分で一つ書き上げる必要がある。
「JavaCCを使えば知識がなくてもこんなに簡単」的なことを書く人は
実はJavaCCを使っていないんだよ。
そこに騙されてはいけない。
文法を作るには深い理解が必要なんだよ。
簡単にできる方法はない。
- 144 ：デフォルトの名無しさん：2014/12/10(水) 18:27:22.40 ID:eXNtCHKb.net
- 誰か別の人にやってもらえばいいんだよ。クラウドソーシングとかあるじゃん。
- 145 ：デフォルトの名無しさん：2014/12/10(水) 21:11:35.37 ID:Lctd7lUm.net
- 荒らされてるんじゃなくて話題がなさすぎるから一人が専有してるように見えるだけだろ？
- 146 ：117：2014/12/10(水) 21:46:27.74 ID:pQyEQrGQ.net
- >>143
>「JavaCCを使えば知識がなくてもこんなに簡単」的なことを書く人は
そこまで言われたことはないです。
一番最初は文字列を自分で解析するところからやろうとしてましたけど、
パーサジェネレータを知ってからわたしにとってはそっちの方が楽だと感じています。
ここで質問したこと以外でも詰まったりもしましたけども、
もし構文解析ツールを1から作っていたらきっとここまでたどり着くまでにもっと詰まっていると思います。
>>144
すいません。
実はこれ卒業研究なので・・・。
自分で作ってみたい→卒研のテーマに悪くないよね？
な感じで決めてしまったテーマです。
>>145
連投とかしすぎましたかね・・・；
- 147 ：デフォルトの名無しさん：2014/12/10(水) 21:57:46.01 ID:dcz7kjCK.net
- 指導教授に聞けば。
- 148 ：デフォルトの名無しさん：2014/12/10(水) 22:28:57.42 ID:ZSLSh1LL.net
- www
卒研なら自分で考えいw
- 149 ：デフォルトの名無しさん：2014/12/10(水) 22:32:59.96 ID:eXNtCHKb.net
- >>146
まさか卒業研究の本体がなんの新規性もない構文解析なわけじゃないだろう。
それが本質的な部分じゃなければ人に手伝ってもらうのもありだよ。
もし、構文解析そのものが君の卒業研究なら……
楽してでっち上げるという考えは即座に捨てて、143のいうようにちゃんと勉強して理解しな。
- 150 ：デフォルトの名無しさん：2014/12/10(水) 22:55:57.69 ID:Lctd7lUm.net
- 卒研かよ
フォローして損した
- 151 ：117：2014/12/10(水) 23:23:29.27 ID:pQyEQrGQ.net
- >>147
Javaの研究室ではありますけど、先生は構文解析などの経験はないそうなので・・・。
ゼミのときに負の数と引き算の問題も一応聞いてみたんですけど、
残念ながら大したアドバイスをもらえませんでした。
ちなみに、研究室ではネットワーク関連のことやってる人が多いです。
- 152 ：デフォルトの名無しさん：2014/12/10(水) 23:27:11.16 ID:bWIayA6r.net
- うーん、その卒業研究、どこか新規性あるの？
- 153 ：デフォルトの名無しさん：2014/12/10(水) 23:46:18.31 ID:lFxVBhH5.net
- 文法を作ることの難しさを理解できていないんだよ。
嘘ではなく、本当に難しい。
実用性は無くとも理論通りに動作する生成系を自分で作るのは絶対必要。
遠回りに見えるだろうけど、これが最短の道なんだよ。
「俺の考えた言語」の文法をきちんと作れるなら、生成系程度すぐ作れる。
その逆は無いよ。
何か考え違いをしてるんだと思う。
文法程度すぐ作れるけど、生成系を作るのは難しいと思っていそう。
まるっきり逆。
- 154 ：デフォルトの名無しさん：2014/12/10(水) 23:48:44.51 ID:lFxVBhH5.net
- さらに言えば、理論通り動く生成系を作っても、それは実用性を持たない。
学習のために作るんだ。
実用には、既存の生成系を使うんだよ。
そういう順番が良い。
- 155 ：117：2014/12/11(木) 00:04:58.83 ID:TxaNdaYp.net
- >>148 >>150
すいません・・・。
>>149 >>152
"こういうところが新しいです"
と言える自信はありません・・・。 すいません。
一番の理由は"自分で作ってみたい"と思ったからです。
あと、先生に止められることもなかったですし。
構文解析が目的と言うよりは、半分ノリで付けてしまったテーマが
「初めでも使いやすい日本語で書けるプログラミング言語を作る」
なんてテーマです。
"日本語なら初めてでもとっつきやすいかな？"なんて安易な考えで
「初めてでも」なんてつけて付けてしまいました。
構文を考える上で自分で後悔してたりします；
>>153
文法を考えるのも構文規則を作るのも楽なものではないと思ってます。
それよりも構文解析器を作るほうが難しそうと感じてしまっているのは事実です。
- 156 ：デフォルトの名無しさん：2014/12/11(木) 01:55:24.44 ID:pP5Pqqse.net
- >>153=154が優しく言ってくれてる
あなたが本当に本気なら明日にでも図書館行って、ドラゴンブック借りるといいよ
難しいけど必ず価値はあるから
- 157 ：デフォルトの名無しさん：2014/12/11(木) 06:06:17.74 ID:sSshpgwI.net
- 数学の知識もないのにアンチョコ片手にMathematica使えば何でもできると思ってるようなもんだな。まあ、無理。
- 158 ：117：2014/12/11(木) 07:22:36.95 ID:TxaNdaYp.net
- >>156
プログラミングの棚にはなかったと思うんですけど、
とりあえず今日大学の図書館探してみます。
「ふつうのコンパイラをつくろう」の方は図書館にも置いてあったので。
- 159 ：デフォルトの名無しさん：2014/12/11(木) 07:41:13.71 ID:JXHpp2tS.net
- 空気読め
- 160 ：117：2014/12/11(木) 17:45:33.30 ID:TxaNdaYp.net
- ドラゴンブックは残念ながら大学の図書館にはありませんでしたが、
市内(他区)の図書館にはあるとのことなので取り寄せて読みます。
1万円ほどの本を買うには残念ながらお金がないもので・・・；
他に大学にあった以下のコンパイルの本び中でおすすめってありますか？
コンパイラの基礎 / 徳田雄洋著
命令レベル並列処理 : プロセッサアーキテクチャとコンパイラ / 安藤秀樹著
コンパイラ入門 : 文法から設計・製作まで / 小田一博著
Cコンパイラ設計 : yacc/lexの応用 / A.T.シュライナー,H.G.フリードマン 著 ; 矢吹道郎 〔ほか〕訳
超並列処理コンパイラ / 村岡洋一著
コンパイラ / 疋田輝雄 著
DIANA入門/言語仕様/応用 : Adaコンパイラ実現のための中間言語
やさしいコンパイラの作り方 / 中西正和 共著 ; 大野義夫 共著
新言語作成の技法 : オリジナル・コンパイラ / 大貫広幸 著
N88日本語BASIC(86)コンパイラ活用法 : Personal computer MS-DOS版 / 肥田野登 著
コンパイラの技法 / 中田育男 著
コンパイラのうちとそと / 島内剛一ほか共著
コンパイラの設計と構築 / Arthur B.Pyster 著 ; 松尾正信 訳
コンパイラの技法 / F.R.A.ホップグッド著 ; 首藤勝, 関本彰次共訳
コンパイラ構成法 / 原田賢一著
コンパイラ : プログラム言語処理の基礎 / 井上謙蔵著
コンパイラ設計技法 : 理論と実践 / T. ピットマン, J. ピーターズ著 ; 今泉貴史訳
dBASE ・ PLUSコンパイラ & アセンブラ ゜ / 桑村幸雄,池端良一 著. -- 2版
コンパイラ・コンパイラ / 井上謙蔵著. -- 産業図書, 1970.
Let's C(Ver3.0)プログラミングハンドブック : MS-DOS用Cコンパイラ / PMC研究所 編
やさしいコンパイラの作り方 / 中西正和,大野義夫 共著
Microsoft QuickC コンパイラ Ver.2.0 ランタイム ライブラリ リファレンス
コンパイラ作成の技法 / David Gries著 ; 牛島和夫訳
コンパイラ / 中田育男著
- 161 ：デフォルトの名無しさん：2014/12/11(木) 18:35:53.94 ID:yZEE5pFs.net
- 文芸的なcobol+日本語ななでしこ?
>>160
あるなら手にとって読んでみればいいのに
アドバイスはできないすまん
- 162 ：デフォルトの名無しさん：2014/12/11(木) 18:43:18.72 ID:tbxqmm74.net
- >>160
中田先生の本は良い本(というか国内で学者が書いてる数少ない本)
買うかどうかとは別に読んで損はしない。
先生は多忙なのか執筆が遅いので最新を追うとちょっと遅れるけど
- 163 ：デフォルトの名無しさん：2014/12/11(木) 20:08:42.05 ID:O2yGUM7o.net
- >>143
んなアホな
- 164 ：デフォルトの名無しさん：2014/12/11(木) 20:21:08.66 ID:ED9Fc+9a.net
- 中田本は結構いいね。でもドラゴンブックも読んどくべきだけどね。
- 165 ：デフォルトの名無しさん：2014/12/11(木) 20:26:34.20 ID:URNWWvBk.net
- ドラゴンブックに限らずあの手の堅い文章は頭に入りにくい
- 166 ：デフォルトの名無しさん：2014/12/11(木) 20:51:29.95 ID:HAPX7Bnj.net
- >>162
> 先生は多忙なのか執筆が遅いので最新を追うとちょっと遅れるけど
まだ執筆してるの？
最初に買った真っ白表紙のコンパイラなんて 30年以上前だったのに
- 167 ：デフォルトの名無しさん：2014/12/11(木) 20:58:28.23 ID:hXJaCtwW.net
- やさしいコンパイラの作り方と
コンパイラのうちとそとは
読み物として面白い。
でもたぶん（今じゃ）なんの役にも立たないｗ
- 168 ：デフォルトの名無しさん：2014/12/11(木) 21:22:50.68 ID:tbxqmm74.net
- >>166
2011年が最後かな
言語実装パターン ―コンパイラ技術によるテキスト処理から言語実装まで
ってのをオライリーから共著で出してたはず
でも一番読み応えあるのは1999年発行の
コンパイラの構成と最適化
だと思う、この本はドラゴンブックと一緒に是非買うべきって言っても良い
- 169 ：117：2014/12/11(木) 21:35:13.25 ID:TxaNdaYp.net
- >>161
>文芸的なcobol+日本語ななでしこ?
cobolやなでしこは使ったことないのでわかりませんが、
私は英語を用いた言語よりはわかりやすいと思います。
コメント文での説明が要らないかどうかは作るものによりますけど。
>あるなら手にとって読んでみればいいのに
いろんな図書館に点々としてるそうで、
中にはどこにあるのかわからない図書館にある本だったりも・・・；
ちなみに、上げた24冊のうち私の工学部の校舎にある図書館に絞ると3冊しかないそうです。
>>162 >>164
中田先生の本読んでみます。
ドラゴンブックの方も取り寄せが届いたら読みます。
>>167
面白いならその2冊も読んでみます。
- 170 ：デフォルトの名無しさん：2014/12/11(木) 21:37:16.34 ID:Q8kAUXaJ.net
- >>167
> やさしいコンパイラの作り方と
> コンパイラのうちとそとは
> 読み物として面白い。
両方読んだ気がするが、内容覚えてないわ
> でもたぶん（今じゃ）なんの役にも立たないｗ
色々な人を呼び込むと言うのも、重要な役目だと思う
誰か「漫画で読むコンパイラ」とか書かないかなぁ w
- 171 ：デフォルトの名無しさん：2014/12/11(木) 21:40:57.95 ID:KrH9mSC/.net
- まともにやる気あるなら、その中のどれでも一つ真剣に取り組めばいいよ。
迷うのはそれからでも遅くない
- 172 ：デフォルトの名無しさん：2014/12/11(木) 21:42:20.07 ID:tbxqmm74.net
- >>170
麻宮騎亜がアップを始めたようです。
- 173 ：デフォルトの名無しさん：2014/12/11(木) 21:57:20.15 ID:JvQXLAia.net
- CPUの創り方が萌えキャラで出る時代だから
コンパイラ版が出る日も近いな
- 174 ：デフォルトの名無しさん：2014/12/12(金) 03:52:20.71 ID:yYnp70gr.net
- 疲れた時は白と黒のとびらとか。読み物だけど
- 175 ：デフォルトの名無しさん：2014/12/13(土) 11:59:00.15 ID:KEKavmkB.net
- >>168
共著じゃなくてAntlrの作者が書いた本の監訳だよ
- 176 ：名無しさん＠そうだ選挙に行こう：2014/12/13(土) 19:31:14.67 ID:LmsGKyNP.net
- 正直ドラゴンブックって内容はともかく説明はとても優しいよね
洋書はIT系に限らず懇切丁寧な事が多いと思う
- 177 ：名無しさん＠そうだ選挙に行こう：2014/12/13(土) 22:13:39.97 ID:aWFoLZL3.net
- 虎も仲間に入れてやってください
サンプルがアレだが
- 178 ：デフォルトの名無しさん：2015/01/19(月) 11:19:23.48 ID:cYd/ZsDZ.net
- kmoriさん亡くなったって。
- 179 ：デフォルトの名無しさん：2015/01/19(月) 11:34:19.54 ID:CzsUjspG.net
- yaccの一実装書いてた人か。南無
https://web.archive.org/web/20080206191946/http://d.hatena.ne.jp/kmori58/20060702/p3
- 180 ：デフォルトの名無しさん：2015/01/19(月) 15:30:26.84 ID:cYd/ZsDZ.net
- kmyaccも有名だが、「LSI-Cの作者の一人」だった。
- 181 ：デフォルトの名無しさん：2015/01/20(火) 21:04:04.33 ID:wHr1vYS1.net
- 熊ヤックと読んでいた
- 182 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/02/18(水) 16:40:51.07 ID:9VF3MRJc.net
- C++11の正規表現でCのスキャナーをスマートに書きたい。
しかし、コメントの扱いがややこしく、また、行番号の情報を取得する必要がある。
一行ごとに読み込むべきか、従来どおりトークンに切り分けて読み込むべきか。
全部をいっぺんに読み込んで'\n'でsplitする方法は実行時のメモリーと時間がかかると思う。
どういう戦略にすべきか？
- 183 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/02/18(水) 17:03:37.74 ID:9VF3MRJc.net
- 改行に特別なトークンを割り当てて、すべてのトークンを読み
込んだ後でトークンに行番号をつけてから改行のトークンを取り除くという
方法についてはどう思いますか？
- 184 ：デフォルトの名無しさん：2015/02/18(水) 21:19:15.31 ID:po3oOzQK.net
- Cってマクロとかインクルードとか有るん？
- 185 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/02/19(木) 01:08:43.02 ID:XXveEoOV.net
- マクロやインクルードは、プリプロセッサーがやってくれるよ
- 186 ：デフォルトの名無しさん：2015/02/19(木) 12:19:19.08 ID:b9Ke1XGw.net
- プリプロセッサーの展開後の行番号って要るのかね？
- 187 ：デフォルトの名無しさん：2015/02/19(木) 19:51:00.22 ID:rp3PUwqb.net
- 無かったらエラー表示するとき不便だろ
- 188 ：デフォルトの名無しさん：2015/02/19(木) 21:27:05.57 ID:wg16DBik.net
- 展開後の行番号の方がいらなくね？
プリプロセッサ文てコンパイラ側でも処理するよね？
#line とか
- 189 ：デフォルトの名無しさん：2015/02/19(木) 21:31:56.28 ID:uOq48O3O.net
- コメントはプリプロセサで置き換えたらいかんのか
- 190 ：デフォルトの名無しさん：2015/02/21(土) 01:08:42.33 ID:XnZFjwve.net
- SmalltalkのVM上にJavaVMを構築してんだけど、
VMの話もここで良いんだよね。
- 191 ：デフォルトの名無しさん：2015/02/21(土) 12:59:06.48 ID:eVOI8zE3.net
- OK
- 192 ：デフォルトの名無しさん：2015/02/21(土) 23:58:08.89 ID:bst4VCEg.net
- >>182
Cのスキャナって正規表現だけで表現できるんか？(構文解析しないで良いエディタのhilightingとかは大丈夫だけど)
- 193 ：デフォルトの名無しさん：2015/02/22(日) 01:27:09.68 ID:0QFgdJ2i.net
- >>191
了解。
SmalltalkのVM上でDalvik VM用のclassも動かしたいんですが、
いちいちDalvik用のVMまで作るのがメンドイです。
Dalvik用のclass形式からJavaVM用のclass形式に変換するオススメのLibraryを教えて下さい。
Libraryの言語はSmalltalkに書き直しますので何でもいいです。
- 194 ：デフォルトの名無しさん：2015/02/23(月) 17:30:23.57 ID:FikKUZMK.net
- >>192
scannerってlexerの一部。
lexer=scanner+tokenizer
- 195 ：デフォルトの名無しさん：2015/02/23(月) 17:38:19.44 ID:FikKUZMK.net
- >>193
JEBはDalvikのdecompilerだから、コンパイルすればJVMのbytecodeに出来る。
https://www.pnfsoftware.com/
- 196 ：デフォルトの名無しさん：2015/02/23(月) 17:41:10.47 ID:FikKUZMK.net
- javaで書いたDalvikのVM
http://www.eflow.jp/topics/090317.html
- 197 ：デフォルトの名無しさん：2015/02/23(月) 22:14:05.07 ID:Fe2dvIpV.net
- C++で完結するって所に惹かれてboost::spiritを試してみたが…、これは死ねる。
- 198 ：デフォルトの名無しさん：2015/02/24(火) 01:43:04.58 ID:f8A7qwV2.net
- 共通部分式の除去のやり方がわかんねえ
定数伝播、四則演算も含む組み込み関数の畳み込み、使わない変数の除去、
ループ展開等を同じパスでやってるんだけど
共通部分式の除去とそれをやるのに必要な不変式の判定はまた別でやった方がいいのかな
不変式かどうかはループ最適化でも使えそうなんだけど混乱してきた
- 199 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/02/24(火) 08:04:58.95 ID:UGr8Bbp/.net
- >>198
ある計算式eについて、eの部分式を互いに参照するエントリーとして再帰的にテーブルに登録する。
登録するときにソートと重複チェックを行えば、テーブルは一意化できる。
テーブルの各エントリーの参照構造は、木構造のノードを成す。
- 200 ：デフォルトの名無しさん：2015/02/24(火) 11:33:08.23 ID:wemgVVUb.net
- >>198
式の属性に関する再帰方程式の近似解をニュートン法のように求めること、
これがデータフロー計算解法の本質と理解できてないんじゃない？
ドラゴンブックのavailable, killedの説明の所読んでみれば？
同じパス内でループしながら収束するまで計算するのよ。
- 201 ：デフォルトの名無しさん：2015/02/24(火) 11:35:18.85 ID:wemgVVUb.net
- ドラゴンブックのどの節か書こうとしたけど本が見つからない...
とりあえず、ここのp.10から。
http://dragonbook.stanford.edu/lecture-notes/Stanford-CS143/20-Optimization.pdf
- 202 ：デフォルトの名無しさん：2015/02/24(火) 17:44:49.00 ID:H95vOz7j.net
- >>199
そのテーブルに式を入れるときその式が不変かどうかを判断する部分でわからなくなってくる
>>200
ほとんど読んでないドラゴンブック見たら最適化部分についても書いてるな
これ読むの辛いな
頑張って読んで出直すか
- 203 ：デフォルトの名無しさん：2015/02/24(火) 17:53:23.22 ID:avE+zAm1.net
- 多分ちゃんと読んだ方がかえって早い。
共通部分式A，Bがあって、例えばBの方の除去をやると、
Bの到達性がAの到達性にも付与される。
このことは他の属性に影響を及ぼしうる。
よってもう一度計算をしないとより正確な属性を求められない。
以下ループ。
よって収束するまで繰り返すことになる。
- 204 ：デフォルトの名無しさん：2015/02/24(火) 18:04:39.54 ID:H95vOz7j.net
- 変化がなくなるまで最適化処理を繰り返すのはわかった
- 205 ：デフォルトの名無しさん：2015/02/24(火) 19:26:42.04 ID:wUDy2moe.net
- >>197
コンパイル時間がか？
- 206 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/02/24(火) 20:45:40.84 ID:UGr8Bbp/.net
- __declspecとか__attribute__などをパースできないと正確な構造体型のサイズ
を求めることができない。しかしattribute周りの文法がメチャクチャやなあ。
- 207 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/03/03(火) 01:05:04.60 ID:t6l1EelO.net
- 次は"typed value"の扱いだな。定数にも型がある。型付きの値を
扱えなければ、正確な定数値を求めることはできない。
- 208 ：デフォルトの名無しさん：2015/03/03(火) 04:49:45.03 ID:ZU1MaIS8.net
- 最適化なんてイラナイよね、何処まで処理系に依存する気なんだよｗ
- 209 ：デフォルトの名無しさん：2015/03/08(日) 14:52:45.39 ID:u8r5MR2m.net
- 初心者だがHSPって凄いね
自分でHSPみたいなの作ろうとすると途端につまづくｗ
内部でメッセージハンドルに登録していく言語だと思うんだけど
こんなにwinを感じさせない文法でwinと親和性高く作れるとは
- 210 ：デフォルトの名無しさん：2015/03/08(日) 17:15:18.44 ID:8c6PRT7L.net
- ランタイムの機能の量で躓くならともかくあの文法でつまづくなら>>1で概要把握して本読めば
- 211 ：デフォルトの名無しさん：2015/03/09(月) 14:52:03.75 ID:MIZIuI1f.net
- 文法とOSに何の関係が?
- 212 ：デフォルトの名無しさん：2015/03/09(月) 16:12:25.65 ID:J8WIpDef.net
- いただきジャンガリアンに辛酸をなめさせられたのだろうよ
- 213 ：デフォルトの名無しさん：2015/03/09(月) 17:25:40.74 ID:VM1FVYaf.net
- うーん初心者だから言い方わかんないんだけど
コマンドプロンプトのスクリプトってコマンドに従って単に実行していくだけだよね
でもwinだと実行されるのは素直に考えるとメッセージが来たとき
cでウインアプリつくるときはメッセージ毎に処理を書くけど上から順に読むスクリプトは
それはできないわけだからどう整合性取るのかなってことで悩んでた
結局メッセージ毎にリストがあってコマンドを読んだらそのリストに関数ポインタ名で追加、
メッセージ毎に呼ばれる関数はその種別のリストを上から順に実行していく
こんな感じで作ったけどこれでいいのかな
- 214 ：デフォルトの名無しさん：2015/03/12(木) 21:28:48.21 ID:BlO2EFmA.net
- そりゃ文法じゃなくて実行モデルだな。
イベント駆動ってことでしょ。
- 215 ：デフォルトの名無しさん：2015/04/13(月) 21:09:38.60 ID:qtTodoaL.net
- 「Cのコンパイラなら何日かかけて作っても良いが、C++は、一人で
作るのは嫌だ。文法をきちんとカバーするのに日数がかかりすぎるから」
と言われたよ。
- 216 ：デフォルトの名無しさん：2015/04/22(水) 02:22:50.19 ID:eOWj6Ffd.net
- javaに近い構文の言語をつくろうとしてるんだけど、
ようやくchar配列に変換したソースから関数の外側を構文解析できた。
山括弧<>、文字列リテラル、コメントに気をつけつつ、
なんとか関数の中を無視してクラス・変数・関数の名前や型名を取得して
関数の中身にとりかかるところ。
関数の中身は丸括弧()が難関になりそう。
AAAA bbbb = ((HHHH)cccc.dddd.eeee(ffff.gggg(), jjjj)).iiii();
bbbb.kkkk = -10/(8-3)-9/-3
- 217 ：デフォルトの名無しさん：2015/04/22(水) 20:33:48.48 ID:rBARkljm.net
- >>216
まるで違う言語に見えてしまうのだが。
- 218 ：デフォルトの名無しさん：2015/04/22(水) 21:30:55.14 ID:eOWj6Ffd.net
- >>217
最初はクラス名、メンバ変数、メンバ関数を全部調べてからじゃないと
関数の中身に取り掛かれないと思ってた。
でもクラス名・変数名・関数名に区別は不要で、記号をヒントに階層を分解して、
それから型名の存在の有無・整合性を調べるという風にフェーズを分けれそう。
でも()が演算の優先順位、型キャスト、メソッド...どれに使われているのか
区別できるかは不安。for文とかは最初に予約語が入るからやりやすそうだけど。
Person person = ((Factory)group.cache.getFactory(provider.getResource(), url)).create();
person.id = -10/(8-3)-9/-3;
- 219 ：デフォルトの名無しさん：2015/04/22(水) 22:59:19.66 ID:LKLiXgla.net
- いまいち分からないけど、識別子の次にあったら関数呼び出しで
それ以外は式とかでいけないの
- 220 ：デフォルトの名無しさん：2015/04/22(水) 23:28:51.38 ID:eOWj6Ffd.net
- いけるか分からない。とりあえずやってみるってところ
- 221 ：デフォルトの名無しさん：2015/04/23(木) 08:14:58.39 ID:+O6VWDUu.net
- >>219
構文次第
てか、普通識別子に続くカッコを見て初めて関数/メソッドってわかるわけだし
- 222 ：デフォルトの名無しさん：2015/04/27(月) 01:02:40.49 ID:RiYFohCl.net
- メソッドの中が上手くいかんというか何から始めたら良いのか分からん
コンパイル速度が遅くなるけど、分解フェーズを何層にも分けて
何度もループで調べていけば良いのかな
- 223 ：デフォルトの名無しさん：2015/04/27(月) 06:59:39.15 ID:EFAP6joI.net
- コンパイラの教科書の一冊でも読んで構文解析を勉強してみ
- 224 ：デフォルトの名無しさん：2015/04/27(月) 09:38:16.26 ID:ZDDsb7dY.net
- C系のクソみたいな構文ルールをそのまま真似てどうすんの
自作なら作りやすいようにキーワード追加すればいいのよ
キャスト式にキーワード付けなかったのは最大の誤りの一つ
- 225 ：デフォルトの名無しさん：2015/04/27(月) 09:56:10.90 ID:qDIHhHi0.net
- SSA形式からスタックマシンのコード生成の最適化みたいなのに参考になる文献ってないかな？
- 226 ：デフォルトの名無しさん：2015/04/27(月) 14:22:00.53 ID:RiYFohCl.net
- >>224
そうだね。HaxeとかFlashからぱくって、Ｃ形式のキャストは無くしてみるわ
int i = cast Integer ( 0.005f );
int i = 0.005f as Integer;
- 227 ：デフォルトの名無しさん：2015/04/28(火) 18:20:14.24 ID:PlNb5vya.net
- 最終的に何を目指そうかしら
1)LLVMで動かす
→ 超難しそう
2)Luaのように組み込みスクリプトとして動かす
→ 重そう。メモリ管理は全部ウィークポインタで良いのかな
(C/C++組み込みならnew&deleteするようなスクリプトでも良さそう)
3)JavaScriptなどに変換
→ たぶん例外のバックトレースとかを変換するデバッグ環境が必須
- 228 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/05/05(火) 23:02:55.34 ID:p1RbtT4Y.net
- コンパイラーの品質保証は、数学で証明する時代だ！！！
Coqと数学でコンパイラーが作れる！！！
http://compcert.inria.fr/compcert-C.html
- 229 ：デフォルトの名無しさん：2015/05/09(土) 18:57:31.49 ID:SYpntI8c.net
- バイトコードインタプリタつくっているんだけど
スタックマシンのコンパイラについて
パラメータスタック（データスタック）はヒープ上におくべき？
それともネイティブの領域におくべき？
- 230 ：デフォルトの名無しさん：2015/05/09(土) 19:41:52.28 ID:SYpntI8c.net
- >>229
訂正
コンパイラー＞仮想機械
- 231 ：デフォルトの名無しさん：2015/05/09(土) 20:41:51.08 ID:DhZyBtDK.net
- >>230
ネイティブスタックにデータも置くって事だよね？
データスタックは分けておいた方がイロイロ楽だったので列挙
たしかこんなの
GC使う様な実装の時の仕分け
実行パスがJITでコンパイルコードと非コンパイルVMコードの行ったり来たりするとき
例外のスタックトレース(これもJIT時のアレコレあり)
チープマシンにVM仕込むときアセンブラで書くのが楽しい
最後はちげぇけど
- 232 ：デフォルトの名無しさん：2015/05/09(土) 21:02:43.06 ID:SYpntI8c.net
- >>231
自分のVMは典型的なスタックマシンで
パラメータスタック（データスタック）とコールスタックは別です。
そのうちデータスタックをヒープ内におくか
アセンブリでかかれたほうのネイティブの領域におくかってことです。
ネイティブ領域においたほうが実際のアドレスとVM上でのアドレスの変換がないので
速度としては速いのですが
欠点としてバイトコードからスタックを参照することができません
焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
基本的になければネイティブ領域におこうかとおもっています
これまでつくった経験がないので設計としてどちらがよいかわからずお聞きしました
- 233 ：デフォルトの名無しさん：2015/05/10(日) 09:31:50.02 ID:ZQGgJB6p.net
- >>232
> 焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、
バイトコードの設計は終わってるんじゃないのか？
バイトコードの設計終わってりゃ参照の必要があるかどうかはわかってるだろうし、バイトコードの設計終わってないのに VM の構成考えてるならお前が終わってる
- 234 ：デフォルトの名無しさん：2015/05/10(日) 09:50:11.77 ID:YKkUWNQO.net
- >>233
その通りわ
出直して来ます
- 235 ：デフォルトの名無しさん：2015/05/19(火) 18:50:21.34 ID:a+aajTcz.net
- 番兵の文字は
utf-8でも16でも32でも-1でいいんですか？
- 236 ：デフォルトの名無しさん：2015/06/24(水) 17:14:03.39 ID:ZsIPeucp.net
- 動的型付けってLLVMだとどうやって実装するんだろ
- 237 ：デフォルトの名無しさん：2015/07/10(金) 19:59:28.32 ID:h+kJ9m+3.net
- 構文解析+Cに変換して内部でgcc呼んでコンパイルするプログラムはコンパイラって呼んでいいの？
- 238 ：デフォルトの名無しさん：2015/07/10(金) 20:11:15.28 ID:tLjH7MQJ.net
- トランスレータじゃねえの
- 239 ：デフォルトの名無しさん：2015/07/11(土) 08:23:11.34 ID:SvdcMd32.net
- >>238
変換したＣコードを出すならトランスレーターだけどバイナリまで出すならコンパイラーでいいだろ
- 240 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/07/28(火) 03:30:13.81 ID:92wk7rzR.net
- 果たして文法を仮想化できるか
- 241 ：デフォルトの名無しさん：2015/08/19(水) 08:24:37.58 ID:zh/OeKTd.net
- 凄いこと発見したんだけれどもΛの記号は上の尖がったところがルートで
下の二つの棒が辺を表しているんだな
- 242 ：デフォルトの名無しさん：2015/08/19(水) 22:05:03.04 ID:caRlC37E.net
- 言語非依存の仮想マシンっていうアイデアがいまいち大成功していないように見えるのって
なんか理由があるのかな。
- 243 ：デフォルトの名無しさん：2015/08/19(水) 22:59:51.18 ID:7Z0FzJPx.net
- 落ちてたllvmスレを立て直した
【最速へ】LowLevelVirtualMachine 2【LLVM】
http://peace.2ch.net/test/read.cgi/tech/1439992758/
- 244 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/08/19(水) 23:17:16.98 ID:ynuNSl9L.net
- >>242
めちゃくちゃ成功してまんがな。LLVM,clang知らないの？
- 245 ：デフォルトの名無しさん：2015/08/20(木) 00:06:05.42 ID:BI1Ot8hx.net
- >>244
実際に成功していても成功していないよ・う・に・見・え・るって話じゃないの？
XCodeのコンパイラがllvm,clangだってのは開発者にしか見えないしclangの話だけ聞いているとgccが組み込み機のCPUに対応してたころみたいに派手に活躍してるとは感じられないって事じゃ無いの？
- 246 ：デフォルトの名無しさん：2015/08/20(木) 04:55:31.33 ID:uOqBPetd.net
- たぶん外国には、CASL2のような仮想アセンブラを使う、
情報処理試験が無いのだろう
2人の大学生が作ったLLVMに、Appleが飛びついた。
それで、Lattner はAppleに就職した
- 247 ：デフォルトの名無しさん：2015/08/20(木) 11:06:47.70 ID:XXXu8/KU.net
- 良く言えば新世代の輝き
悪く言えば発展途上の不安定さ
さらに組み込みで言えばカバー範囲の幅広さは犠牲にされがち
将来性でメシが食えるのはごく一部
- 248 ：デフォルトの名無しさん：2015/08/20(木) 11:31:12.43 ID:WmW0wMbd.net
- 痛い文章だ
- 249 ：デフォルトの名無しさん：2015/08/24(月) 00:47:20.35 ID:OjRQ25eS.net
- マルチメソッドを効率よく実装するにはどのようにすればよいですか？
- 250 ：デフォルトの名無しさん：2015/08/24(月) 01:10:40.39 ID:YG1kZeuQ.net
- マルチメソッドって何？
- 251 ：デフォルトの名無しさん：2015/08/24(月) 01:36:14.61 ID:OjRQ25eS.net
- OOPの最も基本的な機能です
引数によって、メソッドが切り替わります
多態といいます
- 252 ：デフォルトの名無しさん：2015/08/24(月) 02:01:55.26 ID:YG1kZeuQ.net
- オーバーロードのことですか？
ではマングリング
- 253 ：デフォルトの名無しさん：2015/08/24(月) 02:21:03.16 ID:OjRQ25eS.net
- マルチメソッドはオーバーロードでは無いです
一般にオーバーロードは静的ですが、
マルチメソッドは動的です
- 254 ：デフォルトの名無しさん：2015/08/24(月) 08:00:36.10 ID:WVPITNbu.net
- >>251
> 引数によって、メソッドが切り替わります
はい？
- 255 ：デフォルトの名無しさん：2015/08/24(月) 08:19:25.57 ID:jJXNOMmM.net
- clojureのdefmultiみたいな奴じゃないの？
- 256 ：デフォルトの名無しさん：2015/08/24(月) 11:49:46.23 ID:BYoao/vR.net
- 多重ディスパッチのニッチな要求に応えるものか
それとも単純な動的バインディングだけの問題なのか
- 257 ：デフォルトの名無しさん：2015/08/26(水) 18:36:02.43 ID:XR0u/yGZ.net
- マルチメソッドはC++相談室を検索すればなんなのかがわかる
- 258 ：片山博文MZ ◆T6xkBnTXz7B0 ：2015/08/30(日) 17:45:45.69 ID:bYlp1Mb/.net
- >>249
パターンマッチを効率よく行う
- 259 ：デフォルトの名無しさん：2015/08/30(日) 19:15:42.50 ID:nhXJHOe7.net
- 型を連想配列やトライ木で管理すればO(1)
- 260 ：デフォルトの名無しさん：2015/08/30(日) 20:08:17.93 ID:brcjELIg.net
- >>259
clojureはソレだね
- 261 ：デフォルトの名無しさん：2015/09/17(木) 12:38:19.48 ID:mHCGeegj.net
- 中間言語の設計に関するノウハウとかアンチパターンとかが書かれた本誰か知ってる？
LLVMとかP-codeとかJava VMとか、あるいはKnuthのMIX/MMIXみたいな機械語に近いレベルの言語を
ソフトウェア実装すること前提に設計する場合について知りたい。
今言語設計してて、そろそろ構文解析できそうだから学んでおきたいんだけど。
- 262 ：デフォルトの名無しさん：2015/09/17(木) 19:56:34.99 ID:7ftMaB4B.net
- 最初はネイティブに落とした方がいいぞ
中間言語とか遠回りしてたらアホみたいだぞ
- 263 ：デフォルトの名無しさん：2015/09/18(金) 15:07:01.58 ID:QAQ6VXx0.net
- そんな物他人に教わるくらいならおとなしく既存のを使っとけ
- 264 ：デフォルトの名無しさん：2015/09/18(金) 20:35:24.73 ID:F4ynHS7Z.net
- 本として出して需要あるか？もしかしたらサーベイ論文なら探せばあるかも
- 265 ：261：2015/09/18(金) 21:16:12.07 ID:ArWsl8Ey.net
- >>262
素直にコンパイル出来ない言語を設計してるので(clispのような)、snippetの表現をx86/amd64表記にする意義が薄いんですよね。
>>263
凝り性なもので。
>>264
一応ciniiは一通り眺めたけど、中間言語の設計に関する論文って無いんですよね。
素直に「中間言語」で調べると自然言語の翻訳に使う方が大量に引っかかってつらい……
- 266 ：デフォルトの名無しさん：2015/09/18(金) 22:17:11.93 ID:i7DEL3du.net
- >>265
動的型付け必須系？
ならErlangの論文とか資料あさるといいかも
- 267 ：261：2015/09/19(土) 09:19:04.79 ID:YlOPp2hb.net
- >>266
swiftのように演算子をユーザー定義出来て、
c++のように同名異引数の関数を定義出来て、
Lispのように引数間のカンマが要らず、
Rubyのようにカッコを省ける
そんな言語を設計中です。
それらの両立のために実行中に文法を書き換えて構文解析器を再構成するという手法を採ってるので、コンパイル出来ないんですよね……
clispのリードマクロを文脈依存に拡張したものだと言えば大体あってるかと。
ちょっとErlang関連の資料を見てみます。
- 268 ：デフォルトの名無しさん：2015/09/19(土) 10:26:16.30 ID:7hgo9IJ4.net
- >>267
列挙してあることはシンタックス上のことで全部コンパイル時に静的に解決出来そうに見えるけど無理なの？
- 269 ：デフォルトの名無しさん：2015/09/19(土) 11:29:33.20 ID:I9CWDfzW.net
- >>267
コンパイル時の都合だよね？
VMの設計とはなんの関係もなさげなんだけど
- 270 ：261：2015/09/19(土) 12:48:32.00 ID:YlOPp2hb.net
- >>268
今考えてる言語では、演算子の扱いが関数を引数の場所に関して一般化した第一級オブジェクトなので
前置引数の個数や後置引数の個数は実行してみるまで分からないので
コンパイル時の識別子を用いた構文解析は無理です。
前置演算子と一引数関数が別物って変だと思ったのでそうしました。
c++風に書くと、こんな感じのが通るイメージです。
g = [](a,b){return a - b;};
if (複雑な式) {
f = [](a|b,c){return a + b + c;}; // (a|b)で前置引数としてa、後置引数としてbと示すものとする。
} else {
f = [](a,b|c){return a + b + c;};
}
// gは2引数演算子、fは3引数演算子。
// ここではgの優先順位はfより低いものとする(c++での表現方法が無いので)。
// カッコやカンマを省いてある場合、上の条件のどちらが走っても構文上は受理される。
// 複雑な式の結果によって、これはg(1, f(2, 3, 4))及びg(f(1, 2, 3), 4)のどちらにもなりうる。
cout << (g 1 2 f 3 4) << endl;
>>269
そういうわけで一度に全部読み込んでコンパイルしてから実行するという事が出来ないので、
折角だからVMも設計しようと思った次第です。
ASTから中間言語に落とすとcontinuationの実装が楽になるので。
- 271 ：デフォルトの名無しさん：2015/09/19(土) 13:15:38.32 ID:hJISNbn0.net
- g 1 2 f 3 4は構文解析後にはどういうツリーになっているの？
フラットなままで構文解析終えて実行時にまたプチ構文解析をするの？
- 272 ：261：2015/09/19(土) 13:24:30.87 ID:YlOPp2hb.net
- >>271
字句解析でばらばらにしてLL(1)でカッコの対応等について解いた背の低い木にして、その後実行時にLR(1)で式毎に再度解析するので
> フラットなままで構文解析終えて実行時にまたプチ構文解析をするの？
これであってます。
- 273 ：デフォルトの名無しさん：2015/09/19(土) 14:10:09.60 ID:I9CWDfzW.net
- おもしろい事かんがえてるなー
ElixirとかBEAM-VMとか参考になるんじゃねぇの？
- 274 ：261：2015/09/19(土) 15:18:02.65 ID:YlOPp2hb.net
- >>273
高信頼・並列分散に特化したVMのようにあちこちで言われてるみたいですね、ErlangのBEAM-VM.
そう考えるとLLVMは解析容易性特化、JVMはVM自体の実装容易性特化といった所でしょうか。
VMを作るなら何かに特化させるべきなような気がしてきました。
- 275 ：デフォルトの名無しさん：2015/09/20(日) 00:52:44.57 ID:m4tWKm8w.net
- 演算子に限定する意味は何だろう
cout << (g 1 2 f 3 4) << endl;
こんなの一見して何してるのか判らないしいっそ構文ごと第一級にすればいい
そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
クロージャじゃあかんのかね
- 276 ：デフォルトの名無しさん：2015/09/20(日) 09:22:45.62 ID:tHziPwGz.net
- この程度のアイデアしかないようじゃ才能ないわな
- 277 ：261：2015/09/20(日) 11:27:11.87 ID:oZCwg6h7.net
- >>275
今作ってる実装だと構文はhead, body, precedence, directionをキーとするオブジェクトの配列になってるので
構文も第一級オブジェクトのインスタンスになっています。
説明不足ですんません。
コードは現在こんな感じ。もし読みたければどうぞ。
https://gist.github.com/pixie-grasper/d07388493204a5e370a2
debug-printが多かったりコメントが少なかったりしますが……
> そもそも実行時に構文解析機まで走らせる重い処理系って必要なのかなあ
必要性については私にはまだ分かりませんが、
私は昔レキシカルスコープもクロージャもポインタも継続もマクロも無い素晴らしく酷い言語(古いBASIC)で全てを考えていたので、
その経験から、どんな機能も使い慣れると必要になってくると思っています。
>>276
私馬鹿なもんで。
いいアイデアがあったら是非とも実現してくだされ。
- 278 ：デフォルトの名無しさん：2015/09/20(日) 11:30:35.69 ID:O6Xw3ijC.net
- >>275-276
俺にも意味があるようには見えないけど、俺の知らない用途があるのかもしれない
とにかくわからないならスルーしとけよ
- 279 ：デフォルトの名無しさん：2015/09/20(日) 18:18:01.68 ID:tHziPwGz.net
- >>277
絶対真似しないと約束するなら教えてもいいぞ
- 280 ：261：2015/09/20(日) 18:52:58.39 ID:oZCwg6h7.net
- >>279
じゃぁ真似せずに似たようなものを考えつくまで考え抜きます。
私馬鹿なので。
- 281 ：デフォルトの名無しさん：2015/09/20(日) 20:15:16.31 ID:9UpT3677.net
- >>274
BEAMは引数のMatchで分ける処理がVMにあるんでそういう意味でオモシロイコト -> BEAM参考になるんじゃねぇのって話です
- 282 ：261：2015/09/20(日) 21:59:23.12 ID:oZCwg6h7.net
- >>281
調べてみました。
BEAMだと実行時にモジュール名、関数名、及び引数の数を指定して呼び出す関数を同定するんですね。
実引数の数がコンパイル時には分かるから命令語に引数の数を組み込めるのだと思いますが……
今考えてる言語だと、実引数の数が自明じゃないので使いにくい気がします。
助言、ありがとうございます。
- 283 ：デフォルトの名無しさん：2015/09/21(月) 19:55:02.85 ID:x6IKJHaI.net
- スクリプト型の言語って実行時にコンパイル(構文解析？)が発生するから、コンパイル型の言語より遅いのですよね。
では、アプリケーションの起動時にスクリプトを読み込んだ後のパフォーマンスは、スクリプト型もコンパイル型も大差ないのでしょうか？
- 284 ：デフォルトの名無しさん：2015/09/21(月) 20:31:03.01 ID:XzxcjOEi.net
- 大差あります
- 285 ：デフォルトの名無しさん：2015/09/21(月) 21:42:55.66 ID:LoRahTLC.net
- >>283
「スクリプト型の言語」やら「コンパイル」やらが何を意味してるのかにも依りますが、
よくある速度重視の構成だと、読み込み時に構文解析や意味解析、中間コード生成を終わらせて
実行時に中間コードを(1)実行可能バイナリに変換するパターンと、(2)仮想マシン上でエミュレートするパターンとの二通りがあります。
(1)の場合は変換処理そのものがそれなりに重く、
しかも高度な最適化を掛けるとそれ自体に時間が掛かってしまうので
最適化は殆ど掛けられずコンパイラ型言語の2～3倍は遅くなりますし、
(2)の場合は1命令実行するのに命令を読み込んで比較してジャンプして、
とCPUがアナログ回路上で並列処理してる計算を逐次的に実行するのでかなり重くなります。
- 286 ：デフォルトの名無しさん：2015/09/22(火) 13:12:55.44 ID:f7gaXzgp.net
- 比較にならない
スクリプトは柔軟性重視なので速度を出すためのチューニングは後回しにされる
起動時にある程度最適化できるものもあるが、
最適化のために数十秒～数分かけたりもできない
また実行直前にならないと決まらない内容も多く無駄になってしまう
そもそもコンパイラ型で速度重視のソフトを作る場合は
開発者自身やライブラリがメモリレイアウトなど制御し効率を考慮したコードを書く（書ける）
- 287 ：デフォルトの名無しさん：2015/09/25(金) 18:30:15.12 ID:TpmuUHaP.net
- 自分でC言語っぽいスクリプト言語とかデータ形式作ってみたけど、どうだろ？
ちなみにスクリプト言語はSC3_Compilerってのに入ってるが。
ttps://osdn.jp/users/mitubasa/pf/BuildContainer/files/
- 288 ：デフォルトの名無しさん：2015/09/26(土) 01:18:18.90 ID:4Rxec7m6.net
- >>283
「スクリプト言語」の定義は難しいが、おおむね
（１）（ユーザーから見て）明示的なコンパイルというフェーズを経ずに実行される
（２）変数に型がない
（３）実行時に行える処理の柔軟性が高い（例えば関数定義など）
という特徴を持つ言語を指すことが多いだろう。RubyやPythonなど
で、それぞれの特徴が、実行速度を遅くすることに貢献する。
（１）→ 最適化に時間を割けない
（２）→ 実行時に、変数が指すオブジェクトの種類を調べる処理が毎回入る。
（３）→ これを実現するためにバイトコードインタプリタで実装されることが多く、遅くなる
もちろん厳密な定義ではないので、あくまで「おおむね」という話。
Javascriptみたいな変態事例もあるし断定的なことは何も言えない
言葉の定義の論争は不毛
- 289 ：デフォルトの名無しさん：2015/09/26(土) 11:28:42.59 ID:GpPO3Mdd.net
- >>287
(一切実行せずに)サラッと眺めた感じだと
字句解析くらい生成系やライブラリ(flex++やboost::spirit等)に頼ってみたらどうかなってのはあるかな。
変数名としてnCount(整数,カウント)の代わりにixArg(添字,引数)を使うとか
細かいところは幾つかあるかも知れんけど、それなりに読みやすいと思うよ。
stdafx.cppって名前で使ってることは察したけど、VS使うんなら
プロジェクト開くのに必要なファイル(.sln等)を入れるとか、
或いはMinGW/Cygwin/msys2なんかのUnix系ツールでさくっとビルドできるようにcmakeを書くとかしておくと
評価する人が増えると思うよ。
- 290 ：デフォルトの名無しさん：2015/10/04(日) 21:40:28.41 ID:Qeh3kLaJ.net
- おれバカで不勉強だから知らなかったえけど、最近の処理系って状態コードのお持ち帰りをしてくれるんだね
手続きAを呼んだ直後にグローバルな状態変数に何がしかの情報が入ってる(何も起きなかったとか、フックして停止させるの推奨みたいな)
面白いな～
データを加工して返すー＞関数(関数内で処理のフローに関係する記述は禁止)
処理のフローに関係するー＞手続き(状態コードを標準で返す)
複数個所使うで同じ様な処理をまとめるー＞サブルーチン(スタックフレームの無いローカルな手続き)
プログラムを組み上げるときの構造や構成に行儀のよい作法がないと
プログラムのどの時点でどのデータがどの構成や状態にあるのか把握ができなくて発狂するｗｗ
で、なんでも記述できる自由度の高い処理系ほど読解困難な発狂プログラムが出来上がると
- 291 ：デフォルトの名無しさん：2015/10/05(月) 23:32:01.45 ID:F9TK8Py4.net
- >>290
状態コードのお持ち帰りって何？
- 292 ：デフォルトの名無しさん：2015/10/06(火) 02:07:01.38 ID:mXRqVUnf.net
- 何を言ってるのかさっぱりワカラン…
- 293 ：デフォルトの名無しさん：2015/10/06(火) 02:50:21.48 ID:rErEEAIK.net
- クロージャのことかな・・・
最初Smalltalkやlispの環境のことかと思ったけど
- 294 ：デフォルトの名無しさん：2015/10/06(火) 10:51:51.85 ID:SQrzN3D5.net
- coroutineだったりして？
- 295 ：デフォルトの名無しさん：2015/10/06(火) 13:56:11.40 ID:6X8NqiS5.net
- 継続じゃないの
俺は気持ち悪いとしか思わんけど
- 296 ：デフォルトの名無しさん：2015/10/06(火) 14:17:39.64 ID:ztjfyQaD.net
- なんでも記述できる自由度の高い言語ほど……
- 297 ：デフォルトの名無しさん：2015/10/06(火) 22:40:32.31 ID:KmJ2byjS.net
- (PEEK/POKEで)なんでも記述できる自由度の高いBASIC言語はいかがですかー
- 298 ：デフォルトの名無しさん：2015/10/07(水) 11:46:38.15 ID:YlJ45J+b.net
- 文字通りステートコードの事じゃね？
Unixが何十年も前に確立してるけど
# make && make install
- 299 ：デフォルトの名無しさん：2015/10/11(日) 09:14:44.03 ID:yW9ExgL4.net
- なんか意味不明なこと書いてすいません
ステートコードで正しいと思います。
バカ正直に戻り値だけと思い込んでいたので
さっき、vs2013のc++起動して、構成プロパティでx64とアセンブラコードの出力に設定して
c++の入門書を買うか悩むこと5分
lispの実装でググって15分
考えるのやめて現実逃避中orz
一番自由度の高いのはアセンブラ(当たり前だけど)
ただし、全て自己責任(自由度が高い＝自己責任ですよ～)
なんか、適当なスクリプト言語が作れないかなと
- 300 ：デフォルトの名無しさん：2015/10/11(日) 16:02:56.87 ID:e7nwHPrn.net
- >>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等)なのか。
- 301 ：デフォルトの名無しさん：2015/10/12(月) 16:27:55.78 ID:xsIpokn9.net
- >>300
丁寧な指摘ありがとうございます。
実際にVS2013をインストールしc++の入門を開いてブレイクポイントーデバッグーアセンブラの表示までたどりつきました
実際のアセンブラのコードを見て少し頭を抱えたしだいです
int a,b,c;
a=1; b=a/2*2;
たったこれだけのコードのアセンブラ出力も、符号拡張命令後の処理の意味が汲み取れませんでした
取り合えず高度な目標はありません
NanaTerryなるアイデアプロセッサを使ってみたらとても使い心地が良かったので
これをシンプルな機能に絞って実装する、そんなプログラムやアイデアを綴るTEXTを扱うtoolを
作りだす為の仕様に絞って色々検討しています。
低機能なlispっぽいなにかになる予定
最近はcコンパイラの実装まで大学のカリキュラムにあると聞いたので凄く刺激を受けました
実際c++の入門などを読んでも言語の仕様に何等かの違和感があるのです
- 302 ：デフォルトの名無しさん：2015/10/12(月) 18:59:19.08 ID:ATBGiUj9.net
- こいつ覚えたての言葉を使いたいだけのワナビーだろ
おそらくスレ違いなのにも気づいてないし相手すること無いぞ
- 303 ：デフォルトの名無しさん：2015/10/12(月) 19:02:17.18 ID:qifYD3R8.net
- パラドックスが始まった
- 304 ：デフォルトの名無しさん：2015/12/09(水) 21:43:53.38 ID:yqcBT5mk.net
- CでCを作るのと、アセンブラ使ってCコンパイラを作るのと、
どっちが良いかな?
- 305 ：デフォルトの名無しさん：2015/12/09(水) 23:21:35.10 ID:0CTdrHjr.net
- CでCを作る時間をCでXを作る時間に充てるのが良い
- 306 ：デフォルトの名無しさん：2015/12/10(木) 03:57:42.43 ID:zEe7T/5S.net
- >>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
- 307 ：デフォルトの名無しさん：2015/12/10(木) 04:01:27.83 ID:zEe7T/5S.net
- 【 オンライン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
- 308 ：デフォルトの名無しさん：2015/12/21(月) 02:59:48.04 ID:4Mx5VRPH.net
- >>304
BCPLとかCの生まれをもう一度考えてみると良いんじゃ無いかな？
凸記法で言語の生成を僕が読んだのはBit別冊の何かに書かれていたPlan言語の解説だったけど、ああいう記法って今は使わないのかな？
↑ある言語を生成するのに必要な言語処理系を凸と凹で組み合わせて表記してある奴なんだけど、アカデミックな世界でなんて言う方法かしらないのでこう書いてます。
- 309 ：デフォルトの名無しさん：2015/12/21(月) 21:20:55.44 ID:6WzMDceb.net
- 乱数の発生のさせ方は、クロックを利用するものだけかな?
色々ありそうだけど、調べても良くはわからなかった。
- 310 ：デフォルトの名無しさん：2015/12/22(火) 01:30:01.23 ID:P1DQx2Lt.net
- 時刻ではなく、プログラムを起動してから経過した時間を取得できます。それを種にする
- 311 ：デフォルトの名無しさん：2015/12/22(火) 01:34:09.74 ID:P1DQx2Lt.net
- 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
- 312 ：デフォルトの名無しさん：2015/12/22(火) 14:10:11.43 ID:dkSLpih8.net
- >>309
seedを何にするかって話？
/dev/randomとか
- 313 ：デフォルトの名無しさん：2015/12/22(火) 14:11:39.64 ID:dkSLpih8.net
- >>310
>>311
プログラムやシステムの起動直後に実行するコード、プログラムではほぼ似た値を使うことになってしまう。
- 314 ：デフォルトの名無しさん：2015/12/22(火) 16:20:29.14 ID:FIUTNb/j.net
- >>309
ハードウェアのADコンバータ経由(アナログなノイズジェネレータからADコンバータで拾ってくる奴)で乱数作るとかもあるけど、計算機の乱数は種から一意に求められる様な物が一般的だよ
で種(seed)の値に現在時刻をつかったり、ユーザの挙動(キー入力やマウスの位置)を素にしたりして見かけ上の乱数性を生成しているのが普通。
- 315 ：デフォルトの名無しさん：2015/12/22(火) 18:18:28.54 ID:qPz15M1W.net
- 専用ハードがあってもいいかと‥
最近のCPUには載っているそうなんだが
http://peace.2ch.net/test/read.cgi/tech/1192628099/337
- 316 ：デフォルトの名無しさん：2015/12/22(火) 20:55:17.79 ID:1duNN4a3.net
- 乱数表をあらかじめ組み込んでおいて、起動からの時間により、順繰り
読んで擬似的に乱数を発生させる方法はありかな?
- 317 ：デフォルトの名無しさん：2015/12/22(火) 22:21:41.42 ID:HbMu76eU.net
- ねーよ
- 318 ：デフォルトの名無しさん：2015/12/22(火) 22:39:41.89 ID:S5fGjlFA.net
- >>316
乱数表に見えるってだけで良いなら擬似乱数列使えばそれで済む話で
わざわざ乱数表全体を組み込む意味がない
- 319 ：デフォルトの名無しさん：2015/12/23(水) 02:10:18.76 ID:o2v4fYco.net
- 何でそんなに起動からの時間が好きなんだよw
女官じゃないぞ
- 320 ：デフォルトの名無しさん：2015/12/23(水) 14:48:59.82 ID:1VnhNGH+.net
- 大昔の光栄ゲーでは起動時に RETURN を叩いてもらってそのタイミングで乱数初期化してたｗ
- 321 ：デフォルトの名無しさん：2015/12/24(木) 23:33:07.59 ID:Uv2klDgG.net
- std::random_device
- 322 ：デフォルトの名無しさん：2015/12/25(金) 21:30:55.13 ID:R/sO38u1.net
- ユーザーのマウスの動きを、ミッキー単位で取得して乱数を...と
思ったら、プログラマはマウスを嫌がり、あまり使わないで
tabキー多用する奴も多かったからな。別な手を考えた方が良いかな?
- 323 ：デフォルトの名無しさん：2015/12/25(金) 22:26:16.56 ID:DXbDvcZw.net
- なあ、今時のCPUはランダムデバイス持ってることくらいは知っとこうや
幾らくたばりかけてる爺でも
- 324 ：デフォルトの名無しさん：2015/12/26(土) 08:32:40.01 ID:CDX6E7Ry.net
- なあ、全員が今時のリッチなCPUを使う訳じゃないことくらいは知っとこうや
幾らゆとりのアホでも
- 325 ：デフォルトの名無しさん：2015/12/26(土) 12:19:14.32 ID:NrOPRYuI.net
- CPUを明示して相談しなよ
知らんだけで乱数用のエントロピー生成命令持ってるかもしれんし
IntelならOSがサポートしてなくてもIntel DNRG使えばいい
- 326 ：デフォルトの名無しさん：2015/12/26(土) 13:31:50.28 ID:4htfJ0fo.net
- 俺の頭の中のcpu（１０MHｚ）が・・・
- 327 ：デフォルトの名無しさん：2015/12/26(土) 13:55:58.15 ID:oIXuKyHb.net
- リアルタイムで動画処理、画像認識、空間認識、音声認識その他諸々を全部やってのけるのって地味に凄いよな
時間あたりの消費エネルギーも、要求エネルギーが2000kcal～4000kcal/dayとしてもおよそ100W～200Wで非常に効率が良いし
- 328 ：デフォルトの名無しさん：2015/12/26(土) 20:17:52.51 ID:nC5MMPRS.net
- CPUで何でも出来るようになってしまったら、
マの出番はどんどん減ることになりそうだな。
大昔は、足し算と引き算は出来るのに、掛け算と割り算が出来ないのが
当たり前だったからな。30年くらい前のものだとな。
- 329 ：デフォルトの名無しさん：2015/12/28(月) 10:04:16.17 ID:VJBFmUt0.net
- ランダムデバイスに頼るのが良いのか、迷ってしまいそうだな。
こういうのを読んでしまうと...。
ttp://cpplover.blogspot.jp/2013/07/blog-post_14.html
ハードウェア乱数生成器は信頼できるか
- 330 ：デフォルトの名無しさん：2015/12/28(月) 10:25:27.73 ID:1a7EtF6d.net
- NSAと戦ってる人か
- 331 ：デフォルトの名無しさん：2015/12/28(月) 12:54:32.70 ID:dgI6+oKo.net
- >>329
よくわからんけど生成された値を適当な鍵使って AES 暗号化するんじゃ駄目なの？
- 332 ：デフォルトの名無しさん：2015/12/28(月) 12:58:36.44 ID:b3qQlUF/.net
- OSを作る時の話になってるから適当な鍵をどこから持ってくるか熟慮しないといけない
- 333 ：デフォルトの名無しさん：2015/12/31(木) 19:14:36.65 ID:shZW63x7.net
- 一度に数十個の乱数を生成するコードを書き、重複チェックを忘れる俺は、
やはりマには向いていないのかもしれん。コード記述の時点で
重複することが頭から抜けていた。ついうっかり...。
- 334 ：デフォルトの名無しさん：2016/01/01(金) 03:47:17.29 ID:xJBQ4MUG.net
- >>329
自分の方が質が高いのを用意できるわけw
- 335 ：デフォルトの名無しさん：2016/01/05(火) 10:14:26.10 ID:n8GHd5T0.net
- 「ハードよりも、俺の方が正確に動く」と、
一度で良いから言ってみたい。
- 336 ：デフォルトの名無しさん：2016/01/06(水) 02:04:42.23 ID:DSMnLqrW.net
- 楽するためにプログラミングするのであるが
一向に楽にならず
- 337 ：デフォルトの名無しさん：2016/01/07(木) 17:58:56.46 ID:3JUqZlZh.net
- >>336
顧客が楽になっているだろw
裏でマが血のにじむような努力をしていることを、知る由もないからな。
- 338 ：デフォルトの名無しさん：2016/01/07(木) 18:29:10.67 ID:E6rodr+5.net
- 70点じゃなくて55点で妥協すれば
費用が100分の1になるって教えてやれよ
- 339 ：デフォルトの名無しさん：2016/01/10(日) 10:05:01.35 ID:KKgUy8RE.net
- >>338
それは、「バグ入りソフトを出荷する可能性も高くなる」諸刃の剣では?
- 340 ：デフォルトの名無しさん：2016/01/10(日) 12:22:10.90 ID:a81L0ZQ5.net
- 妥協するのは仕様でしょ
仕様で無理難題いうの辞めたら
コストも下がるし品質も上がるみたいな
けどスレ違いの話じゃね?
- 341 ：デフォルトの名無しさん：2016/01/11(月) 20:54:13.20 ID:J50s7Qe5.net
- 「妥協しないワガママな顧客」に、
「見積もりを二桁足して出したら、予想通り、注文が来なかった」
と言っていたな。最初から断る口実だったのかな。
- 342 ：デフォルトの名無しさん：2016/01/12(火) 19:46:25.75 ID:7kdSKUGZ.net
- >>338
66.66 点くらいで負かりませんか？
- 343 ：デフォルトの名無しさん：2016/01/13(水) 17:31:32.57 ID:DkyDX7cg.net
- >>342
それだと、100万円の費用を85万円に値引くのが限界では?
- 344 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/01/15(金) 20:05:16.26 ID:ds1B8EUq.net
- C言語の呼び出し規約に関する文法に
詳しいサイトとかソースとかありますか？
- 345 ：デフォルトの名無しさん：2016/01/15(金) 22:22:03.06 ID:EuNWEiBo.net
- そこで言う呼び出し規約ってのは引数がスタックでどう配置されるかって話?
- 346 ：デフォルトの名無しさん：2016/01/15(金) 22:31:09.13 ID:+0giQcLD.net
- 呼び出し規約に関する文法って何ぞ？
- 347 ：デフォルトの名無しさん：2016/01/15(金) 22:55:08.00 ID:y9x+XKWj.net
- C言語のABIは色々あるぞ
基本はcdeclかstdcallだけど
スタック使わずレジスタでやりとりしたり
環境や処理系毎に異なる
- 348 ：デフォルトの名無しさん：2016/01/16(土) 00:11:40.49 ID:4AnwHYnZ.net
- 呼び出し規約自体は文法に現れんと思うが
- 349 ：デフォルトの名無しさん：2016/01/16(土) 01:23:45.39 ID:7+H4Uotl.net
- 上のcdeclとかstdcall辺りが関数の属性値として付くぐらいじゃないかと
文法的にはこれらは両立しないから複数書いたらエラーとかその程度でしょ
- 350 ：デフォルトの名無しさん：2016/01/16(土) 01:24:46.12 ID:7+H4Uotl.net
- それとgccの__attribute__())構文なんてのもある
括弧の中はもう何でもあり
- 351 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/01/16(土) 12:33:39.48 ID:lRbtk3RI.net
- 属性について調べればいいのか
ありがとさん
- 352 ：デフォルトの名無しさん：2016/01/16(土) 12:54:05.36 ID:H0Ul8NcN.net
- >>347
独自指定子、pragma指定、
FORTRANのライブラリ呼び出すのあったね
今はextern宣言か
extern "C++"とか
- 353 ：デフォルトの名無しさん：2016/01/17(日) 14:03:21.22 ID:WTe5Q/ML.net
- サポートされる種類は環境依存だし
構文は実装依存だから
規格では書いてない
とりあえず wikipedia 見れば
- 354 ：デフォルトの名無しさん：2016/01/18(月) 06:53:14.27 ID:TV7ry5Rb.net
- >>353
環境依存と実装依存ってどう使い分けてるんだ？
- 355 ：デフォルトの名無しさん：2016/01/18(月) 08:53:28.44 ID:XM4mBu50.net
- >>354
実装であるgccはいろんな環境(プラットフォーム)で動いてる
構文はどの環境でも同じだが
どんな呼び出し規約のライブラリがあるかは
環境ごとに違う
- 356 ：デフォルトの名無しさん：2016/01/19(火) 11:13:57.61 ID:79hXpIDE.net
- 新しいコンパイラを作る際、わざわざ「手動でスタックを積み上げたり
開放したりする」命令は、あった方が良いのかな?
メモリ節約や速度に直接、関係するなら言語仕様を作る段階で
考えるけどね。今のパソコンはスピードが速いから、不要といえば不要かも
しれないが。
- 357 ：デフォルトの名無しさん：2016/01/19(火) 12:41:03.92 ID:uAThxx94.net
- そのレベルならインラインアセンブラみたいな
抜け道を作るかどうかって話になるんじゃないの
- 358 ：デフォルトの名無しさん：2016/01/19(火) 21:16:12.58 ID:j62B2E0v.net
- >>356
命令ってどういうこと?
Cのallocaみたいなのを言ってるの
- 359 ：デフォルトの名無しさん：2016/01/19(火) 23:54:06.44 ID:Xdnj5x+8.net
- 確保開放やらはSPレジスタをいじるでいいんじゃないかな・・・
SP変更時に無効なSP値だったらエラーにするとかその程度で
コンパイラもよほど変な事しない限りpush/pop命令なんて使わんし
- 360 ：デフォルトの名無しさん：2016/01/20(水) 12:29:31.81 ID:zFAeGKrq.net
- >>356
言語自体の仕様にも依るんじゃないかな。
あと用途とか。
モノリシックカーネルのドライバ書くのに使いますーCとアセンブリの良いとこ取りですーってんなら
手動でスタック積んだり降ろしたりする命令も使うだろうけど
いまいち用途がピンと来ない。
仮にllvm-irの使用を前提にするなら、ネイティブのスタック積んだり下ろしたりするのって意味あんの？っていう議論もありか？
言語仕様を練ってて
シンプルな構文にシンプルな継続(のようなもの)を追加したら
全体的に美しさに欠ける感じになって悩んでる。
- 361 ：デフォルトの名無しさん：2016/01/22(金) 12:29:02.92 ID:97wZpIfH.net
- 高級言語の側で、わざわざ、pushやpop命令を言語仕様に入れる必要は
なかったか。メリットも予想ほどないみたいだな。
実行上で、スピードアップになるかと思っていたが。
- 362 ：デフォルトの名無しさん：2016/01/22(金) 12:55:06.86 ID:8nADuqf6.net
- メモリやキャッシュはレジスタよりずっと遅いからなぁ。
レジスタへのアクセスに対してL1キャッシュのアクセスには2〜3倍の時間が掛かるって言われてる。
つまり、レジスタ間mov命令に対してpush/popは1命令あたり2〜3倍遅いって事だ。
C言語のregister修飾子は知ってる？変数がレジスタに乗っかるようにする為の物なんだけど。
グラフ彩色で変数生存期間に対するレジスタの使用を最適化出来る事が知られる以前の産物だから、今は滅多に使われないけどね。
- 363 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/01/22(金) 13:18:42.18 ID:0V0RVdAH.net
- バイト列xからバイト列C(x)への変換器Cがあるとき、
Cの逆変換器C^(-1)を求める一般的な方法は何か？
- 364 ：デフォルトの名無しさん：2016/01/22(金) 20:49:57.23 ID:TW3FacBd.net
- >>363
逆アセンブラです。
- 365 ：デフォルトの名無しさん：2016/01/22(金) 21:58:03.16 ID:bvwDmPF2.net
- 変換器Cの変換の性質がbijectiveであるという条件をつけなければいけないのではないか。
- 366 ：デフォルトの名無しさん：2016/01/22(金) 22:13:13.93 ID:9qqofano.net
- この方法が分かれば、どんな暗号文も解読できるね！
- 367 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/01/22(金) 22:54:36.97 ID:0V0RVdAH.net
- 数学板でじっくり考えることにしたよ。
有限数列上の変換について [無断転載禁止]･2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1453437840/
- 368 ：デフォルトの名無しさん：2016/01/23(土) 09:04:11.89 ID:VPAh/uPo.net
- 変換器が可逆計算できるとは限らないから一般的な方法は無いだろ。
- 369 ：デフォルトの名無しさん：2016/01/23(土) 15:07:58.00 ID:0d2orZXz.net
- メモ化とテーブルルックアップw
- 370 ：デフォルトの名無しさん：2016/01/31(日) 19:36:30.55 ID:T/RwY0g5.net
- 多少勉強すると、いまさらながら、Cがアセンブラにかなり近いレベルの
言語であることが、良くわかるな。
その分、マスターするのに時間もかかったが。
- 371 ：デフォルトの名無しさん：2016/01/31(日) 19:52:06.23 ID:Vno/qq2m.net
- C言語をマスターしたって奴は絶対に信用しないことにしている
- 372 ：デフォルトの名無しさん：2016/01/31(日) 20:53:44.66 ID:7LoAMsY1.net
- 入門書一冊読みました＝マスターしました
- 373 ：デフォルトの名無しさん：2016/01/31(日) 21:17:31.75 ID:QH+McMgz.net
- これが本当のマスターベーション
- 374 ：デフォルトの名無しさん：2016/02/01(月) 16:11:44.37 ID:aq9Mx2ga.net
- そんなあなたにスタンディングマスターオベーション
- 375 ：デフォルトの名無しさん：2016/02/02(火) 10:57:23.41 ID:9eq1u0GM.net
- >>371
「C言語をマスターしました」
という奴の化けの皮をはがすのは、意外に簡単だからな。
簡単な計算機プログラムを書かせるか、あるいは、ピタゴラスの定理の
コードでも書かせるか。もっとも、そこで化けの皮がはがれるようなら、
とてもコンパイラの領域まで、進むことは出来ないだろうな。
- 376 ：デフォルトの名無しさん：2016/02/02(火) 11:36:11.92 ID:7f7wf/mW.net
- コンパイラを書ける最低レベルに達しているかどうかの判定がしたければ
「入力された多項式を微分する関数書くならどう書く？」ってくらいは聞きたいけど。
C言語云々じゃなくてデータ構造とアルゴリズムの問題だけど、
Cでやるならポインタと再帰とラムダ算法について知ってなきゃ答えられない。
- 377 ：デフォルトの名無しさん：2016/02/02(火) 20:19:50.93 ID:WkrnCzmR.net
- >>376
単純な多項式に限定していいなら再帰いらんでしょ
最終的に多項式に変換できる式と言うなら別だけど
- 378 ：デフォルトの名無しさん：2016/02/02(火) 22:20:22.51 ID:7f7wf/mW.net
- >>377
すまん
素で項数無限だったり微分不能な関数が入ってたりしないって意味で多項式って言っとったわ。
log(x^2+8*x)とかsin(kx+wt)とかも多項式（笑）
- 379 ：デフォルトの名無しさん：2016/02/03(水) 11:44:18.92 ID:tCheJck0.net
- 面接時「Cを三年ほど仕事で使っていました」
↓
採用後「誰だ。あいつを採用したのは！」
「最低、Cを仕事で三年間使っていること」
を条件に採用した会社で、こんなこともないわけではないからな。
本人の申告ほどあてにならないものはない。コンパイラ作成に到達する
など、夢のまた夢。
- 380 ：デフォルトの名無しさん：2016/02/03(水) 11:59:22.08 ID:uEOUJl1K.net
- 他人の突っ込んだバグを直せるのが中級者
自分の突っ込んだバグを直せるのが上級者
それ以外は何の参考にもならない
- 381 ：デフォルトの名無しさん：2016/02/03(水) 12:36:45.52 ID:Gb259GwX.net
- それ以外っつーとどんなバグも直せない奴か
そりゃ確かに考慮に値しないな
- 382 ：デフォルトの名無しさん：2016/02/03(水) 13:57:01.05 ID:WaqhOfMD.net
- まあもともとCはコンパイラを書くには向いてないからな
GADTとかある関数型言語で書くのが一番楽
あとコンパイラが糞になるのは大抵対象言語の糞文法と糞デザインのせい
- 383 ：デフォルトの名無しさん：2016/02/03(水) 13:57:40.61 ID:WaqhOfMD.net
- Rubyがなぜあんな巨大な糞なのかというと（お察しください
- 384 ：デフォルトの名無しさん：2016/02/03(水) 14:06:49.98 ID:uEOUJl1K.net
- 実用性を求められそれに応えるごとに汚れていくのさ
ピュアでいられるのはお子様だからさ
- 385 ：デフォルトの名無しさん：2016/02/03(水) 14:17:35.65 ID:WaqhOfMD.net
- 残念だがルビーの文法とデザインが腐ってるのは初期からだw
- 386 ：デフォルトの名無しさん：2016/02/04(木) 01:55:33.07 ID:VXt+BkjY.net
- ∩＿＿＿∩ ∩＿＿＿∩
♪ | ノ ⌒ ⌒ヽﾊｯ __ _,, -ー ,, ﾊｯ / ⌒ ⌒ 丶|
/ (●) (●) ﾊｯ (／ "つ`..,： ﾊｯ (●) (●) 丶 今、どんな気持ち？
| ( _●_) ミ ：/ MZうy ::::::i：. ミ (_●_ ) | ねぇ、どんな気持ち？
＿＿＿ 彡 |∪| ミ ：i ─::!,, ミ､ |∪| ､彡＿＿__
ヽ＿＿＿ ヽノ､｀＼ ヽ.....::::::::: ::::ij(_::● / ヽノ ＿＿＿/
/ ／ヽ < r " .r ミノ~. 〉 ／＼ 丶
/ ／ ￣ ：|::| ::::| :::i ﾟ。 ￣♪ ＼ 丶
/ ／ ♪ ：|::| ::::| :::|： ＼ 丶
（＿ ⌒丶... ：` | ::::| :::|_： /⌒＿）
| /ヽ }. ：.,' ::（ :::} } ﾍ /
し ））. ：:i `.-‐" J´（（
ｿ ﾄﾝﾄﾝ Darkなんちゃら… ｿ ﾄﾝﾄﾝ
- 387 ：デフォルトの名無しさん：2016/02/04(木) 13:25:41.80 ID:+rC6IKS8.net
- 優れた文法を手本とするには、どの言語が良いんだ?
どれもこれも長所と短所があるし。
- 388 ：デフォルトの名無しさん：2016/02/04(木) 15:53:27.61 ID:69F/iNHk.net
- 優れた文法とは。
- 389 ：デフォルトの名無しさん：2016/02/04(木) 16:18:01.49 ID:ri7+Aiuk.net
- ５色のうちからユーザーが好みのものを選べるのがいいんじゃないか
- 390 ：デフォルトの名無しさん：2016/02/04(木) 16:29:33.62 ID:69F/iNHk.net
- 5色か
Whitespace
H9Q+
brainfuck
Lazy K
INTERCAL
あたりの文法を参考に・・・・・・
- 391 ：デフォルトの名無しさん：2016/02/05(金) 13:29:53.12 ID:BBqIJr5G.net
- フロントエンドとミドルエンドとバックエンドに分けてフロントエンドはユーザーが作れるようにしておけばいいんじゃないのか？
- 392 ：デフォルトの名無しさん：2016/02/05(金) 20:10:50.78 ID:um7ZPY3u.net
- >>388
言語仕様に「整合性がある」言語の事だが。
一長一短だからな。
- 393 ：デフォルトの名無しさん：2016/02/05(金) 21:49:15.21 ID:hmTKeVMY.net
- でもテンプレートの奥深くみたいな訳の分からないエラーメッセージとか無しでな
- 394 ：デフォルトの名無しさん：2016/02/05(金) 22:53:24.24 ID:AF25xcuE.net
- ミドルにエンドは無いと思うんだが、LLVMがそんな呼び方してるのはなんか意図があるんだろうか
- 395 ：デフォルトの名無しさん：2016/02/06(土) 00:48:13.75 ID:utAdfs60.net
- >>392
大概の言語仕様は無矛盾だと(=整合性があると)思うけど。
- 396 ：デフォルトの名無しさん：2016/02/06(土) 10:06:04.94 ID:XRyA0EjL.net
- 最強言語(ｷﾘｯ
でも標準ライブラリも効率的なデバッグの仕組みも考えたことすらありません
- 397 ：デフォルトの名無しさん：2016/02/06(土) 12:37:09.68 ID:4z0/BkxB.net
- そもそも文法がマトモにパーズできるようなものでないと
処理系がバグりまくる（C++やRubyの惨状を見よ）
静的型を用意するなら型理論に沿ったマトモな型システムでないと
処理系がバグりまくる（C++テンプレートやSwiftの惨状を見よ）
オブジェクト指向と関数型の変な折衷をするとこれまた型が
アレになって走査パスが増えて処理系が超遅くなる（Scalaの惨状を見よ）
人間が読めて、他のプログラムから容易に生成できて
（これは文法が糞だと目も当てられない事になる）、
マトモな言語機能を持った言語以外を作るなと言いたい
CやLispより退化してどうするんだ
- 398 ：デフォルトの名無しさん：2016/02/06(土) 15:40:31.20 ID:lxi6Zpfn.net
- 手段が目的になってる人はそう思うんだろう
- 399 ：デフォルトの名無しさん：2016/02/07(日) 11:42:14.16 ID:CwVox+Js.net
- かなり昔の事だが、C++のANSI規格作成で、携わっていた委員の一人が、
C++の文法の一部を誤解して覚えていたことが発覚し、周りに苦笑された
事もあったらしいからな。
「言語仕様を作る側」の頭のレベルも念頭に置かないと。
それでなければ整合性には程遠い。
- 400 ：デフォルトの名無しさん：2016/03/09(水) 17:29:58.75 ID:ISN2ur/+.net
- gccですら実装を見送る規格は止めてほしい
CとC++の中間ぐらいの言語が欲しい
プリプロセッサとテンプレートは採用で
- 401 ：デフォルトの名無しさん：2016/03/14(月) 22:18:27.17 ID:5P+EA/8R.net
- 名前空間付きC言語程度の言語つくってみようかしらん
特に目的はないけどこれなら作れそうくらいな動機で
- 402 ：デフォルトの名無しさん：2016/03/15(火) 19:07:41.78 ID:RIoPtDsj.net
- >>401
前方参照OKにしてくれ
- 403 ：デフォルトの名無しさん：2016/03/15(火) 23:33:07.78 ID:8e1lo7mI.net
- 前方宣言のことだよね？
名前空間のインターフェースみたいなのできたら面白いかも
- 404 ：デフォルトの名無しさん：2016/03/16(水) 21:23:00.37 ID:ejdJRW9Z.net
- いや、多分、前方宣言じゃなく、前方参照のことだろう
- 405 ：デフォルトの名無しさん：2016/03/17(木) 11:20:18.13 ID:U4keFPtS.net
- 前方参照でC++でもいまだにエラーとしてる理由って何だっけ
2パスを嫌ってる？
でもC++って何パスもしてる気がするよね
- 406 ：デフォルトの名無しさん：2016/03/17(木) 11:51:54.16 ID:go3n9QI1.net
- Java「クラスの外に宣言書けないようにすればいいのに」
- 407 ：デフォルトの名無しさん：2016/03/17(木) 19:00:40.54 ID:HqjZona4.net
- ヘッダーファイルという糞文化
- 408 ：デフォルトの名無しさん：2016/03/19(土) 04:08:08.77 ID:YkVYTtmN.net
- ポインタは*がなんかダサくて嫌だ
- 409 ：デフォルトの名無しさん：2016/03/22(火) 01:20:09.95 ID:rf8iBlA4.net
- ３大OSで動くようにjavaでランタイム書こうと思うんだがポインタないのが不便だね
C言語ソースに変換するほうが楽だと思うけどもう少し粘る
- 410 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/03/22(火) 02:43:19.96 ID:p3cxKPtY.net
- LLVMの話はここでいいんだよな？
LLVM+Clangを仮想Ubuntuでビルドしているが、かなり時間が掛かる。
三日間以上か。やはりC++コンパイラを仮想環境でビルドするのは無理があるのか。
実機なら数時間でビルドできるのだろうか。
- 411 ：デフォルトの名無しさん：2016/03/22(火) 06:20:07.57 ID:2k6rwd23.net
- >>409
もうC#でよくね？
- 412 ：デフォルトの名無しさん：2016/03/22(火) 13:27:29.78 ID:YJW8F40f.net
- >>410
仮装マシンの設定間違ってるだけじゃないの？(メモリ配分とかCPU割り当てとか、Networkドライブでコンパイルしちゃったとか)
- 413 ：デフォルトの名無しさん：2016/03/23(水) 03:14:26.98 ID:o57PmMMS.net
- とりあえず関数の外側までパースしつつJVMのバイトコードを勉強してる
helloworldするためのprintln()はどうやって作ればいいのだろう？
- 414 ：デフォルトの名無しさん：2016/03/23(水) 10:56:44.60 ID:fhNbIMvx.net
- >>413
JVM にはI/Oはない。 ネイティブコードのライブラリに投げる。
- 415 ：デフォルトの名無しさん：2016/03/25(金) 00:41:07.93 ID:LUc1dGhA.net
- >>414
つまり最初にネイティブコードを呼ぶ仕組みが必要なのだろうか？
難しそうだし、暫定的に組み込み関数を標準APIとして用意するに留めたいなあ
- 416 ：デフォルトの名無しさん：2016/03/25(金) 06:42:35.83 ID:IRDGuB0e.net
- その組み込み関数＝ネイティブコードのライブラリなんでは・・・
- 417 ：デフォルトの名無しさん：2016/03/26(土) 08:43:48.51 ID:drxQ1xsy.net
- 何がしたいのか分からん
JVM を呼ぶフロントエンドとグルーを作るだけなんでしょ
- 418 ：デフォルトの名無しさん：2016/03/31(木) 23:33:53.46 ID:m6GiZo6g.net
- 業務ソフト開発用のコンパイラと、ゲーム開発用のコンパイラは、
当然、分けて考えないとダメだよな?
- 419 ：デフォルトの名無しさん：2016/04/01(金) 03:11:11.66 ID:38psm3gC.net
- >>418
だめとは何が？
成果物によっては業務だと下手すると死人が出る
ゲームだと下手するとクレームで会社が倒産する
でもその成果物はコンパイラ以外にも色んな工程を経て作られたものだから
最終的にコンパイラが原因だったとしてもコンパイラやその開発者が追及を受ける謂れはない
例えばキミの作ったゴミコンパイラで死人が出たとして責任とれますか？
- 420 ：デフォルトの名無しさん：2016/04/01(金) 12:33:03.11 ID:EVZZ0pNr.net
- そのときは体で詫びます
- 421 ：デフォルトの名無しさん：2016/04/01(金) 13:14:37.42 ID:TsVr6Gke.net
- 業務なら信頼性と生産性重視
ゲームなら実行時の性能重視 欲を言えばGPUのデバッグしやすければ勝つる
つうか強みをわかりやすくバーンと出して後は選んでもらうだけだべ
- 422 ：デフォルトの名無しさん：2016/04/02(土) 11:20:43.68 ID:5nWyUO1B.net
- 30年以上前に出た、ゲームセンターにあるゲームは、
意外にバグを多く含んでいたんだよな。それを承知で、
みんな遊んでいたから。コンパイラのせいには出来ないだろうが。
初期のナムコ製品なんて、バグ発見と、それを悪用した点数稼ぎが
やたら多かった。
- 423 ：デフォルトの名無しさん：2016/04/02(土) 12:06:49.67 ID:pO9IxWzb.net
- 支障のあるバグだけど修正困難なので放置されていた
というのが正しい
ゲーセンのインカムに影響するようなバグは回収されるはず
数年前にサ○ラ大戦のパチのバグで回収になって
50億の損害が出たとかあったな
- 424 ：デフォルトの名無しさん：2016/04/02(土) 12:24:29.40 ID:k2fP1WMZ.net
- >>422
その頃のアーケードゲームはコンパイラつかってないだろ、8ビットでz80、良くて6809の時代でコンパイラはi8080向けの LSI-Cが出たか出ないかの時代だぞ
>>423
サクラ大戦ってそんなに売上げあったん？
- 425 ：デフォルトの名無しさん：2016/04/02(土) 19:15:30.37 ID:P1i243h5.net
- >>424
> サクラ大戦ってそんなに売上げあったん？
ゲームじゃなくてこう言う話でしょ
http://slosoku.com/archives/5072231.html
- 426 ：デフォルトの名無しさん：2016/04/02(土) 22:12:51.38 ID:k2fP1WMZ.net
- >>425
パチスロかパチンコなのね
- 427 ：デフォルトの名無しさん：2016/04/03(日) 02:39:40.29 ID:iadWYSqN.net
- 千円の物が百万個売れると10億なので
ゲームの方も50億くらいはあるんじゃないの
- 428 ：デフォルトの名無しさん：2016/04/03(日) 21:47:29.31 ID:2hoiGC6I.net
- その昔、ナムコのゲーム開発部隊では、OSを作っていたのが二人いたそうだ。
苦心惨憺の末、ギャラガというゲームを作ったライトサイドプログラマー
の大森田氏。一方、ダークサイドプログラマーとして名高い島岡弘氏。
今ではコンパイラ作りの情報はありふれているが、やはり、当時としては
相当凄かったらしく、一目置かれていたとか。
今だと、コンパイラ作るだけでは、誰も誉めてくれないからな。
中身を見るまでは、お褒めの言葉にも預かれない。
- 429 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/04/03(日) 21:57:18.40 ID:YoKWiOlG.net
- ヘイジャックども、英語の重要な技術文書をどんどん翻訳して
WikiBookやGitHubに上げていこっぜ、ベイベー。
- 430 ：デフォルトの名無しさん：2016/04/04(月) 01:03:07.07 ID:DatNOwTQ.net
- >>429
MSの技術解説部分も、昔は翻訳するのに制限がかかっていなかったか?
そのためにVC++を使いこなすために英文マニュアルとの格闘に
なって苦労したぜ。C++特有のわかりづらさと、英文マニュアルと、
初めて使う統合開発環境に戸惑い、ドえらく時間がかかった経験が...。
- 431 ：片山博文MZ ◆T6xkBnTXz7B0 ：2016/04/04(月) 08:31:57.12 ID:P4S1l6wk.net
- >>430
翻訳権ってMSDNにもあるんかいな。
いい加減、日本の著作権法にもフェアユースを
明記してほしいよな。
- 432 ：デフォルトの名無しさん：2016/04/04(月) 16:51:18.37 ID:nzuN3Nfl.net
- MindのUnicodeとか版コンパイラ作りたい
- 433 ：デフォルトの名無しさん：2016/04/04(月) 21:22:22.97 ID:DatNOwTQ.net
- VC++のWindowsAPIの説明がわかりづらかったので、Delphiを使い始め
たら、同じく日本語化がまったくされておらず、詳しい人に聞いたら、
「翻訳してはならない」と聞かされて唖然としたよw
今では、遠い昔の話だが。
- 434 ：デフォルトの名無しさん：2016/04/06(水) 23:25:48.22 ID:WLNAeUhL.net
- やっと関数の外側をパースできたわ
- 435 ：デフォルトの名無しさん：2016/04/09(土) 04:04:13.10 ID:NXdWBRID.net
- 「豊富なライブラリやツール群を用意した、高額のコンパイラ」と、
「格安のコンパイラだが、別売オプションのライブラリも用意しないと、
たいしたソフトは作れない」ものでは、商売上、どちらが賢いだろうか?
- 436 ：デフォルトの名無しさん：2016/04/09(土) 04:51:56.27 ID:u1ofpue+.net
- どっちも無理
- 437 ：デフォルトの名無しさん：2016/04/09(土) 07:04:44.02 ID:FoBfIIvs.net
- 頭いい大学行くとコンパイラ理論とか習えたのかな？
独学してるけどさ、あらゆる犠牲を払わなきゃ理解、応用するまでいかなくない？
- 438 ：デフォルトの名無しさん：2016/04/09(土) 09:51:43.80 ID:VHmuSaPj.net
- 京大はCコンパイラを全員に書かせるって聞いた
- 439 ：デフォルトの名無しさん：2016/04/09(土) 10:55:12.53 ID:yIzAT5uL.net
- コンパイラを自作するのは意味があるけど
Cが引きずるクソ設計を知ったら二度とC/C++をつかわなくなるはず
- 440 ：デフォルトの名無しさん：2016/04/09(土) 16:46:46.79 ID:NknyIt7s.net
- PascalのコードをCのコードに変換するプログラムを作れとかいう
何も考えずに出題されたとしか考えられない課題にはマジで困った
まず、関数内関数とかCに無いですしお寿司
適当な名前付けてグローバルに放り出すとしても
それだけではローカル変数のキャプチャが出来ないから
どうすんだこれ？って感じで、まぁ引数で渡すしかないんだけど
課題提出までの時間も全然足りてないし、誰も出来なかった
- 441 ：デフォルトの名無しさん：2016/04/09(土) 17:17:55.52 ID:yIzAT5uL.net
- >>440
しかるべきところにぶち上げて資質を問うべき
- 442 ：デフォルトの名無しさん：2016/04/09(土) 17:43:08.14 ID:YNau7unG.net
- ローカル変数は参照渡しすればいいだけじゃね？
- 443 ：デフォルトの名無しさん：2016/04/09(土) 21:34:08.79 ID:YC7vrxdl.net
- >>440
要するに p2c 作れってことだろ
パクれとは言わんけどコード参考にすればいいだけ
- 444 ：デフォルトの名無しさん：2016/04/10(日) 02:18:39.46 ID:tVvAXki7.net
- >>440
それ何日でやれと言われたんだ？ 不可能では無いけど課題と言うにはレベル高すぎてビックリ
- 445 ：デフォルトの名無しさん：2016/04/10(日) 03:55:26.52 ID:DcOaBboz.net
- 昔の事でよく覚えてないが、一か月ぐらいじゃなかったかね、良くわからんが
笑えるのが、そのソフトを作ること自体は前座でしかなく
その後、作ったソフトを持ち寄って、レビューか何かをするのが本題の講義であって
ソフトは皆で議論をする上での、ほんの話題のための「種」にすぎないってのがね
よくあるじゃない、プロジェクトマネンジメントとかコードレビューとかの
ちょっと実際のプロジェクトを模範した感じの、実戦風のワイワイガヤガヤ系の講義
あんな感じのやつだった
これがコンパイラの講義の課題ならまだわかるんだけどねぇ
どちらにせよ、プログラミング覚えたての学部生には酷な課題
二年生でC習って、三年生でいきなりこれ作れって、そりゃ無理ですって
普通にPascalのインタプリタ作るのだって、実力的にまだ厳しいのに
そこからさらにCに変換しろだなんて
いくつかのチームに分かれていて、チームごとに与えられる課題は違っていたんだけど
俺は最も簡単な課題が当たったから何でもなかったけど
- 446 ：デフォルトの名無しさん：2016/04/10(日) 09:23:24.83 ID:fTRAmtFw.net
- 関数内関数ってトランスレーター的には別に難しくないだろ
3日もあればできるんじゃね
- 447 ：デフォルトの名無しさん：2016/04/10(日) 09:34:58.78 ID:372ncJJS.net
- >>440 > マジで困った
>>445 > 何でもなかったけど
痴呆症乙
- 448 ：デフォルトの名無しさん：2016/04/10(日) 10:26:51.59 ID:hSypwT6Y.net
- 誰も提出できなかったけど本題じゃないから授業は進んだってことだろ
- 449 ：デフォルトの名無しさん：2016/04/10(日) 11:06:35.40 ID:jQD3kWDp.net
- ただのホラフキ―じゃん
- 450 ：デフォルトの名無しさん：2016/04/11(月) 11:50:30.22 ID:3nONGRtl.net
- 大昔のMacはpascalでの開発を前提にしていたからな。
(Macツールボックスは、Pascalで呼び出しを前提にしていた)
途中からはCやC++用にツールは変貌していったが。
- 451 ：デフォルトの名無しさん：2016/04/11(月) 17:10:55.05 ID:suuESVM3.net
- >>450
なつかしすぎるなぁ、light speed Cとか買ったとき「ああ、これでCで書ける」などと感動したわ
- 452 ：デフォルトの名無しさん：2016/04/11(月) 18:25:37.58 ID:8c5Uimxv.net
- C言語より動的型付け言語の方が先に広まってたって意外だなあ
- 453 ：デフォルトの名無しさん：2016/04/12(火) 02:21:49.83 ID:0eQ6kuw9.net
- AppleのMPW。あるいはハイパーカード。
Think Cや、Code Warriorなど、一時は、Macで夢のようなソフト作りに
あこがれた時期もあった。でも、遠い昔の話だ。
- 454 ：デフォルトの名無しさん：2016/04/12(火) 09:22:22.73 ID:Pd8H+utR.net
- 静的型付けのほうが高度なんだよ
- 455 ：デフォルトの名無しさん：2016/04/13(水) 01:10:21.79 ID:inw4nZY2.net
- 俺もアセンブラ→静的型→動的型の順で作られてきたと思ってたけど
ジョブスの伝記漫画でウォズがアセンブラでBasic作る話があったような気がする
- 456 ：デフォルトの名無しさん：2016/04/13(水) 01:14:40.21 ID:rXMD6+sH.net
- 基本文字列だけでいいんだよ
型なんて文字列をどう解釈するかの話だよ
- 457 ：デフォルトの名無しさん：2016/04/13(水) 01:23:46.16 ID:2h1lI58Z.net
- >>455
しらないのか？Microsoft
- 458 ：デフォルトの名無しさん：2016/04/13(水) 13:34:00.12 ID:a0UNLavD.net
- もっとも愛着のあるコンパイラは、Quick BASICだった。
遠い昔の話。でも、凄く使いやすかったんだよな。
- 459 ：デフォルトの名無しさん：2016/04/13(水) 17:57:30.26 ID:V3wVZgaP.net
- コンパイラの初心者本？
「Tiny BasicをCで書く」
出版社: ソシム (2016/4/22)
ISBN-10: 4802610203
ISBN-13: 978-4802610209
- 460 ：デフォルトの名無しさん：2016/04/14(木) 00:25:42.75 ID:Nyx2HJFW.net
- 関数の先頭にfunctionキーワードを付けるとして長すぎるから変えようと思うんだけど
doとかjobではおかしいかなあ？
- 461 ：デフォルトの名無しさん：2016/04/14(木) 01:10:11.46 ID:FsF2j7W4.net
- >>460
fnじゃだめなん？
Clojureだと(fn [arg] brabrabra)な感じ
- 462 ：デフォルトの名無しさん：2016/04/14(木) 01:29:14.13 ID:Nyx2HJFW.net
- >>461
rustのfunc, iface, modとかもそうだけど省略形はいまいちだなと思う
rubyにfor() do {}構文があるんだけど、それで関数やラムダ式の記号に
do良さげかなと思うんだけどどうかな？
- 463 ：Office & Gamers @ 試験運用中（トリなしｗ：2016/04/14(木) 02:42:08.95 ID:co1HctEv.net
- コンパイラの醍醐味は式の展開だから、ここを自分で書ければあとはそれほど難しくないｗ
- 464 ：デフォルトの名無しさん：2016/04/14(木) 08:30:10.02 ID:BY7gxQ6D.net
- define ならわかるが do はないだろう
- 465 ：デフォルトの名無しさん：2016/04/14(木) 09:12:23.12 ID:d9D6y2bX.net
- dogazer
- 466 ：デフォルトの名無しさん：2016/04/14(木) 09:35:38.15 ID:HeHUqy+f.net
- 関数も変数もletで
- 467 ：デフォルトの名無しさん：2016/04/14(木) 12:27:04.84 ID:kJxBjGsl.net
- 予約語テーブルに何を入れるかが難しい。
何でも詰め込みすぎると、肥大化しすぎたC++になってしまうし。
- 468 ：デフォルトの名無しさん：2016/04/14(木) 18:04:51.72 ID:FsF2j7W4.net
- >>462
そうかなぁ？
一般名詞や動詞とかぶりそうも無い省略形ってコンピュータ言語には向いているとおもうのだ。
defunとかdefnとか
無名関数作るのにはUnicode圏が一般化した今ならλ一文字とか
- 469 ：デフォルトの名無しさん：2016/04/14(木) 20:06:31.03 ID:VC8/A0Ig.net
- 略語もセンスがいるよな
ところで、defunって何の略？
どうでも良いけどλなんか変換しなきゃ出てこないし入力速度最悪だな
- 470 ：デフォルトの名無しさん：2016/04/14(木) 20:21:19.82 ID:gC/abIq/.net
- >>469
> defunって何の略？
DEfine FUNction じゃね？
- 471 ：デフォルトの名無しさん：2016/04/14(木) 20:43:14.68 ID:FsF2j7W4.net
- >>469
>>470氏が書いているけどdefine functionの略だよ、common lispとかemacs lispとかでつかわれてる
λ自体は”lambda”をテキストエディタ側で差し替えるとか一文字入力のマクロをバインドすればいいだけだと思うのだよね(IDE作り込みの一環)
どっちかっつーとワタシの一押しは関数定義の宣言句に省略形を許せば良くない？ってだけなのでスレ違いではある。
- 472 ：デフォルトの名無しさん：2016/04/17(日) 00:39:50.58 ID:SCILLDG5.net
- letはconstの代わりに使う言語があるね
関数宣言にdoがないとなると色々と候補に悩んでしまうぜ
job, fun, flow, verb, work, act(action)
- 473 ：デフォルトの名無しさん：2016/04/17(日) 01:15:23.96 ID:iuB497/s.net
- >>472
再代入を許さない言語だとletがconstと等価になるからじゃないのかな？
>>460
関数宣言がfunction hoge(args)と言う形をとる事をやめて予約語(function)無しでも可能な感じはしないでもないのだけど文法に制限って起きうるかな？
(Return型) function-name(Args....)
とか
function-name(Args):Return-Type
前者はCだし、後者はJScriptの宣言形式だけど、これじゃイヤな理由も思いつかない。
グローバル変数の定義とか外部変数定義とかのvar,static,externやら名前空間のnamespaceとかpackageとかimport等の特殊な予約語彙だけ文の開始から除外すれば後者の方法で関数は定義できると思うのだけど。
- 474 ：デフォルトの名無しさん：2016/04/17(日) 03:41:30.77 ID:SCILLDG5.net
- >>473
＞予約語なくせば？
変数宣言でも関数宣言でも先頭に予約語が付いてIDEが色つけてくれた方が見やすいじゃない？
もしくは関数宣言をすべて関数ポインタ（クロージャ？）のみにして、変数化してしまうか？
var function-name = ->(args...){ ... }
- 475 ：デフォルトの名無しさん：2016/04/17(日) 16:43:33.52 ID:3szJoJiC.net
- 基本的に、普通のブロックと、関数(クロージャ)との、区別をどうするかという問題が有るからね
普通のブロックは大体{ something }こんな感じだろうけど、これは呼び出しなしで即座に実行するのが普通
一方でクロージャは呼び出さない限りは実行されない
関数やクロージャなどを引数に取る関数が有ったとして
func_name( { something } );
こんな感じに呼び出した場合、{ something }を実行した結果を関数に渡すのか
{ something }その物を関数に渡すのか、コンパイラはよくわからない
func_nameの呼び出し引数の型がクロージャであることをコンパイラが分かっていたとしても
{ something }を実行した結果がクロージャになり、それを関数に渡すという可能性もあるのでコンパイラは判断できない
そのため、明確にするためにfunc_name( function{ something } );のように
何か普通のブロックとクロージャを区別する文法が要るのだね
そうこうしていると、Javascriptが出来上がる
- 476 ：デフォルトの名無しさん：2016/04/17(日) 17:47:06.17 ID:SCILLDG5.net
- 結局function代替ワードが必要だと気付く
ラムダ記号=>だと引数に使うときダサイもんね
- 477 ：デフォルトの名無しさん：2016/04/18(月) 12:27:13.85 ID:keXFBRJQ.net
- 新しいコンパイラを使うとき、「特有のクセのある」
のがグラフィック関数なんだよな。
個人的には、グラフィック関数も、ANSIで定めて欲しいくらい。
- 478 ：デフォルトの名無しさん：2016/04/18(月) 13:16:18.87 ID:pknZG/q+.net
- グラフィックなぁ
b800:0000らへんを好き勝手に弄らせてくれるなら歓迎するのだわ # ネタが古いか
- 479 ：デフォルトの名無しさん：2016/04/19(火) 13:33:12.70 ID:6Wh9TF6d.net
- 8色でいいんか？
- 480 ：デフォルトの名無しさん：2016/04/20(水) 02:49:26.81 ID:dZcIDvSg.net
- 最近はいじっていないので、最新のツールはよくわからんが、
昔のツールでは、RGBの三原色を元に、すべてのグラフィックを
再現していたからなあ。今考えると、ずいぶん、原始的だった。
- 481 ：デフォルトの名無しさん：2016/04/20(水) 05:43:15.95 ID:wqKcWsga.net
- >>480
最新をよくわかってないのによく原始的だと解るね？
- 482 ：デフォルトの名無しさん：2016/04/20(水) 06:55:13.29 ID:XnBYIzBk.net
- シマノのギアの仕組みをよくわかってない俺にもギアのないママチャリは原始的だと思う
- 483 ：デフォルトの名無しさん：2016/04/20(水) 07:16:40.91 ID:wqKcWsga.net
- 自転車に例えるなら車輪を回転させて走らせるのは原始的だったなぁって言ってるのが >>480 なんだけどね
- 484 ：デフォルトの名無しさん：2016/04/20(水) 07:52:09.40 ID:UfNx2Znx.net
- えっ今もRGBじゃないの？
- 485 ：デフォルトの名無しさん：2016/04/20(水) 08:22:02.22 ID:r07pzD8i.net
- >>483
それはお前が勝手にそう思ってるだけ
ギア付きのチャリより直結のチャリの方がより原始的なのはわかるだろ？
- 486 ：デフォルトの名無しさん：2016/04/20(水) 08:29:41.63 ID:r07pzD8i.net
- >>484
ツールって言うのか何を示すのか、グラフィックっと言うものの範囲にもよる
ディスプレイ表示機構に限定すれば RGB 以外のは見たことない
グラフィックツールの話なら HSB とかの他のカラーモデルを扱えるものはあるし、プリンタは CMYK だし
そもそもこのスレで長々引っ張る話でもないし
- 487 ：デフォルトの名無しさん：2016/04/20(水) 09:12:43.14 ID:UfNx2Znx.net
- CMYKなんて大昔からあった
- 488 ：デフォルトの名無しさん：2016/04/20(水) 10:07:43.41 ID:wqKcWsga.net
- >>485
RGBっていうコンピューターグラフィックス上で今でも最も基本的な部分を指して原始的って言ってるからギア云々は的外れって言ってんの
- 489 ：デフォルトの名無しさん：2016/04/20(水) 11:06:43.66 ID:fkY4xDrs.net
- グラフィック関数ってOpenGLとかそういうはなしじゃないのか・・・
- 490 ：デフォルトの名無しさん：2016/04/20(水) 12:29:24.43 ID:r07pzD8i.net
- >>488
だからそれってお前のちんけな知識で語ってるだけだろ w
どういう風に対応付けるかなんて色々あるのに知識のない奴ってそれしか思い付かないから自分の考えが一番って思ってるんだよな
- 491 ：デフォルトの名無しさん：2016/04/20(水) 14:01:09.01 ID:ljSF0mgB.net
- おまえのことか
- 492 ：デフォルトの名無しさん：2016/04/20(水) 15:33:41.96 ID:9SnFE2FG.net
- 例えが悪いって言ってんのにどういう風に対応付けするかは色々って何言ってるのか解りませんわ。
- 493 ：デフォルトの名無しさん：2016/04/20(水) 19:30:01.52 ID:r07pzD8i.net
- >>492
> 例えが悪いって言ってんの
お前かそう思ってるだけ
って何回言えば理解するんだ？
- 494 ：デフォルトの名無しさん：2016/04/20(水) 20:27:51.87 ID:ljSF0mgB.net
- いや、お前こそが、そう思っているだけだろ
車輪の話は分かりやすかった
- 495 ：デフォルトの名無しさん：2016/04/20(水) 22:17:47.57 ID:iD79AHEd.net
- どっちもどっち
下らんことでお山の大将になりたがるなよ
- 496 ：デフォルトの名無しさん：2016/04/21(木) 01:56:58.28 ID:q7849b+A.net
- 変な所を指摘したらお山の大将になりたがる猿呼ばわりか、めんどくせえスレだな
- 497 ：デフォルトの名無しさん：2016/04/21(木) 02:20:43.14 ID:mxlfT2Ft.net
- スレ違いだから首釣って死ねって事だ
言わせんな
- 498 ：デフォルトの名無しさん：2016/04/21(木) 12:57:39.05 ID:DAo9Zovx.net
- エプソンのプリンターも当然、CMYKだが、
「純正を使わないと、すぐに故障する」
ような構造にしてあったよな？
あれはハードの構造でそうしているのか。コードにも、純正な否かを
判断する部分を盛り込んでいるのかどうか。
- 499 ：デフォルトの名無しさん：2016/04/21(木) 19:57:24.72 ID:T4pmkcSw.net
- エプソンに限らずプリンターは色の三原色持ってるのが当たり前
- 500 ：デフォルトの名無しさん：2016/04/22(金) 00:36:11.07 ID:2IHAQJXj.net
- 純正インク以外で壊れやすくなるのは単に質が悪いから
プリンター本体は採算度外視でインクで儲けるビジネスモデルだったのに本体壊したら元も子もない
- 501 ：デフォルトの名無しさん：2016/04/22(金) 12:06:11.49 ID:300wiAoM.net
- プリンター本体も、五年もたって故障すれば、部品製造打ち切りで
修理不能で買わざるを得ないからな。キャノンはどうか知らんが、
エプソンはそうだった。とかいって、うちの勤め先の規模では、
プリンター市場に参入出来る資金力などない。
せいぜい、大手からおこぼれで仕事をもらい、コードをいじくるしか出来ない。
- 502 ：デフォルトの名無しさん：2016/04/22(金) 18:41:13.87 ID:U46HjcWC.net
- ずいぶん横道にそれているが、おまえらスクリプトつくってるのか？
- 503 ：デフォルトの名無しさん：2016/04/22(金) 20:38:22.94 ID:TT82zXSl.net
- >>496
指摘が的はずれって言われてるんだろ
- 504 ：デフォルトの名無しさん：2016/04/22(金) 20:39:29.07 ID:FoP6yTJa.net
- 誰がもこみちにそれているねん！！
(´・ω・｀)ｂ
- 505 ：デフォルトの名無しさん：2016/04/22(金) 20:40:58.67 ID:FoP6yTJa.net
- >>502
スクリプト言語を利用してスクリプトを作っているという意味か?
それとも自分でスクリプト言語の仕様決めて実装設計しているということか？
- 506 ：デフォルトの名無しさん：2016/04/22(金) 21:49:45.09 ID:cAq2nbH2.net
- スレタイ嫁
- 507 ：デフォルトの名無しさん：2016/04/22(金) 23:35:58.89 ID:Eun++jyx.net
- >>505
後者の実装にスクリプト言語使っても問題はないんじゃなかろうか？
- 508 ：デフォルトの名無しさん：2016/04/23(土) 07:12:36.15 ID:FJYQwL85.net
- ここで産まれたスクリプトあんの？
- 509 ：デフォルトの名無しさん：2016/04/23(土) 12:40:11.44 ID:OaaA/Nov.net
- 秀丸は、スクリプトを自作するときの参考になるのかね?
一応、役に立ったことは事実だが。
- 510 ：デフォルトの名無しさん：2016/04/23(土) 18:35:58.00 ID:vG+aKQwy.net
- 禿丸エディタを何の参考にする気だ
- 511 ：デフォルトの名無しさん：2016/04/24(日) 00:18:07.79 ID:dKv+k22E.net
- 秀丸は、「作業の自動化スクリプト」を書くのに便利だからな。
その仕様を元にすれば、スクリプトを自作するのに役に立つのではないかと
思ったのだが。
- 512 ：デフォルトの名無しさん：2016/04/24(日) 01:48:37.36 ID:M7ZCbRga.net
- 「作業の自動化スクリプト」専用のスクリプトならgradleあたりが参考に良さそうだな
ちなみに俺はantは好きだけどmavenは大嫌い
- 513 ：デフォルトの名無しさん：2016/04/25(月) 02:57:23.38 ID:ouB2BnTZ.net
- まあ秀丸はテキスト処理に特化した
自動化スクリプトの参考にはなるかもね
あれはスクリプトっていうよりマクロだけど
- 514 ：デフォルトの名無しさん：2016/04/25(月) 10:50:38.19 ID:9hQeUDgV.net
- しかし秀丸には、CやWindows APIの命令が、多数というか、
かなり含まれている感じだが。
- 515 ：デフォルトの名無しさん：2016/04/25(月) 17:05:01.77 ID:lstHaTya.net
- だからなんだよって感じだが。
- 516 ：デフォルトの名無しさん：2016/04/25(月) 17:27:42.97 ID:ouB2BnTZ.net
- そのまま車輪の再発明をしてしまうと
元の秀丸を使った方が便利だから
自作スクリプトを秀丸と差別化する必要はある
- 517 ：デフォルトの名無しさん：2016/04/26(火) 03:16:17.88 ID:r83feNEN.net
- そうか。秀丸に存在しない命令を考えなければならないな。
- 518 ：デフォルトの名無しさん：2016/04/27(水) 00:31:37.93 ID:Toh8P/+A.net
- 相変わらず手書きパーサー書いてるが、できるだけ1発でパースしつつ（LR法？）
外側から順に何度も段階分けながらパースする（LL法？）なコードも混じってる…
意味解析までたどり着くまでで力尽きそうｗ
- 519 ：デフォルトの名無しさん：2016/04/27(水) 06:02:05.40 ID:vmi3tpS2.net
- よほどの理由がないなら手書きなんかやめといた方が
Bison GLR 使ってた時は不自由さがなくてよかった
semantic predicate 機能は成熟しただろうか
- 520 ：デフォルトの名無しさん：2016/04/27(水) 07:02:50.92 ID:h/kgFFlp.net
- 趣味でやってるんだろ
ほっといてやれや
- 521 ：デフォルトの名無しさん：2016/04/27(水) 11:26:55.96 ID:9/2UzNftp
- 手書きは面倒だけど柔軟性あるし速いので、有名な言語でも採用してる所は多い気がする。
- 522 ：デフォルトの名無しさん：2016/04/27(水) 23:38:58.25 ID:Toh8P/+A.net
- 手書きパーサー製作も残すは四則演算＆関数呼び出しとなったが
ツリーの形状はこんな感じで良いのだろうか？
https://pastebin.mozilla.org/8868990
>>519
本よむところから始めるのはしんどいのでな・・・
- 523 ：デフォルトの名無しさん：2016/04/28(木) 00:23:38.80 ID:mWNt94gr.net
- 関数呼び出しだとこれでいけそう
https://pastebin.mozilla.org/8868995
小さな計算でもツリーが深くなってnew()するノードの数がもりもり増えるけど
何かもっと良い方法あったら教えてちょ
- 524 ：デフォルトの名無しさん：2016/04/28(木) 12:59:47.77 ID:Jc879At1.net
- 手書きパーサなら
木構造にせずに操車場アルゴリズムかその亜種でLL(1)するのも手だぞ。
文法と文をそれぞれ入力したらテーブル作ってLR(1)するクラスを作るって手もあるけど
大真面目に書いてc++で500行～1000行くらいにはなったと思う。
- 525 ：デフォルトの名無しさん：2016/04/28(木) 14:16:09.66 ID:7cooGRk/.net
- lexとyaccは、既存のものを使うべきか、自作すべきか、悩ましいね。
- 526 ：デフォルトの名無しさん：2016/04/28(木) 15:44:59.86 ID:Jc879At1.net
- yaccは、やる気と暇があるなら
どういう文法なら曖昧性が無いか、とか、shift/reduce conflictとdangling elseとは何か、とか
いろんな事についてよく理解できるようになるって点で一度試しに書いてみる事をお勧めしたい
今までに俺が余暇でC実装した名の付いたアルゴリズムの内だとかなり難しい部類に入るけどな。
lexは文法全く固まってないなら使ったらどう？って程度じゃない？
割と簡単に使えるけど、同じくらいとは言わないものの簡単に自作できるし
ASCII範囲の文字は簡単に指定できるけどUnicodeなんかに対応する為にカスタムコードを挟むなら普通に全部組んだほうが楽な事もあるし。
- 527 ：デフォルトの名無しさん：2016/04/28(木) 15:46:10.30 ID:Jc879At1.net
- 個人的にはPEGが気になるのですよー
- 528 ：デフォルトの名無しさん：2016/04/28(木) 18:30:43.97 ID:FI1Tv7gT.net
- コンパイラを作るはずがコンパイラジェネレーター作りがメインになってしまう不思議
- 529 ：デフォルトの名無しさん：2016/04/28(木) 18:36:57.28 ID:Jc879At1.net
- そして思うのだ
コンパイラジェネレータを書くのに向いてる言語とは・・・・・・
- 530 ：デフォルトの名無しさん：2016/04/28(木) 22:17:59.57 ID:mWNt94gr.net
- >>524
そうだな。ここだけツリーにしないで、再帰関数で直接出力すれば良さそうだ
- 531 ：デフォルトの名無しさん：2016/04/29(金) 05:30:33.58 ID:o23yQzXI.net
- バイトコードのテキストを読み込んだら
バイトコードの1行と対の関係になる命令ノードを
行数だけ配列にして上から順に実行するイメージであってる？
なんか構文木のまま実行するのと大して変わらない気がするけど
メモリの節約とかどうなんだろう
- 532 ：デフォルトの名無しさん：2016/04/29(金) 10:04:10.82 ID:GdtJdaFL.net
- バイトコードのテキストってのが若干意味不明だが
バイトコードならアセンブル(バイナリ化)しておかないか普通
a = b + c * d
を二分木のASTで
(st (ldptr local[0]) (add (ld local[1]) (mul (ld local[2]) (ld local[3]))))
みたいに格納して、ポインタ1つあたり64 bits、ノード構造体のサイズが24 bytesと仮定して
glibc mallocを使うことを仮定して全部で32 bytes * 7 = 224 bytesのヒープを消費する。
一方でレジスタ型VMを仮定して、簡単の為に1命令32 bits固定長とすると、例えば
ldptr r0, local[0] / ld r1, local[1] / ld r2, local[2] / ld r3, local[3] /
mul r4, r2, r3 / add r5, r1, r4 / st r0, r5
の7命令で与式が表現できるから、
配列の中身の長さが2^nに拡大されて予約される事を仮定すると4 bytes * 8 = 32 bytes
これに配列の管理領域が2ワード16 bytes、
glibc mallocを使うことを仮定すると2箇所の領域の管理で2ワード16 bytes必要で
合計で64 bytesのヒープを消費する。
ただ、配列には配列の問題点と言うかでっかい領域を再確保するのが難しい事があるから
文単位ではリストや木を、式単位では配列を使うってのがインタプリタとしては良いんじゃないかなとは思う。
- 533 ：デフォルトの名無しさん：2016/04/29(金) 13:14:44.61 ID:mG1yRheY.net
- コンパイラ作りって、インタプリタよりも、10倍の労力がかかるよな。
- 534 ：デフォルトの名無しさん：2016/04/29(金) 15:48:32.50 ID:qwAEwLKu.net
- この辺はlispやschemeで思索しながらやると楽なんだよ
- 535 ：デフォルトの名無しさん：2016/04/29(金) 17:57:56.98 ID:ZvoRtCQG.net
- コード生成の方は関数型の基礎だけでもやってないとかえって遠回りに
- 536 ：デフォルトの名無しさん：2016/04/29(金) 20:10:00.50 ID:YATvpu7C.net
- >>534
最終的になんで苦労してまで構文木をSchemeで生成するんだろう？っておもって結局そのままLispのMacroに化けるのである(割とマジで)
Lisperが他の言語取得者のタメにDSLを組むことはあってもLisperはLispのママ扱う方がよかったりするのよね。
- 537 ：デフォルトの名無しさん：2016/04/29(金) 21:15:38.47 ID:o23yQzXI.net
- >>532
ありがたい。メモリが4倍くらい節約できるのね
もしかしたら構文木のまま動かした方が動的ロードで
面白いことが簡単に実現できるんじゃないかと迷ってたけど(evalとか)
パフォーマンスではバイトコードがかなり強力なのね
- 538 ：デフォルトの名無しさん：2016/04/29(金) 23:41:20.66 ID:o23yQzXI.net
- >>532
＞バイトコードならアセンブル(バイナリ化)しておかないか普通
たしかに普通は読み込み速度的にバイナリデータが望ましいのだけど、
手さぐりで試作するからメモ帳で読み書きできるテキスト形式でやってみるんだ
- 539 ：デフォルトの名無しさん：2016/04/30(土) 01:17:44.44 ID:oV2mml7H.net
- lispインタプリタって一番簡単な実装(pure lisp?)だと何行くらいで実装できる？
- 540 ：デフォルトの名無しさん：2016/04/30(土) 07:15:19.54 ID:wSqWni75.net
- >>539
基本関数だけならものすごい小さいよ
Lispが生まれた時代のマシンのメモリ量なんてアドレスのビット数が16以下だし。
- 541 ：デフォルトの名無しさん：2016/04/30(土) 10:02:54.88 ID:oKKjAnDv.net
- >>539
何で実装するかにも依る
swiftやrubyだと100行オーダーで書けるらしい
http://xavier.hateblo.jp/entry/2014/08/19/003609
C実装だと2000行くらいみたい
https://github.com/kototama/kml
- 542 ：デフォルトの名無しさん：2016/04/30(土) 16:03:06.15 ID:ASEjigO2.net
- 行というかWin32で20KByteコアのそこそこ速いScheme処理系はCで作ったな
何行だったかは忘れたが数千行にはなる
ライブラリやフレームワークにどこまで対応するかだと毎回思う
- 543 ：デフォルトの名無しさん：2016/04/30(土) 17:51:48.40 ID:iJVuG7iJ.net
- 自作コンパイラでソフト作ろうとすると、やたらコアを吐くことに...。
- 544 ：デフォルトの名無しさん：2016/04/30(土) 19:28:20.97 ID:wSqWni75.net
- >>543
selfビルド可能になれば普通じゃ無いの？>>core吐かせてバイナリ生成
- 545 ：デフォルトの名無しさん：2016/05/01(日) 13:17:14.33 ID:tKi6j9CT.net
- 匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？
Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ
The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
８
- 546 ：デフォルトの名無しさん：2016/05/01(日) 17:25:31.50 ID:EieRhQfe.net
- スレ違いだから他所でやって
- 547 ：デフォルトの名無しさん：2016/05/01(日) 21:43:24.13 ID:EieRhQfe.net
- バイトコードのはずだったのに気づいたら
関数オブジェクトのツリーを作ってた
なにやってんだ俺・・・
- 548 ：デフォルトの名無しさん：2016/05/03(火) 02:36:10.72 ID:sSslXsw5.net
- 自作ソフトの暴走はたまにあるが、自作コンパイラの暴走はヤバイよな。
それで別のソフトを作成した日には、最悪の結果が待つことに...。
- 549 ：デフォルトの名無しさん：2016/05/04(水) 02:55:51.64 ID:ug5Kipfy.net
- function(機能)はrole(役割)にしよう
flowとかprocと悩んだがroleが一番良いと思う
- 550 ：デフォルトの名無しさん：2016/05/04(水) 03:53:55.73 ID:INW31x/s.net
- 昔のC言語みたいに、floatとdoubleに分けるメリットは、
今の時代にはないよな?
- 551 ：デフォルトの名無しさん：2016/05/04(水) 03:59:22.27 ID:NIqCX6OH.net
- むしろ half の出番さえ出てきてる時代。
- 552 ：デフォルトの名無しさん：2016/05/04(水) 10:09:50.25 ID:wjUC1pj0.net
- 役割っていうのは受動的な考え方であり縦割り行政的でありfunctionの適切な代替表現ではない
roleは与えられた仕事をただこなすだけというイメージ
このとき、与えられる対象、つまりデータやオブジェクトがあり
担当個所をroleするという感じ
role ≒ class であり、role ≠ function
何にも縛られず自由なfunctionとroleでは思想が違う
functionは立場や部署間を飛び越えて連携して機能するイメージ
胸熱であり、自分の仕事をこなすだけのroleなどと一緒にされては困る
function( a, b, c, d );
a.role( b, c, d );
- 553 ：デフォルトの名無しさん：2016/05/04(水) 10:16:54.82 ID:wjUC1pj0.net
- 例えば、日本は縦割り行政的であり、役人的であると言われ(role)
一方で、アメリカは横のつながりが強く、機能的だと言われる(function)
このように、機能と役割は対立する概念として扱われている言葉であり、思想が違う
日本の映画やドラマなんかでよく
「それは自分の仕事じゃないのでやりません」とか
逆に「自分たちの管轄だから余所者は入ってくるな」とか
役割的発想は悪いことのように扱われるのが常
逆に主人公たちは部署間を飛び越えて機能的に行動すると決まっている
- 554 ：デフォルトの名無しさん：2016/05/04(水) 12:07:39.94 ID:p+LvbHBp.net
- もうちょっとプログラマ的喩えにしようぜ。
procedure=大域環境に対して参照と破壊をするもの
function=環境を参照せず、戻り値は引数にのみ依存するもの
closure=固有の環境を持ち、その環境に対して参照と破壊をするもの
どれも意味が違う。
functionとroleはクラスとインスタンスくらい意味が違うと思う。
- 555 ：デフォルトの名無しさん：2016/05/04(水) 23:28:44.89 ID:wjUC1pj0.net
- 歯車でいえば
複数の歯車が上手く連携して動いている様を機能していると言うし
個々の歯車に着目してそれぞれが自分の仕事をしている様を役割をこなしているという
手続き的に時系列に沿って考えると
個々が役割を果たした結果、全体として機能がもたらされて、また別の大きな役割を担う・・・という風に
卵が先か鶏が先か、みたいなところがあって、双方の視点はどちらも重要で
同時に扱ていかなければならないわけだけど
区別して扱われる別の視点であり、function = roleとしてしまうのは単純にセンスないというか早合点
functionとroleの考え方の微妙な違いは非常に重要で
最初の出発点が違うことで資本主義と社会主義など、時としては戦争が起こる場合もある
(つまりは、資本主義と社会主義は鶏が先か卵が先か、functionが先かroleがという思想の違い
functionはまさに空気のようなもので、人と人をつないで機能させるお金を重視している
roleはまさに人そのもの、その役割に主体を置いている)
functionをroleと言ってしまうのは教養がないと言われても仕方がない
自分の思考が今何に着目していて何を考えているか把握しておかないと大変なことになる
頭がよくなりたければ囲碁が良い
囲碁は碁石そのものにも着目しなければならないし、碁石と碁石の境界にも着目しなければならない
それぞれで見え方が全く変わってくるし、同時に考えなければならない
頭の体操に良い
「物」と「事」は別のものだけど、「物事」という言葉があるように同時に考えなければならないこともしばしば
- 556 ：デフォルトの名無しさん：2016/05/04(水) 23:40:58.82 ID:ug5Kipfy.net
- 関数ってそんなに抽象的な意味を持ってたのか
インプット＆アウトプット、リクエスト＆レスポンスの手続きくらいに見てたよ
- 557 ：デフォルトの名無しさん：2016/05/05(木) 00:33:21.20 ID:dh4q1EnN.net
- 関数は二者以上の関係を表しており、二者以上の関係性が何か機能をもたらす
というより、逆算して、機能をもたらせるように、二者以上の関係性を作るのがエンジニアの仕事
だから関数もfunctionだし、機能もfunctionという
電子部品だって、回路を組んで組み合わせなければ機能しない
「関」という字が示すように、関係性は何事においても常に重要で
数学や物理はすべて関係性を数式で表すことで成り立っている
「1」という数字が何か意味を持っているというよりは、「1」と他の数字との関係性が「1」自身の立場や性質を決めている
関係性は非常に高等で、目に見えないものであるが故、尊いものとされている
というのも物事の関係性を紐解いたり、逆に利用できたり、機能的に考えることができる人は
当然、役割的思考も出来るものとされているから
役割的発想は馬鹿にでもできる
アメリカが赤のことを悪とするのもこのためで、そいうった悪の思想から自分たちを守るために
右翼の人たちは「保守」と呼ばれる
赤の思想のほうが理解しやすく馬鹿でも少年でもわかり
簡単で広まりやすいので、自分たちの尊い考え方や社会を
守らなければ、占領されてしまうという恐怖感からある種過剰な防衛をしている
年を取れば自然と物事の関係性の重要さに気付くものだから基本保守になる
そういったことを一通り分かったうえであえて福祉にも力を入れるというのが今の先進国のあり方
順番を誤ってはいけない
会社でいえば自分の役割しかしない人は指示待ち人間といわれ歓迎されない
一方で機能的に考える人は他者とのコミュニケーションを図り、関係を大事にし、目的を達成する努力をする
両方の考え方ができる人は機能的発想に加えて他者への配慮もするし、リーダー的
何事も一つの思想だけでどうにかしようとしないほうが良い
例えば「1」をオブジェクトとしてとらえるという、某言語のような考え方は全くする必要ない
数学の「1」にそのような意味はないし、全てをオブジェクトとして再認識して再構築する必要はなく
マルチパラダイム言語で良い
1+2は単に1と2を足すという解釈でよく、1に+2というメッセージをどうのこうのという意味不明な再解釈はいらない
考え方を統一しようとする必要はなく、そういった偏った思想をしても良いことはない
- 558 ：デフォルトの名無しさん：2016/05/05(木) 01:08:08.43 ID:dh4q1EnN.net
- アメリカは自由自由いつも言ってるが、いったい何に対しての自由なのか、
どこを目指しているのかというと
自分が生まれながら背負ったroleから自由である、ということ
この辺、人種差別の問題とか貧困の問題とかが出てくる
一方で、社会に対する自分の機能性のようなものは常に非常に重視される
要らなくなったらすぐに首を切られるし、厳しい
とにかく機能機能機能機能、個人に対して厳しい、機能性のない人はいりません
しかし、生まれ持ったroleからの自由はサポートしましょう
その意味で、移民は受け入れる、ただし機能性のある人だけ
- 559 ：デフォルトの名無しさん：2016/05/05(木) 01:19:48.20 ID:AqKMDGmp.net
- この長文君きもちわるい…
- 560 ：デフォルトの名無しさん：2016/05/05(木) 01:42:26.59 ID:3/paarxc.net
- >>554
ぼくの作ってるものは偽C言語でグローバル変数もあるから
定義的にはプロシージャが適切なんだろうな
それでロールについてはもう少し考えてみるつもりだけど、
malloc()そのものがfunctionとして、malloc()を何につかうのかがroleなのかな
けれど関数の多くはライブラリとかAPIではなく単なるサブルーチンのような気がして
サブルーチンはロールだとも思うのよね
- 561 ：デフォルトの名無しさん：2016/05/05(木) 02:12:56.28 ID:Jo4WiHb1.net
- 単に役割って意味なら、変数にだってそれぞれの役割があるよね。
- 562 ：デフォルトの名無しさん：2016/05/05(木) 05:12:54.36 ID:qzGbsflZ.net
- 相手するなよ...
- 563 ：デフォルトの名無しさん：2016/05/06(金) 09:34:30.45 ID:pdJO182a.net
- 最適化をサポートする機能を付けるのも、面倒だよね。
昔のVC++の売り文句が、「極限までの最適化」などとうたっていたが、
ビルドの時間も長すぎ、他の作業が中断...というオチ付きだったし。
- 564 ：デフォルトの名無しさん：2016/05/06(金) 09:52:38.91 ID:WbxBcPoP.net
- 神聖なるビルド専用マシンを他の作業に使うのがおかしい
現在だって動画のレンダリングする連中はそんな感じだろう
- 565 ：デフォルトの名無しさん：2016/05/06(金) 19:11:06.89 ID:5HLOeR1MW
- どこの解説サイト見ても構文木の枝は最大二本にしか分かれないだけど、
二本以上の枝で根や葉を管理しても問題ないよね？
こんな感じのデータ構造にしたいんだけど。
class ForStmtNode : Node { Node init, cond, inc, body; }
こうしちゃいけない理由でもあるのかな。
- 566 ：デフォルトの名無しさん：2016/05/07(土) 02:02:54.76 ID:lPvt8ROe.net
- ウチの勤め先には、ビルド専用マシンはなかったな。うらやましい。
- 567 ：デフォルトの名無しさん：2016/05/07(土) 12:49:01.06 ID:TEQEM2qu.net
- GoogleにはGOMAって名前のビルド専用クラスタ(2～300台くらい繋げた奴)があるってよ
- 568 ：デフォルトの名無しさん：2016/05/07(土) 14:21:44.92 ID:0EiVc3To.net
- そして各チームは一台でも多くのマシンリソースを確保するため
他チームの保有区域への侵略に明け暮れているという
- 569 ：デフォルトの名無しさん：2016/05/07(土) 18:52:54.52 ID:IlJOE3r59
- >>565
無いよー
でも、なんか勘違いしてる気がする
- 570 ：デフォルトの名無しさん：2016/05/07(土) 22:38:35.98 ID:hfPhBXdU5
- >>569
本当だ、これだと抽象構文木だね。
class ForStmtNode : Node { List<Node> children; }
とりあえずこれでいいってことだね。
- 571 ：デフォルトの名無しさん：2016/05/08(日) 10:02:36.39 ID:jHRrSElx.net
- >>567
クラウドサービス提供するぐらいだからマシンあまってんだろうなぁ
- 572 ：デフォルトの名無しさん：2016/05/08(日) 13:05:39.75 ID:EAH4Xwpx.net
- 俺の予想では、Googleやマイクロソフトに太刀打ちできるIT企業って、
日本国内にはないような気がする。
社員か誰かが遊び半分みたいな感じで作り上げた「Googleパックマン」
には、参ってしまったからな。あれは凄かった。
- 573 ：デフォルトの名無しさん：2016/05/08(日) 13:17:39.53 ID:EkxZMrhh.net
- >>572
日本どころか全世界でみてもAppleくらいしかいねぇよ
- 574 ：デフォルトの名無しさん：2016/05/08(日) 13:26:01.54 ID:cY3IZjLs.net
- DeNA/GREE ほほう
dwango なかなか
CookPad おもしろそうな
DMM 話じゃないか
- 575 ：デフォルトの名無しさん：2016/05/08(日) 13:27:27.42 ID:cY3IZjLs.net
- >>573
Amazon「…」
- 576 ：デフォルトの名無しさん：2016/05/08(日) 21:29:02.01 ID:mw6lNm2M.net
- 囲碁のSmart Go Formatというのをパースしたいのですが
読みやすいサンプルプログラムないですか。
- 577 ：デフォルトの名無しさん：2016/05/08(日) 22:54:46.20 ID:EkxZMrhh.net
- http://senseis.xmp.net/?SGFFile
- 578 ：デフォルトの名無しさん：2016/05/09(月) 00:01:18.08 ID:VGqIwUSF4
- 字句解析→構文木→抽象構文木
の順で解析することが多いと思うんだけど
字句解析→抽象構文木
の順でLexerからトークン読みながら一気にATS作るのってどうなのかな。
処理スピードやメモリ効率はかなり良くなる気がするんだけど。
- 579 ：572：2016/05/09(月) 19:17:09.28 ID:QYIZFGji.net
- ありがとうございます。
読んでみます。
- 580 ：572：2016/05/09(月) 20:40:18.09 ID:QYIZFGji.net
- RubyGemあんのか。
うまくいけば自分で書かなくてもイケるかも。
- 581 ：デフォルトの名無しさん：2016/05/10(火) 13:55:45.68 ID:aTks4HJk.net
- うちみたいに規模が小さいと、データセンターも活用するしか
手がないね。自前のデータセンターなど、夢のまた夢だ。
- 582 ：デフォルトの名無しさん：2016/05/13(金) 11:38:51.94 ID:6Wa+P3Ox.net
- ビルド専用マシンがあるなら、テスト専用マシンもないとおかしいよね。
共にあるのがソフトハウスの標準なの？
うちでは、とてもそこまでの予算をつけてもらえないのだが。
- 583 ：デフォルトの名無しさん：2016/05/14(土) 01:19:35.08 ID:spK37znF.net
- 投資に見合うリターンがあれば普通は投資するだろう。
- 584 ：デフォルトの名無しさん：2016/05/14(土) 02:25:57.07 ID:guvuQQ9l.net
- ビルド兼テストマシンなら普通にある
- 585 ：デフォルトの名無しさん：2016/05/14(土) 03:51:37.38 ID:9OGuGONK.net
- >>582
できたてほやほやの会社で開発が二人しか無い我が社なんかなんもないぞw
awsをスポットで借りると割と安いビルド環境作れるからそういうの使ってるけど。
- 586 ：デフォルトの名無しさん：2016/05/14(土) 10:30:08.43 ID:zu3iiide.net
- >>585
それじゃあ、資本金10万円の株式会社と、何ら変わらんだろww
- 587 ：デフォルトの名無しさん：2016/05/14(土) 21:33:12.49 ID:GqFlaCrO.net
- 客先常駐の偽装派遣か？
- 588 ：デフォルトの名無しさん：2016/05/16(月) 00:37:06.74 ID:HJQsGNoE.net
- DOS全盛の時代の時は、「遊び半分で、コンパクトなコンパイラでも
作ってみようかな」
という気も起きたが、これだけ複雑怪奇なWindows全盛時代となっては、
もう手軽に手を出せるレベルじゃないよね。
- 589 ：デフォルトの名無しさん：2016/05/16(月) 09:26:54.72 ID:HysSRgR+.net
- 今ならWASMターゲットでどうよ
- 590 ：デフォルトの名無しさん：2016/05/16(月) 20:25:52.51 ID:1m5lkdv7T
- >>578
なんかアレだが、
パーサの出力を抽象構文木にすることは大変ではない。
勿論、具象構文木で出すこともできるが
逆に手間がかかるので理由がない限りしない。
- 591 ：デフォルトの名無しさん：2016/05/16(月) 22:26:29.32 ID:kgWFY/O22
- 通常の構文木も作っておかないと、デバッカに対応する時やエラーメッセージを出す時に困るかも。
- 592 ：デフォルトの名無しさん：2016/05/17(火) 02:22:11.57 ID:1Hk6wPoo.net
- 遊びでコンパイラを作るなら、linux用なら、作れば誰か使って
くれるかも...。
- 593 ：デフォルトの名無しさん：2016/05/17(火) 06:47:28.73 ID:uw1YLM9D.net
- >>588
別にコンパクトなコンパイラのハードルは上がってないと思うが
無償でほぼフルセットの開発環境が入手できる今では意味が薄れた
って言うのならわかるけど
- 594 ：デフォルトの名無しさん：2016/05/17(火) 12:49:07.23 ID:PnBEFQO4.net
- CとかJavaから呼び出す組み込みスクリプトなら需要ありそう
javascriptトランスレータはHaxeがよくできてるけど作ってみたい
- 595 ：デフォルトの名無しさん：2016/05/18(水) 21:25:50.30 ID:EzbR6hZga
- 構文エラーならパースの時点で解決しないといけないし、
それ以降は、構文木の各ノードにソースコード上の位置情報をいれておけば結構ok
パーサ自体のデバッグには有用
- 596 ：デフォルトの名無しさん：2016/05/20(金) 02:16:34.68 ID:t8k86oX2.net
- >>356
Forth, Postscript「必要です」
- 597 ：デフォルトの名無しさん：2016/05/20(金) 23:34:10.65 ID:tlYSnHy5.net
- 言語仕様作成と、コンパイラ本体は自分で作り、
デバッガだけ外注して作ってもらうというズルはありえる?
高性能なツールにするには、かなり手間がかかると思うのだが。
- 598 ：デフォルトの名無しさん：2016/05/21(土) 00:37:18.20 ID:jbF82omc.net
- デバッガってevalさえあれば簡単なものはできそうだが
高機能てなると難しいのかな
- 599 ：デフォルトの名無しさん：2016/05/21(土) 10:16:04.77 ID:4qmWB+Wj.net
- その「高性能な」デバッガに何を求めてるかにも依るような。
- 600 ：デフォルトの名無しさん：2016/05/21(土) 18:55:29.44 ID:r6iEFhaA.net
- 不具合な動作が時々あるソフトで、たまたま高性能なデバッガに
分析させたら、ソースもないのに、分析されたソフト内部のソースを
画面に表示し、
「ヌル文字列を格納するための領域に、別の文字を格納し、領域を
破壊しています」
とか何とかメッセージを出した例まであるからな。
こういうデバッガは値段が高いだろ。
- 601 ：デフォルトの名無しさん：2016/05/23(月) 19:41:11.89 ID:h8XB4lAi.net
- 頭悪そうだね
- 602 ：デフォルトの名無しさん：2016/05/26(木) 00:28:35.77 ID:R75m14iA.net
- 予約語テーブルに、どのくらい詰め込めば良いかが悩ましい。
あまり増やしすぎると、C++と同じ道をたどるだけだし。
- 603 ：デフォルトの名無しさん：2016/05/26(木) 00:40:19.83 ID:SiuzFNyH.net
- C++と同じ道をたどれれば最高じゃないか
- 604 ：デフォルトの名無しさん：2016/05/26(木) 07:23:51.59 ID:6iXHX0kN.net
- てか、C++ って機能のわりに予約語は少ない方じゃね？
- 605 ：デフォルトの名無しさん：2016/05/26(木) 09:28:47.76 ID:8g8oY2SCK
- 最近のC++はほとんどの機能を標準ライブラリ側で提供しようとしてるから予約語自体は少ない
std::moveとかstd::initializer_listという形で予約後を回避してる
根本的な解決にはなってないんだけど。
- 606 ：デフォルトの名無しさん：2016/05/27(金) 15:25:55.45 ID:xTig+h/w.net
- アンダーバー付きの予約語は嫌だ
- 607 ：デフォルトの名無しさん：2016/05/27(金) 21:42:12.01 ID:DWOzzldt.net
- 俺はiostream関数も嫌だな。
- 608 ：デフォルトの名無しさん：2016/05/27(金) 23:33:16.53 ID:64E4c/Qq.net
- 抽象関数に実装なし・マーカーとか、書けばわかりやすいのに、
func(){ } = 0
とか、意味不明なことをやって、キーワードを減らしている
- 609 ：デフォルトの名無しさん：2016/05/31(火) 21:45:44.53 ID:0yna7kxs.net
- #include <PANAMA_PAPERS.Lib>
main()
{
for(Datsuzei = 0; Datsuzei <= mugendai; Datsuzei++)
}
こんな予約語やライブラリがあれば、俺のお金も無限に増える
はずなのに。消費税など、上げないでもらいたいよな。
- 610 ：デフォルトの名無しさん：2016/05/31(火) 22:03:33.81 ID:TRYwrF1a.net
- お金が無限に増えたらジンバブエみたいになるぞ・・・・・・
- 611 ：デフォルトの名無しさん：2016/05/31(火) 22:10:48.45 ID:JlIYRfhe.net
- ジンバブエってdoubleが桁あふれしたんだっけｗ？
- 612 ：デフォルトの名無しさん：2016/06/01(水) 20:32:23.48 ID:72v9yor7.net
- COBOL使ってたから大丈夫
- 613 ：デフォルトの名無しさん：2016/06/01(水) 22:55:39.98 ID:z/VHQJBB.net
- ワロタｗｗ
せめてrubyにしてくだしあ
- 614 ：デフォルトの名無しさん：2016/06/05(日) 02:48:48.10 ID:itWJAX/I.net
- フリーのコンパイラって、信用できる?
遊び程度でソフト作るなら良いけど、フリーだとサポートも
期待できないし。
- 615 ：デフォルトの名無しさん：2016/06/05(日) 03:05:17.84 ID:wHhH7979.net
- gccもclangもjavacもc#も信用ならんって分野ももしかしたらどこかにはあるのかもな
- 616 ：デフォルトの名無しさん：2016/06/05(日) 03:35:16.04 ID:itWJAX/I.net
- gnuのように、ソースが公開されていてもやばい部分もあるのかな?
- 617 ：デフォルトの名無しさん：2016/06/05(日) 09:08:18.42 ID:n7k60ruZ.net
- 事故った時の補償の話なら先に契約で決めておくしかない
どうしても必要なら補償付きのお高いメーカー製を使えばいい
そこまで気にしないなら適当に人気のやつを選べばいい
ただし最適化を強めにすると地雷を踏むリスクが高い
- 618 ：デフォルトの名無しさん：2016/06/05(日) 09:10:42.69 ID:n7k60ruZ.net
- ライブラリとかＯＳとかに比べればコンパイラ自身のバグは極めて少ない
ただし最適化を強めにすると（ｒｙ
- 619 ：デフォルトの名無しさん：2016/06/05(日) 14:53:16.00 ID:D97p9ZEl.net
- 最適化有効にしてバグるのも大抵そのプログラムのバグだから
- 620 ：デフォルトの名無しさん：2016/06/11(土) 01:39:10.14 ID:cDt3abig.net
- >>614
有料でもサポートしてもらえる範囲は限られてる
- 621 ：デフォルトの名無しさん：2016/06/11(土) 06:06:42.00 ID:MaD03lMp.net
- 今考えたら昔のN88BASICも、実は凄かったんだな。
コンパイラを作りの前の基礎教養として、価値があると思う。
知識が多いほうが有利だし。
- 622 ：デフォルトの名無しさん：2016/08/06(土) 21:46:00.33 ID:pVg13zPK.net
- グラフィックライブラリは、やたら予約語の文字数が長くてウンザリ
した経験があるな。わかりやすくコンパクトな予約語で良いのに。
- 623 ：デフォルトの名無しさん：2016/08/06(土) 22:54:17.43 ID:Jz+gSdkD.net
- 予約語？
- 624 ：デフォルトの名無しさん：2016/08/22(月) 17:08:41.63 ID:oW9zLe2W.net
- 昔のBASICは名前空間みたいな整理はされてなくて
ライブラリに相当する部分も予約語として扱ってたんだよ
- 625 ：デフォルトの名無しさん：2016/09/13(火) 22:37:20.41 ID:0YzbOJ/I.net
- HSPとかもそうだな
- 626 ：デフォルトの名無しさん：2016/10/17(月) 13:00:51.48 ID:Vg9Wd9rs.net
- >>622
高々COLORとかPOINTでしょ?
PHIGS辺りのサードパーティライブラリと勘違いしてないか
それともCLSに比べたら長いって話?
- 627 ：デフォルトの名無しさん：2016/10/17(月) 13:06:46.54 ID:Vg9Wd9rs.net
- パラメーターがダラダラ長いっていうのなら分かるんだけどな
タートルグラフィック以前の設計で
カレントペンオブジェクトって概念がまだないから
- 628 ：デフォルトの名無しさん：2017/03/20(月) 21:03:09.17 ID:FgPIWm6o.net
- haskellのdo構文
- 629 ：デフォルトの名無しさん：2017/05/15(月) 00:51:21.49 ID:SFBD2YKR.net
- Amazon で「Flex & Bison」で検索したらこんなの出て来て驚いた。
http://amzn.asia/2GvBmZs
- 630 ：デフォルトの名無しさん：2017/05/15(月) 18:24:26.90 ID:DeqHpRpX.net
- たけーなオイ
- 631 ：デフォルトの名無しさん：2017/06/26(月) 19:12:09.78 ID:6CpK5SZQ.net
- >>615
実際コンパイラはソフトウェア検証の好対象
CakeMLとか
- 632 ：デフォルトの名無しさん：2018/02/16(金) 06:02:50.68 ID:W1XJdyx1.net
- ☆ 日本の、改憲を行いましょう。現在、衆議員と参議院の
両院で、改憲議員が３分の２を超えております。
『憲法改正国民投票法』、でググってみてください。国会の発議は
すでに可能です。平和は勝ち取るものです。お願い致します。☆☆
- 633 ：片山博文MZ ：2018/03/02(金) 16:53:16.42 ID:R33psDql.net
- http://www.softantenna.com/wp/review/tiny-interepter-and-compiler/
- 634 ：デフォルトの名無しさん：2018/05/23(水) 22:10:50.46 ID:Au5e7VGg.net
- 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
RSQUI
- 635 ：デフォルトの名無しさん：2018/07/04(水) 23:52:46.72 ID:gFgZc5FG.net
- CL2
- 636 ：デフォルトの名無しさん：2018/07/16(月) 22:53:08.29 ID:oM74pxCP.net
- テスト😊
- 637 ： ：2018/09/04(火) 14:52:35.77 ID:lJV/Mb/R.net
- 形式言語の祖・生成文法のチョムスキー90歳の言葉
http://www.videonews.com/marugeki-talk/908/
- 638 ：デフォルトの名無しさん：2019/03/21(木) 17:55:33.49 ID:YzD9JPpd.net
- esprima/escodegenなんかでJS ASTを扱ってる人に質問。
ASTを舐めて変数の型を推論したものをノードに紐付けて記録しておきたいんだけど、JS ASTの場合
ASTの中にメタデータをぶら下げるのと外で持つのとどっちが一般的なんだろう？
中に持つ場合はどこにどういうプロパティ名でぶら下げるか、外の場合はノードの位置を特定する
パスのようなものが必要になるけどそれをどうするか。
- 639 ：デフォルトの名無しさん：2021/02/24(水) 20:03:26.16 ID:1LsYaFKv.net
- test
- 640 ：デフォルトの名無しさん：2021/06/01(火) 15:18:43.13 ID:IjgT90G7.net
- お前ら元気か？
Prologおじさんが2003年頃からPrologの人気がなくなったとか言ってたんだが、2chのせいではないかと思ってきてみたぜ。
めっちゃ過疎ってるじゃないか。というか2chいつの間にか5chになってたんだな。
Prologは操作的意味論をそのまま書き下して言語作れるので良いぞw
% e.pl
e(I, I) :- integer(I).
e(E1+E2, I) :- e(E1, I1), e(E2, I2), I is I1+I2.
:- e(1+2+3+4,R),!,writeln(R).
:- halt.
というファイルを作って
$ swipl e.pl
10
だ。こんな短く言語実装できる言語は他にないぜw
- 641 ：デフォルトの名無しさん：2021/06/01(火) 15:25:20.70 ID:IjgT90G7.net
- Prologなら型システムを作るのもお手の物だ。
t(I,int):- integer(I).
t(E1+E2,int):- t(E1,int), t(E2,int).
:- t(1+2+3,T),!,writeln(T).
:- halt.
これだけ。Prologは関数というか述語のネストをできなくして
述語の引数は全てクォートとされた式のように扱われ、
変数がアンクォートな感じに書ける。
故にLispのS式より複雑な優先順位付きの演算子を使った式が扱えて便利だ。
ってことで、暇な奴がいたら使ってみて欲しいんダゼ。
じゃあなw
- 642 ：デフォルトの名無しさん：2021/06/23(水) 07:02:20.99 ID:HYjDIJ1V.net
- Prolog興味あるけどCとかJavaとかPythonとかのメジャーどころと違って教科書みたいなアカデミックな本しか見つからないから並以下グラマの俺には無理
- 643 ：デフォルトの名無しさん：2021/10/13(水) 08:22:07.76 ID:Qk99MJFD.net
- 岩波のprologのプログラミング作法読んでみたら？
第5世代が成果をオープンソースに出来ていればなあ
- 644 ：デフォルトの名無しさん：2023/08/19(土) 22:45:01.53 ID:mDwI+ElXv
- 海外の環境団体はあらゆる妨害活動から破壊活動．首相の自宅にまで侵入したりと人としての最低限の道徳を知ってて素晴らしいが日本には
クズしかいないのかよ．せめて広島の平和公園もとい地球破壊公園の殺人の灯て゛BBQくらいやってみせろや，何しろ肉を焼くわけでもなく
月に８00立方メートルものプ囗パンカ゛スをたた゛ひたすら燃やし続けていやがるんた゛からな、せめて肉でも焼いて氣候変動に抗議する象徴的
行動をするのか゛人の道、莫大な温室効果ガスまき散らして世界一周旅行して、サミットだのと国民から強奪した莫大な税金無駄にしながら飲み
食い観光．警備だのとクソシナ顔負けの私権侵害やって世界中にバカ晒し続けてる岸田異次元増税憲法カ゛ン無視地球破壊軍国主義売国奴文雄
みたいなクス゛た゛の、持続可能な開発目標に壊滅的なダメージを及ぼすために国連本部にノコノコ出かけて莫大な温室効果カ゛スまき散らす広島
県知事湯崎英彦だのを当選させてる広島県民は恥を知れよ，広島原爆で14万人殺されたそうだが、WMOが確認しただけで1９70年以降に
気候変動によって、洪水などあらゆる災害て゛殺された人数は200万人以上、経済損失は6０0兆圓以上という現実を理解しろや自己中県民
(羽田〕ttＰs://www.call4.jp/info.php?tyＰe〓iｔems&id=I0000062 , tTps://hanｅda-ＰrojeСt.jimdofree.com／
［成田)tＴρs://n-souonhigaisosуoudan.amеbaownd.com/
(テ口組織)Ｔtps://i.imgur.сom/hnli1ga.jpeg
- 645 ：デフォルトの名無しさん：2023/07/05(水) 03:42:10.87 ID:e/cCV0Lv.net
- >>311
人は死後49日は漂うと云われているな
- 646 ：デフォルトの名無しさん：2023/09/24(日) 11:28:47.13 ID:Iodo3XEj.net
- インタプリタの作り方 －言語設計／開発の基本と2つの方式による実装－ - インプレスブックス
ttps://book.impress.co.jp/books/1122101087
- 647 ：デフォルトの名無しさん：2023/10/06(金) 08:06:12.42 ID:NmxdZAP9.net
- バックエンドの作り方はググれば解説が出てくるが
“実用的な”バックエンドの作り方はさっぱりわからない
RX用のバックエンドが欲しいんだがなー
- 648 ：デフォルトの名無しさん：2023/11/11(土) 06:58:34.37 ID:uMtlBPBy.net
- double a = 2.71828;
というコードをコンパイルするときに、2進浮動小数点数に変換しないといけないと思います。
2進数浮動小数点数に丸めるときに、四捨五入（0捨1入）したり、一番近い2進浮動小数点数に変換したりといろいろな方法がありますが、その方式を決定するのもコンパイラの仕事ですか？
計算機イプシロンを ε_M とします。
2進浮動小数点数に丸めるときの方式として、四捨五入（0捨1入）が採用されているかどうかを確かめる方法として、
eps = 2^(-52)
1 + (1/2) * eps
を計算させて、それが 1 + eps に等しいかどうかをみるという方法が数値解析の本で紹介されています。
1 + (1/2) * eps
を計算するときに、丸めとかで変な浮動小数点数になって、この紹介されている方法が実行できないとかないですか？
- 649 ：デフォルトの名無しさん：2023/11/11(土) 07:01:57.70 ID:uMtlBPBy.net
- あと、
double a = 2.71828 * 3.141592;
というコードがあったとき、
コンパイラは、 2.71828 を丸めた2進浮動小数点数と 3.141592 を丸めた2進浮動小数点数を掛けよという機械語に翻訳するんですか？
それともこんな簡単な計算はコンパイラで予め行って、その結果を a に代入するという機械語を生成するんですか？
- 650 ：デフォルトの名無しさん：2023/11/11(土) 08:35:32.43 ID:fuGMacjx.net
- double a = math.E + path.PI;
- 651 ：デフォルトの名無しさん：2023/11/11(土) 08:37:19.10 ID:fuGMacjx.net
- 宿題は宿題スレへ
- 652 ：デフォルトの名無しさん：2023/11/11(土) 11:05:25.10 ID:5AzCeqvD.net
- はい
あります
はい
場合によります(最適化という追加処理)
173 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★