ヒッキープログラミングスレ - 1361821799

1：（-＿-）さん：2013/02/26(火) 04:49:59 ID:GABg0f3o: プログラミングの話題のスレ

質問・相談
初心者からプロまで
プログラミングに関することなら何でもＯＫ
482：（-＿-）さん：2013/06/09(日) 14:49:33 ID:???: 昨夜気づいた問題を修正した版

function hoge(str, p, list){
　var i, c, s, newlist, t = 0, e = 0;
　/** t
　 * 　0 一つ目の要素の読み取り開始前段階
　 * 　1 一つ目の要素はシンボルで読み取り中
　 * 　2 一つ目の要素はリスト
　 * 　3 一つ目の要素を登録完了
　 * 　4 一つ目の要素と二つ目の要素を繋ぐ'.'読み取り前段階
　 * 　5 二つ目の要素の読み取り開始前段階
　 * 　6 二つ目の要素はシンボルで読み取り中
　 * 　7 二つ目の要素はリスト
　 **/
　for (i = p; i < str.length; i++) {
　　c = str.charAt(i);
　　if (c == '(') {
　　　if (t == 0) { //一つ目の要素はリスト
　　　　newlist = new Array(); i = hoge(str, i + 1, newlist); t = 2;
　　　} else if (t == 3) { // . の省略、二つ目の要素はリスト（そのリストの一つ目の要素がリスト）
　　　　newlist = new Array(); i = hoge(str, i, newlist) - 1; t = 7;
　　　} else if (t == 5) { //二つ目の要素はリスト
　　　　newlist = new Array(); i = hoge(str, i + 1, newlist); t = 7;
　　　} else {
　　　　alert("error char '(' t=" + t); return str.length + 10;
　　　}
　　
　　} else if (c == ')') {
　　　if (t == 1) { //要素が一つしかない（要素はシンボル）
　　　　list[0] = s; list[1] = "nil";
　　　} else if (t == 2) { //要素が一つしかない（要素はリスト）
　　　　list[0] = newlist; list[1] = "nil";
　　　} else if (t == 6) { //二つ目の要素（シンボル）の登録
　　　　list[1] = s;
　　　} else if (t == 7) { //二つ目の要素（リスト）の登録
　　　　list[1] = newlist;
　　　} else if (t != 0) { // t==0 は空のリストになる
　　　　alert("error char ')' t=" + t); return str.length + 10;
　　　}
　　　return i;
　　} else if (c == ' ') {
　　　if (p == 0) { //一番外側の括弧である必要があり構文エラー
　　　　alert("error char ' ' t=" + t + " (p == 0)"); return -1;
　　　}
　　　if (t == 1) { //一つ目の要素
　　　　list[0] = s; t = 3;
　　　} else if (t == 2) { //一つ目の要素はリスト
　　　　list[0] = newlist; t = 3;
　　　} else if (t == 4) { //次にくるのは２つ目の要素
　　　　t = 5;
　　　} else {
　　　　alert("error char ' ' t=" + t); return str.length + 10;
　　　}
　　　
　　} else if (c == '.') {
　　　if (t == 3) { //このリストは略式でない
　　　　t = 4;
　　　} else {
　　　　alert("error char '.' t=" + t); return str.length + 10;
　　　}
　　} else {
　　　if (t == 0) { //一つ目の要素のシンボル開始
　　　　s = c; t = 1;
　　　} else if ((t == 1) || (t == 6)) { //シンボル文字が続く
　　　　s += c;
　　　} else if (t == 3) { // . が省略されてるので二つ目の要素はリスト（そのリストの一つ目の要素がシンボル）
　　　　newlist = new Array(); i = hoge(str, i, newlist) - 1; t = 7;
　　　} else if (t == 5) { //二つ目の要素のシンボル開始
　　　　s = c; t = 6;
　　　} else {
　　　　alert("error char '"+c+"' t=" + t); return str.length + 10;
　　　}
　　}
　}
　if (p != 0) { //再帰呼び出しで文字列を読み取り終わってしまっている
　　return -1;
　}
　if (i > str.length + 1) {
　　return -1;
　}
　if (t == 1) {
　　list[0] = s;
　} else if (t == 2) {
　　list[0] = newlist;
　} else {
　　return -1;
　}
　return i;
}
483：（-＿-）さん：2013/06/09(日) 14:51:01 ID:???: 続き　テスト用メソッド

function tenkai(list) {
　var s1, s2;
　if (typeof(list) == "string") {
　　return list;
　} else if (typeof(list) == "number") {
　　return -1;
　}
　if (list[1]) {
　　s1 = tenkai(list[0]);
　　s2 = tenkai(list[1]);
　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　return "(" + s1 + " . " + s2 + ")";
　　}
　}
　return -1;
}

function test() {
　var str = document.all.f.t.value;
　var list = new Array();
　var s;
　str = str.replace(/\./g," . ").replace(/ +/g," ").replace(/ $/,"");
　document.all.f.t.value = str;
　if (hoge(str, 0, list) >= 0) {
　　s = tenkai(list[0]);
　　document.getElementById('abc').innerHTML = typeof(s) == "number" ? "Syntax Error" : s;
　　document.getElementById('efg').innerHTML = tenkai(hoge2(list[0]));
　} else {
　　alert('Syntax Error!');
　　return;
　}
}
484：（-＿-）さん：2013/06/09(日) 15:02:31 ID:???: >>483にあるhoge2はこれ

function hoge2(list) {
　var s, temp;
　if (typeof(list) == "string") {
　　return list; //まだちゃんと処理してない
　}
　if (list[0]) {
　　if (list[1]) {
　　　if (typeof(list[0]) == "string") { s = list[0]; } else { s = hoge2(list[0]); }
　　　if (s == "atom") { return fAtom(list[1]);
　　　} else if (s == "eq") { return fEq(list[1]);
　　　} else if (s == "car") { return fCar(list[1]);
　　　} else if (s == "cdr") { return fCdr(list[1]);
　　　} else if (s == "cons") { return fCons(list[1]);
　　　} else if (s == "quote") { return fQuote(list[1]);
　　　} else { temp = new Array(); temp[0] = s; temp[1] = hoge2(list[1]); return temp; //まだちゃんと処理してない
　　　}
　　}
　} else {
　　return "nil";
　}
　return -1;
}
function getArgs(list, n, argc) {
　if (list) {
　　if (typeof(list) != "string") {
　　　if (list[1]) {
　　　　argc[n - 1] = hoge2(list[0]);
　　　　if (n == 1) {
　　　　　if (list[1] == "nil") {
　　　　　　return true;
　　　　　}
　　　　} else {
　　　　　return getArgs(list[1], n - 1, argc);
　　　　}
　　　}
　　}
　}
　return false;
}
function fAtom(list) {
　var argc = new Array();
　if (getArgs(list, 1, argc)) {
　　return typeof(argc[0]) == "string" ? "T" : "nil";
　}
　return -1;
}
function fEq(list) {
　var argc = new Array();
　if (getArgs(list, 2, argc)) {
　　if ((typeof(argc[0]) == "string") && (typeof(argc[1]) == "string")) {
　　　return argc[0] == argc[1] ? "T" : "nil";
　　}
　}
　return -1;
}
function fCar(list) {
　var temp, argc = new Array();
　if (getArgs(list, 1, argc)) {
　　if (typeof(argc[0]) != "string") {
　　　temp = argc[0];
　　　if (temp[1]) {
　　　　return temp[0];
　　　}
　　}
　}
　return -1;
}
function fCdr(list) {
　var temp, argc = new Array();
　if (getArgs(list, 1, argc)) {
　　if (typeof(argc[0]) != "string") {
　　　temp = argc[0];
　　　if (temp[1]) {
　　　　return temp[1];
　　　}
　　}
　}
　return -1;
}
function fCons(list) {
　var argc = new Array();
　if (getArgs(list, 2, argc)) {
　　return argc.reverse();
　}
　return -1;
}
function fQuote(list) {
　if (typeof(list) != "string") {
　　if (list[1]) {
　　　if (list[1] == "nil") {
　　　　return list[0];
　　　}
　　}
　}
　return -1;
}
485：（-＿-）さん：2013/06/09(日) 15:03:31 ID:???: >>481
そこらへんはまぁよく分からんから
動作したもん勝ちでしょみたいなスタンスで行ってる
486：（-＿-）さん：2013/06/09(日) 15:05:13 ID:???: このスパゲッティはちゃんと動くの?
487：（-＿-）さん：2013/06/09(日) 15:11:59 ID:???: >>486
さあ？hogeとtenkaiはテストしたけどhoge2は途中だから正常に動作はしないよ

省略形表示のtenkai2

function tenkai2(list, n) {
　var s1, s2;
　if (typeof(list) == "string") {
　　return list;
　} else if (typeof(list) == "number") {
　　return -1;
　}
　if (list[1]) {
　　s1 = tenkai2(list[0], 0);
　　if (list[1] == "nil") {
　　　if (typeof(s1) == "string") {
　　　　if (n == 0) {
　　　　　return "(" + s1 + ")";
　　　　} else {
　　　　　return s1;
　　　　}
　　　}
　　}
　　if (typeof(list[1]) == "string") {
　　　s2 = tenkai2(list[1], 1);
　　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　　if (n == 0) {
　　　　　return "(" + s1 + " . " + s2 + ")";
　　　　} else {
　　　　　return s1 + " . " + s2;
　　　　}
　　　}
　　} else {
　　　s2 = tenkai2(list[1], 1);
　　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　　if (n == 0) {
　　　　　return "(" + s1 + " " + s2 + ")";
　　　　} else {
　　　　　return s1 + " " + s2;
　　　　}
　　　}
　　}
　}
　return -1;
}
488：（-＿-）さん：2013/06/09(日) 15:15:55 ID:???: 書き忘れた、テスト用のhtml

<html>
<head><title>test</title>
<script type="text/javascript" src="lisp3.js"></script>
</head>
<body>
<form name="f">
<textarea name="t" cols="80" rows="10">((a . b) (c d))</textarea><br>
<input type="button" value="excute" onclick="test();">
</form>
<div id="abc"></div>
<div id="abc2"></div>
<div id="efg"></div>
<div id="efg2"></div>
</body>
</html>
489：（-＿-）さん：2013/06/09(日) 15:17:10 ID:???: lisp3.jsの3は
lispのメモをlisp.txt,list2.txt,list3.txtときて
lisp3.txtにコード書いてたから名前修正してlisp3.jsになった
490：（-＿-）さん：2013/06/09(日) 15:19:28 ID:???: lisp.txtには以前調べたCommon Lispの一部の文法や関数がメモしてあって
lisp2.txtには純Lispの関数と特別式についてメモしてある
んでlisp3.txtにコードをつらつら書いてて>>475-476の時点までは未テストのlisp3.txtだった
491：（-＿-）さん：2013/06/09(日) 15:21:24 ID:???: tenkai2も使ったtestメソッド

function test() {
　var str = document.all.f.t.value;
　var list = new Array();
　var s;
　str = str.replace(/\./g," . ").replace(/ +/g," ").replace(/ $/,"");
　document.all.f.t.value = str;
　if (hoge(str, 0, list) >= 0) {
　　s = tenkai(list[0]);
　　document.getElementById('abc').innerHTML = typeof(s) == "number" ? "Syntax Error" : s;
　　s = tenkai2(list[0], 0);
　　document.getElementById('abc2').innerHTML = typeof(s) == "number" ? "Syntax Error" : s;
　　s = tenkai(hoge2(list[0]));
　　document.getElementById('efg').innerHTML = typeof(s) == "number" ? "Syntax Error" : s;
　　s = tenkai2(hoge2(list[0]), 0);
　　document.getElementById('efg2').innerHTML = typeof(s) == "number" ? "Syntax Error" : s;
　} else {
　　alert('Syntax Error!');
　　return;
　}
492：（-＿-）さん：2013/06/09(日) 15:22:54 ID:???: testメソッドは今んとこ改行を考慮してないから改行を入れたりするとSyntax Errorになる
493：（-＿-）さん：2013/06/09(日) 15:24:45 ID:???: 予定としてはひとまず
hoge2にcondとlambdaとlabelを追加するけど
labelがいわゆる変数ってやつなのかな、ググっても出てこんかった
defineと同義ならそれでいんだけど
494：（-＿-）さん：2013/06/09(日) 15:26:46 ID:???: ちなみに思いつきで書いてるからメソッド名や変数名が簡易になってるけど、まぁあとで修正すべきとこかもね（可読性のために）
hoge内の有限オートマトン（ってやつ？）に使ってる t　に代入する値も本来はenumみたいな定数群を用意してやるべきだし
495：（-＿-）さん：2013/06/09(日) 15:28:21 ID:???: まあ動けばいいよ
496：（-＿-）さん：2013/06/09(日) 15:54:07 ID:???: cond追加

function hoge2(list) {
　var s, temp;
　if (typeof(list) == "string") {
　　return list;
　}
　if (list[0]) {
　　if (list[1]) {
　　　if (typeof(list[0]) == "string") {
　　　　s = list[0];
　　　} else {
　　　　s = hoge2(list[0]);
　　　}
　　　if (s == "atom") {
　　　　return fAtom(list[1]);
　　　} else if (s == "eq") {
　　　　return fEq(list[1]);
　　　} else if (s == "car") {
　　　　return fCar(list[1]);
　　　} else if (s == "cdr") {
　　　　return fCdr(list[1]);
　　　} else if (s == "cons") {
　　　　return fCons(list[1]);
　　　} else if (s == "quote") {
　　　　return fQuote(list[1]);
　　　} else if (s == "cond") {
　　　　return fCond(list[1]);
　　　} else {
　　　　temp = new Array();
　　　　temp[0] = s;
　　　　temp[1] = hoge2(list[1]);
　　　　return temp;
　　　}
　　}
　} else {
　　return "nil";
　}
　return -1;
}

function fCond(list) {
　var temp, s, argc = new Array();
　if (typeof(list) != "string") {
　　if (list[1]) {
　　　if (typeof(list[0]) == "string") {
　　　　return hoge2(list[0]);
　　　} else {
　　　　temp = list[0];
　　　　if (temp[1]) {
　　　　　s = hoge2(temp[0]);
　　　　　if (s != "nil") {
　　　　　　if (getArgs(temp[1], 1, argc)) {
　　　　　　　return argc[0];
　　　　　　}
　　　　　} else {
　　　　　　return fCond(list[1]);
　　　　　}
　　　　}
　　　}
　　}
　} else {
　　return hoge2(list);
　}
　return -1;
}
497：（-＿-）さん：2013/06/09(日) 15:56:38 ID:???: あとは変数の問題が出てくるlambdaとlabelか
スコープとかいう問題とか処理大変そうだな
風呂入ってくる
498：（-＿-）さん：2013/06/09(日) 16:00:12 ID:???: 何か適当なLispを使ったことなく想像だけで作ってるから動作がどの程度あってるか分からんが、まぁ趣味だしどうでもいいか
499：（-＿-）さん：2013/06/09(日) 16:02:35 ID:???: lispってリスト構造かと思ったら２分木な処理になってもうた
500：（-＿-）さん：2013/06/09(日) 16:05:23 ID:???: condの処理が少々おかしいのか？
あとtenkaiとtenkai2も足りない処理があってエラーになってもうた
501：（-＿-）さん：2013/06/09(日) 16:08:02 ID:???: 修正版 tenkai tenkai2

function tenkai(list) {
　var s1, s2;
　if (typeof(list) == "string") {
　　return list;
　} else if (typeof(list) == "number") {
　　return -1;
　}
　if (list[0]) {
　　if (list[1]) {
　　　s1 = tenkai(list[0]);
　　　s2 = tenkai(list[1]);
　　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　　return "(" + s1 + " . " + s2 + ")";
　　　}
　　}
　} else {
　　return "nil";
　}
　return -1;
}

function tenkai2(list, n) {
　var s1, s2;
　if (typeof(list) == "string") {
　　return list;
　} else if (typeof(list) == "number") {
　　return -1;
　}
　if (list[0]) {
　　if (list[1]) {
　　　s1 = tenkai2(list[0], 0);
　　　if (list[1] == "nil") {
　　　　if (typeof(s1) == "string") {
　　　　　if (n == 0) {
　　　　　　return "(" + s1 + ")";
　　　　　} else {
　　　　　　return s1;
　　　　　}
　　　　}
　　　}
　　　if (typeof(list[1]) == "string") {
　　　　s2 = tenkai2(list[1], 1);
　　　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　　　if (n == 0) {
　　　　　　return "(" + s1 + " . " + s2 + ")";
　　　　　} else {
　　　　　　return s1 + " . " + s2;
　　　　　}
　　　　}
　　　} else {
　　　　s2 = tenkai2(list[1], 1);
　　　　if ((typeof(s1) == "string") && (typeof(s2) == "string")) {
　　　　　if (n == 0) {
　　　　　　return "(" + s1 + " " + s2 + ")";
　　　　　} else {
　　　　　　return s1 + " " + s2;
　　　　　}
　　　　}
　　　}
　　}
　} else {
　　return "nil";
　}
　return -1;
}
502：（-＿-）さん：2013/06/09(日) 16:09:47 ID:???: そういや大文字小文字の区別ってあったっけか？まぁそう難しい処理でもないから問題ないけど
んじゃ一区切りついたから風呂入ってくるわ
503：（-＿-）さん：2013/06/09(日) 16:19:07 ID:???: 大文字小文字は区別ないか、ならhoge内でlistに登録するときに一括大文字変換しとくか
504：（-＿-）さん：2013/06/09(日) 16:22:10 ID:???: hoge内の
list[0] = s; → list[0] = s.toUpperCase();
list[1] = s; → list[1] = s.toUpperCase();
に置き換え
lisp3.jsのファイル内全体で"nil"を"NIL"に置き換えた
505：（-＿-）さん：2013/06/09(日) 16:23:42 ID:???: あとhoge2内の関数名識別のところ
s == "atom" とかを s == "ATOM" に置き変えた
506：（-＿-）さん：2013/06/09(日) 16:27:12 ID:???: さっさと風呂に入るか、暗くなっちまうな
507：（-＿-）さん：2013/06/09(日) 18:12:12 ID:???: さて風呂から上がったが、家事の一部を任されてるのでそれをサボったら激おこぷんぷん丸されるので作業はまたあとで・・・
508：（-＿-）さん：2013/06/09(日) 18:29:37 ID:???: 変数を導入するにあたりlistに直にstringやarrayを代入してきたけど
構造体のような管理する何が代入されてるかクラスを作る予定

イメージとしてはこんな感じ
function ListData(data, type) {
　this.getType = function () { return type; };
　this.getData = function () { return data; };
}

list[0] = new ListData(s.toUpperCase(), "symbol");
list[1] = new ListData(newlist, "list");
509：（-＿-）さん：2013/06/09(日) 18:34:48 ID:???: しかし、この変更で大幅な修正が必要になってくるな、最初から管理クラス作ってからやればよかったんだけど
面倒だったから後回しにしたのがダメだったぽ
510：（-＿-）さん：2013/06/09(日) 18:37:40 ID:???: ちなみにこの仮名ListDataは戻り値等にも使う
new ListData(fQuote, "func")
とか
new ListData(list, "lambda")
とか
new ListData(null, "error")
などとしたりして戻り値の状態も管理できるようにする予定
511：（-＿-）さん：2013/06/09(日) 18:39:10 ID:???: コード読むの面倒だから聞くけどドット記法はどうしてる？
(cons a b)でbがアトムなら(a . b)になるけどリストでS式を表現してたらこれ面倒じゃない？
512：（-＿-）さん：2013/06/09(日) 18:42:49 ID:???: まぁ実際に組んでみないとどのような不都合や不可能があるか分からんから、ここまではまだイメージの段階

変数管理用のクラス作って、"("が来るたび(スコープに入るたび)に子インスタンスを作って
変数参照が来たら現状スコープに変数の有無を問い合わせそのインスタンスになければそのインスタンスが親インスタンスに問い合わせを行うような感じで作ってみようと
最親のインスタンスはグローバルスコープに相当するのでそこで変数が無ければエラー
513：（-＿-）さん：2013/06/09(日) 18:50:08 ID:???: >>511
hogeメソッドで(cons a b)を (cons . (a . (b . nil)))に処理してこれを
list[0] = "cons" 、で　list[1] に (a . (b . nil)) をhogeで再帰処理したリストに
全部書くと list[1][0] = "a" , list[1][1][0] = "b" , list[1][1][1] = "nil" という感じのリストになる
処理結果も同じ構造にしてある
例えば　この場合の　cons は list[1][0] と list[1][1][0] で構成される新しいリスト kekkaとするなら
kekka[0] = list[1][0] , kekka[1] = list[1][1][0] を作って戻り値として返す

tenkaiはこのlistの構造のデータを . 使った表現にするのでこの例なら
tenkai(list) は listの構造を順に調べ (cons . (a . (b . nil))) を出力
tenkai(kekka) も同様にして (a . b) と出力する
514：（-＿-）さん：2013/06/09(日) 18:51:57 ID:???: consの処理は>>484のfConsに書いてある
515：（-＿-）さん：2013/06/09(日) 18:53:53 ID:???: javascriptは変数の型とか無いからかなり自由に代入していっちゃってるけど
他の言語で書くならけっこう考慮しないといけない部分
516：（-＿-）さん：2013/06/09(日) 18:56:55 ID:???: ちなみに>>513のlist, kekkaを略式表記の　tenkai2 で処理したら
tenkai2(list) は (cons a b)
tenkai2(kekka) は (a . b)
になる
tenkaiやtenkai2はこのリストの構造（正確には２分木になるのだが）で処理されるので
tenkai(list[0]) は cons
tenkai(list[1])　は (a . (b . nil))
tenkai2(list[1]) は (a b)
になる
517：（-＿-）さん：2013/06/09(日) 18:57:39 ID:???: tenkai と tenkai2　は人間が読むために文字列に直すメソッドね
518：（-＿-）さん：2013/06/09(日) 18:59:43 ID:???: (cons a (cons b nil))は(a b) になって (cons a b)は(a . b)になるぞ
つまり(a b)≠(a . b)
俺が言いたいのは(a . b)をどうやって管理するかだけどこれはcar, cdrの値を持ったデータでやるのがいい
しかしそれだとリストの後ろに値を追加するときやリストの要素数が欲しい時に線形探索になって効率の悪いからどうかと思う
そこでlistを使うんだけどこれだと(a b c)は{a, b, c}みたいに表せばいいけどそれだと(a . b)が表しにくい
これが俺が抱えてる問題点なんだ
519：（-＿-）さん：2013/06/09(日) 19:49:39 ID:???: とりあえず{atom1 dot atom2}という形で動くようにした
520：（-＿-）さん：2013/06/09(日) 20:08:29 ID:???: >>518
効率の話はちょいと分からん>>485のスタンスなので
計算コストは大きいだろうけど長大なlispプログラムを作るって実行させるわけでもないし
521：（-＿-）さん：2013/06/09(日) 20:13:43 ID:???: 俺のは効率悪いけどあんま複雑に管理したくないから
(a . b)　は　list[0] = "a" , list[1] = "b" という感じにデータとして扱ってるけど
(a b) は (a . (b . nil)) の list[0] = "a", list[1][0] = "b", list[1][1] = "nil"　という構造になるから
ちゃんと(a . b) ≠ (a b) にはなってるはずだよ（そんなたくさんテストしてないから分からんけど）
522：（-＿-）さん：2013/06/09(日) 20:17:54 ID:???: つまり俺の場合(a b)のままで管理しない正式表記の(a . (b . nil))という形式で管理してるから(a . b)という形は問題にならない
523：（-＿-）さん：2013/06/09(日) 20:19:18 ID:???: >>516で二分木って書いたけど正確に言うとリスト構造でも２分木構造でもないな、２分木に似たツリー構造という感じで
524：（-＿-）さん：2013/06/09(日) 20:46:25 ID:???: 最初からリストの終わりにnilを入れておく構造にしておけばよかっただな
今更それは無理だから>>519でいくけど
525：（-＿-）さん：2013/06/09(日) 21:07:59 ID:???: どうでもいいことだけど>>516にミスtenkai2は第二引数に0を渡す必要があったｗ忘れてた
526：（-＿-）さん：2013/06/09(日) 21:10:09 ID:???: 今更無理ってことはかなり複雑な形なのか
527：（-＿-）さん：2013/06/09(日) 21:14:26 ID:???: >>526
一回やってみたけど挫折した
関数の引数に(a . b)で渡す場合を考えると色々と詰まるところがあった
自分も晒したほうがいいかな
528：（-＿-）さん：2013/06/09(日) 21:46:19 ID:???: 晒されても俺っちはアドバイスできる次元じゃないし
529：（-＿-）さん：2013/06/09(日) 21:47:11 ID:???: 変数処理より先にQUOTEの省略形式の ' に対応した
530：（-＿-）さん：2013/06/09(日) 21:54:28 ID:???: でもまぁ晒したいんなら晒してもいいんでね
人のコード読むのは結構勉強になるし
531：（-＿-）さん：2013/06/09(日) 22:30:50 ID:???: プログラミングコード貼り付けスレ part1
http://jbbs.livedoor.jp/bbs/read.cgi/internet/13109/1370769621/
532：（-＿-）さん：2013/06/10(月) 01:26:20 ID:???: コマンドライン引数で指定したテキストファイルの内容を行単位でシャッフルするwsfスクリプト書いたった
533：（-＿-）さん：2013/06/10(月) 04:38:27 ID:???: >>508の置き換えに結構手こずった、時間かかりすぎたわ
534：（-＿-）さん：2013/06/10(月) 12:51:59 ID:???: LABELは入れたけどスコープがちゃんとしてるかはちょっと分からない
とLAMBDAを入れるにあたってちょっと疑問にあたったわ
535：（-＿-）さん：2013/06/10(月) 12:54:42 ID:???: そういうのはマクロ定義できるようにしたあとに初期化ファイル読み込めるようにしてそこで定義したほうがいいと思う
labelとかletとか
536：（-＿-）さん：2013/06/10(月) 12:59:18 ID:???: LAMBDAの壁ってのは先日LAMBDAを調べたときにでた引数の数の問題
引数は単純なリストで構成されるのかと思ったけど
LAMBDAの説明の箇所に
((LAMBDA (X Y . Z) Z) 3 4 5 6)　-> (5 6)
みたいな説明があって、ここらへんがよくわからんね
引数の文字の数と実際に並べた引数の数が違う場合がどうなるのかさっぱりだ
てっきり同数でないとエラーが出るもんだと思ってたけど（実装とか使ったことないし）
これって(QUOTE 'a 'b)とか(CONS 'A 'B 'C 'D)とかも出来るってことなのかね
そうなってくるとちょっと作り変えなきゃならないわ
(+ A B C D)が(+ (+ (+A B) C) D)的な挙動するってのは知ってるけど
よーわからんから、ひとまず制作は一時中断して徹底的に調べる作業になるわ
537：（-＿-）さん：2013/06/10(月) 13:03:16 ID:???: >>535
今んとこブラウザ上での実装だからjavascirptで外部ファイル読み込む方法は何か難しそうだな
538：（-＿-）さん：2013/06/10(月) 13:04:06 ID:???: ああまぁ外部設定ファイルというのもウェブ上にアップすればXMLHTTPで読みだせなくもないけど
539：（-＿-）さん：2013/06/10(月) 13:05:42 ID:???: マクロは想定してない作りになってるから
純LISPにマクロってあったかわからんけど
C言語のマクロってコンパイラのプリプロセッサが展開するみたいなやつなんかな
540：（-＿-）さん：2013/06/10(月) 13:07:18 ID:???: 純lispならlabelsとかもいらないだろ
あとコード貼るならhttp://ideone.comとかのほうが良さそう
541：（-＿-）さん：2013/06/10(月) 13:07:44 ID:???: オーケー、マクロはあとでこれで調べるわ（まぁこれSchemeの仕様だけど)

Revised(5) Report on the Algorithmic Language Scheme - 5. 式
http://people.csail.mit.edu/jaffer/r5rsj_6.html#SEC40
542：（-＿-）さん：2013/06/10(月) 13:09:48 ID:???: >>540
オーケー俺勘違いしてた
Wikipediaの最小のLISPと純LISPをごっちゃに考えてた
LABELじゃなくDEFINEか
543：（-＿-）さん：2013/06/10(月) 13:10:43 ID:???: まぁ名前変えるだけだから大差なけどね
544：（-＿-）さん：2013/06/10(月) 13:14:15 ID:???: なんかwikipediaでもschemeとlispの仕様がごっちゃになってるな
schemeだと(define (f arg ...) body ...)は(define f (lambda (arg ...) body ...)の糖衣構文で
(defun f (arg ...) body ...)はlispの構文だよ
545：（-＿-）さん：2013/06/10(月) 13:16:33 ID:???: なるほどdesu、wikipeidaはlisp方言がごっちゃになってるのか、所詮はボランティア編集ってことか
546：（-＿-）さん：2013/06/10(月) 13:20:12 ID:???: ああそうだった何でDEFINEじゃなくLABELて名前で関数作ってたかというと
↓の論文がLABELという名前使ってたからだったようだ今LAMBDAのため見直したら気づいた

Recursive Functions of Symbolic Expressions
http://www-formal.stanford.edu/jmc/recursive/node3.html

先日読んだこともすっかり忘れてる、やべえわ俺・・・
547：（-＿-）さん：2013/06/10(月) 13:33:10 ID:???: まぁいいや、ひとまず>>546の論文の仕様にしたがって書いてく、引数の数のとりかたは論文にしたがってやってみるわ
548：（-＿-）さん：2013/06/10(月) 13:34:27 ID:???: ひとまず論文通りにするめるにあたってさっきDEFINEに変更した名前をもういちどLABELに戻した
549：（-＿-）さん：2013/06/10(月) 13:40:04 ID:???: >>536についてだけど
lambdaの引数のドットの後の一つの変数に残りの仮引数が全部リストで入れられる
ちなみにドットの後には引数がひとつしか置けない
consの定義にはそれがないから(cons 'a 'b 'c)とかは無理
+は引数の数を全部足しあわせた結果になる
550：（-＿-）さん：2013/06/10(月) 13:45:29 ID:???: なぜかというと(3 4 5 6)は(3 4 . (5 6))で
これと(x y . z)が組み合わさるとx -> 3, y -> 4, z -> (5 6)と割り振られることになる
551：（-＿-）さん：2013/06/10(月) 13:48:14 ID:???: >>549
ありがと
そうゆうことか
552：（-＿-）さん：2013/06/10(月) 13:52:13 ID:???: >>549-550
説明サンクス
つまり仮引数のリストの構造どおりに実引数の部分が処理されるってことね
553：（-＿-）さん：2013/06/10(月) 14:06:19 ID:???: しかしWikpediaの記載に信頼がおけないとすると
Wikipediaの純LISPのページはどのLISP方言使った話なのか分からんとアカンな
もう面倒だから残念無念で純LISP制作やめるとするかな・・・
554：（-＿-）さん：2013/06/10(月) 14:07:20 ID:???: でも結構時間かけたし、色々アドバイスもらったし、一応あと作るのはLAMBDAくらいだから最後までやってみるか・・・
555：（-＿-）さん：2013/06/10(月) 14:09:30 ID:???: wikipediaの純lispの説明に関しては間違ってるところがないから大丈夫
556：（-＿-）さん：2013/06/10(月) 14:14:49 ID:???: >>555
検証ありがとう
正しいなら安心して取り組めるわ
557：（-＿-）さん：2013/06/10(月) 22:24:48 ID:???: >>541をちょろちょろっと読んでるうちに感じたこととしては
今作っている純LISPは本当は設計からやり直さないとダメぽいな
うまく純LISPとして動作すればよいのだが・・・このペースだと一応の完成にあと１週間はかかりそう
558：（-＿-）さん：2013/06/10(月) 22:26:41 ID:???: ここ数日すっかり純LISPとmciSendStringのMP3プレーヤーの制作とネット麻雀三昧で小遣いサイトからのメールがたんまり溜まってしまったよ・・・今はそちらを先に処理したい
559：（-＿-）さん：2013/06/11(火) 17:27:36 ID:???: lambdaをどうやって作るかはだいたいイメージすることはできたけど
lambdaに関係ない他の問題が発生した
eqとcondだ,この２つについてもう一度調べなおす必要がでてきた・・・
はぁ・・・lispの一般的な仕様をよく調べずとりかかったのがマズったわ
560：（-＿-）さん：2013/06/11(火) 17:29:22 ID:???: lambdaは思ってたほど難しくなさそうとイメージできたからいいけど
無知は思考だけではどうにもならん、また調べる作業か・・・１日にlispに割ける時間はせいぜい多くて３～４時間だってのに・・・
561：（-＿-）さん：2013/06/11(火) 18:39:15 ID:???: Common LispのEQの仕様読むの疲れた・・・英語能力が中卒レベルなのがアダになった
Google翻訳とヤフー辞書とスペースアルクを駆使してなんとかEQの仕様を理解した
同じメモリを参照してるならTrueにしろってことか、わかってきたぞ
562：（-＿-）さん：2013/06/11(火) 18:58:50 ID:???: 英語資料にこだわる必要はあるのか
俺は日本語資料だけで済ませてるけど
563：（-＿-）さん：2013/06/11(火) 19:22:03 ID:???: condは実装によって仕様が結構異なるようだな・・・
純lispの論文のはCommon LispともSchemeとも仕様が違うようだな
前者は条件式のみの定義の場合、および全条件が偽の場合は戻り値は未定義で
後者らは条件式ののみの定義の場合は条件式の結果を、全条件が偽の場合はCommon LispがNILでSchemeが未定義かな
Common Lispは最後は(T nil)を指定するのが望ましくてSchemeはelse節といのがある、ということか
まぁひとまず純lisp論文のほう準拠で作ってくことにしますかね・・・
論文のほうはまた別のlispのようだね、他ではdefineという名前のがlabelとう名前になってるし
564：（-＿-）さん：2013/06/11(火) 19:26:28 ID:???: >>562
俺の検索能力の無さが原因、仕方なしに英語資料を読んでる、まぁ英語力もアップするだろうし、プログラミングは英語文献が大半だし、我慢のしどころってとこかな・・・
565：（-＿-）さん：2013/06/11(火) 19:30:43 ID:???: 純lispの論文で使われているlispはIBM 704というマシンに搭載されてたlispのようだな、IBM 704は約60年前のマシンか・・・すごいなlispの歴史は
566：（-＿-）さん：2013/06/11(火) 19:33:17 ID:???: ああ、IBM 704自体は60年前のマシンだがlispが実装されたのはもう少し後のことなのか、んでもってlispが最初に乗せられたマシンなのか、すごいな
567：（-＿-）さん：2013/06/11(火) 19:39:08 ID:???: 今はやりの大衆言語は何十年も前にすでにLispが通った道っていうのがすごいね
しかも型指定してコンパイルすれば速度がC並になるししなくてもそこら辺の言語よりは十分速い
構文はリストとアトムで簡潔､マクロを使えば無限に構文を定義できる､どんな時代にも対応できる全ての言語の頂点の最強の言語
しかし人気がない
568：（-＿-）さん：2013/06/11(火) 19:42:28 ID:???: ひとまず
EQはCommon Lispの仕様に則って同一メモリ参照ならTrue、それ以外はFalse　（っていうか純LISPの論文からじゃEQの仕様が分からん）
CONDは純LISP論文のIBM 704の仕様に則って作ることにした
IBM704のCONDは条件式と対応する戻り値式が１対１だけど
Common LispとかSchemeは戻り値式は好きなだけ並べていいという感じだし煩雑になりそうだからやめる
569：（-＿-）さん：2013/06/11(火) 19:44:41 ID:???: っていうかCommon LispとかSchemeのCONDはマクロだしね・・・IBM704のCONDはマクロかどうかは知らんが他の関数と特別式では再現できないからたぶん特別式だと思う
570：（-＿-）さん：2013/06/11(火) 19:45:32 ID:???: >>567
人気ないのは構文の可読性が悪いってとこだろうな
571：（-＿-）さん：2013/06/11(火) 19:47:15 ID:???: ひとまず、時間的に任されてる家事のほうをやらねばならない、つかlispに時間かけすぎたわ・・・今日のlisp時間は終わりだ、はぁ・・・作業が遅々として進まん、ヒキニートだのに時間が足りんとは
572：（-＿-）さん：2013/06/11(火) 19:49:04 ID:???: Common LispとかSchemeのCONDがマクロなのはCONDの条件処理が効率や使い勝手が悪いってことなんだろうな、
573：（-＿-）さん：2013/06/11(火) 19:50:47 ID:???: 効率や使い勝手のいい条件処理の特別式があればCONDは必要ないが、他のlispと合わせるために一応CONDを用意したってところか、しかもマクロ再現という
574：（-＿-）さん：2013/06/11(火) 19:50:59 ID:???: というかif定義した後マクロでcond定義したほうが楽だからね
575：（-＿-）さん：2013/06/11(火) 19:52:09 ID:???: つまりCONDは要らない子って感じか
576：（-＿-）さん：2013/06/11(火) 19:53:57 ID:???: いや､そんなことはない
(if pred1 expr1
(if pred2 expr2
...
と字下げが深くなるからcondのほうがいい時のほうが多い気がする
577：（-＿-）さん：2013/06/11(火) 19:55:26 ID:???: なるほど、そういう需要はあるのかCONDは要る子だったか
578：（-＿-）さん：2013/06/11(火) 22:31:33 ID:???: 純LISPの論文よく読んだらEQの定義がちゃんと書いてあった、同じシンボルならT、それ以外はFと、なのでこっち採用する。
579：（-＿-）さん：2013/06/11(火) 22:32:11 ID:???: html5 でゲームを作るなら
enchant.js これが良いらしいね
ただツールをhmtl5で作るとなるとよく解からん
580：（-＿-）さん：2013/06/11(火) 22:57:57 ID:???: html5でツールか
グラフ描いたりとかかな
581：（-＿-）さん：2013/06/11(火) 23:04:20 ID:???: そういやhtml5ってスマホがメインの技術か