Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
11: デフォルトの名無しさん [sage] 2018/10/07(日) 16:22:54.47 ID:n2yn9/Ec >>10 ありがとうございます。 削除というのは、その機能をSchemeのソースから削除して再コンパイルするということですか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/11
12: SCHEME餃子 ◆8X2XSCHEME [sage] 2018/10/07(日) 19:43:40.12 ID:77445U4A >>11 そう。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/12
13: デフォルトの名無しさん [sage] 2018/10/08(月) 11:15:35.46 ID:s+P1p206 >>12 ありがとうございます、やってみます！ http://mevius.5ch.net/test/read.cgi/tech/1531587928/13
14: デフォルトの名無しさん [sage] 2018/10/09(火) 08:07:54.35 ID:dwdUWAaf 依存型についてのテキストが出てるよ。 Daniel P. Friedman, David Thrane Christiansen "The Little Typer" Boro Sitnikovski "Gentle Introduction to Dependent Types with Idris" Edwin Brady "Type-Driven Development with Idris" Adam Chlipala "Certified Programming with Dependent Types" Aaron Stump "Verified Functional Programming in Agda" Idris と Pie言語 ではλ関数とπ関数が同じように導入されているので相互に勉強できるのがいい。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/14
15: デフォルトの名無しさん [sage] 2018/10/09(火) 15:29:09.16 ID:dwdUWAaf π算法 Robin Milner "Communicating and Mobile Systems: The Pi Calculus" Davide Sangiorgi, David Walker "The Pi-Calculus: A Theory of Mobile Processes" Matthew Hennessy "A Distributed Pi-Calculus" π算法はもともとCCSの拡張としてRobin Milnerらによって考案された、並行計算（π算法はλ算法の並行版）を表すモデルであり、プロセス計算の一種。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/15
16: デフォルトの名無しさん [sage] 2018/10/11(木) 04:45:55.72 ID:kRD0TmZA A Little Taste of Types - Code Mesh 2017 - David Christiansen https://www.youtube.com/watch?v=3z9nISI4ppw A Little Taste of Dependent Types 2018 - David Christiansen https://www.youtube.com/watch?v=1BWYy2-WM-o http://mevius.5ch.net/test/read.cgi/tech/1531587928/16
17: デフォルトの名無しさん [sage] 2018/10/16(火) 23:34:54.71 ID:D0vhWqBd Gaucheのリファレンスマニュアル日本語版pdfはないのでしょうか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/17
18: SCHEME餃子 ◆8X2XSCHEME [sage] 2018/10/17(水) 01:03:06.73 ID:BPtTatWV >>17 Gauche のソースツリーの doc ディレクトリで make pdf コマンドを実行すれば、 pdf 形式のドキュメントのビルドプロセスが走ることになってるよ。 ただ、 TeX を使うみたいなんで、 TeX を導入するのが面倒ってことはあるかも。 公式からは PDF 形式の日本語マニュアルは出してないっぽいね。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/18
19: 17 [sage] 2018/10/17(水) 21:27:28.91 ID:MYn8m29E ありがとうございます。挑戦してみます。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/19
20: デフォルトの名無しさん [sage] 2018/11/19(月) 21:32:10.84 ID:Ebw/7CYM はちみつ餃子しかいないスレになってしまった http://mevius.5ch.net/test/read.cgi/tech/1531587928/20
21: デフォルトの名無しさん [sage] 2018/11/19(月) 22:07:56.77 ID:FLKvqXWs よく見ろ別人だぞ。 まさか同一人物なわけがあるまい。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/21
22: はちみつ餃子 ◆8X2XSCHEME [sage] 2018/11/19(月) 22:58:27.29 ID:EqyITMeu 話題がなさすぎるので近頃は C++ スレばかりにいるんだけど、 なんか面白い話題があればどんどん書いてよ。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/22
23: デフォルトの名無しさん [sage] 2018/11/20(火) 01:03:10.36 ID:Bz9DRyU5 そんなとこにいたら頭がガベージまみれになるぞ http://mevius.5ch.net/test/read.cgi/tech/1531587928/23
24: デフォルトの名無しさん [sage] 2018/11/22(木) 08:37:23.04 ID:idUjP7lK 東方算法騎士団ってどうやって入るの http://mevius.5ch.net/test/read.cgi/tech/1531587928/24
25: デフォルトの名無しさん [sage] 2018/11/22(木) 11:14:07.32 ID:PNeid+Qy Jupyter with Schemeってどう？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/25
26: デフォルトの名無しさん [sage] 2018/11/25(日) 11:38:51.25 ID:yUG3gEBB Try Jupyter で試してみ http://mevius.5ch.net/test/read.cgi/tech/1531587928/26
27: はちみつ餃子 ◆8X2XSCHEME [sage] 2018/12/21(金) 18:19:35.67 ID:2lFdE5qB Gauche 0.9.7 がリリースされたよ〜 http://practical-scheme.net/gauche/download-j.html http://mevius.5ch.net/test/read.cgi/tech/1531587928/27
28: デフォルトの名無しさん [sage] 2019/01/08(火) 17:40:17.47 ID:n4V6aMpj WindowsでMinGWがインストールされておらずMSVCだけある状態で C言語のhelloworldプログラムでgauche.hをインクルードすると gauche.h内の#include <sys/time.h>の部分でエラーになります。 C言語からGaucheを利用する場合はMinGWがインストールされていることが前提という解釈であっているでしょうか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/28
29: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/01/08(火) 21:15:36.70 ID:YHlgtmk9 >>28 はい。 Gauche をビルドするためには MinGW というか (MinGW を含めた開発環境であるところの) MSYS2 を要求しています。 https://github.com/shirok/Gauche/blob/master/doc/HOWTO-mingw.adoc 少し古いバージョンは (MSYS2 ではなく) MSYS を要求していました。 gauche.h もその開発環境に依存しているので、 gauche.h を include した C のコードは MSVC ではコンパイルを通りません。 つまり、 Gauche の拡張モジュールや Gauche を呼び出すプログラムを C で書こうとするなら、 Windows では MSYS2 を使う方法しか想定されていません。 ただ、過去に「VC++用ポート」を試みた記事が WiLiKi に残っていますし、 ある程度は動いていたようですので、手間を書ければ全く不可能なことというわけでもなさそうです。 https://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3AWindows%2FVC%2B%2B Gauche の実態は単なる DLL ですから、Gauche 自体を MSVC でコンパイルするのは難しくても Gauche を呼び出すプログラムを MSVC で作る分には頑張ればなんとかなる可能性は充分にあるように思います。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/29
30: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/01(金) 16:27:31.29 ID:jPYNOX7L Racket のコアを chez のに置き換える話が以前に出てたけど、 もうほとんどできたみたいね。 次のリリースあたりからはそれになるのかな。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/30
31: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/05(火) 04:44:00.67 ID:VmiK9YL/ R7RS-Large の Tangerine Edition は議論・投票への参加者が少なすぎてちょっとアレな状況みたいね。 積極的に参加してあげて！ http://mevius.5ch.net/test/read.cgi/tech/1531587928/31
32: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/08(金) 19:33:54.35 ID:U10rELvE 界隈でなんだかちょっとだけ ISLISP の人気が出てきてるというか ここ最近になっていくつか新しい実装が発表されてるんだけど、 使ってみた人いる？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/32
33: デフォルトの名無しさん [sage] 2019/02/10(日) 03:09:59.76 ID:ZBYYirVg >>32 新しい実装ってどれのことよ？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/33
34: デフォルトの名無しさん [sage] 2019/02/11(月) 02:00:38.22 ID:eS7AzULV >>33 Githubを検索したらこんなん出てきた https://github.com/nenbutsu/kiss https://github.com/ta2gch/iris https://github.com/sasagawa888/eisl http://mevius.5ch.net/test/read.cgi/tech/1531587928/34
35: デフォルトの名無しさん [sage] 2019/02/11(月) 03:37:14.19 ID:JleTlNG9 日本製ばっかりなんだ http://mevius.5ch.net/test/read.cgi/tech/1531587928/35
36: デフォルトの名無しさん [sage] 2019/02/11(月) 23:47:14.75 ID:sKwQy+pT そりゃ日本人が中心になって考えた規格だし http://mevius.5ch.net/test/read.cgi/tech/1531587928/36
37: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/12(火) 01:54:55.89 ID:jYEPbswv へー。 そうなのかと思って経緯を調べてみたりしてたんだが、 その過程で ISLISP の IS は International Standard の略だと見つけた。 id.nii.ac.jp/1001/00003362/ 仕様にも書いてないから知らんかった。 もっと古い時代に STANDARD LISP という名前の Lisp があったそうで、 http://www.softwarepreservation.org/projects/LISP/stanford/Hearn-StandardLisp-AIM-90.pdf それ故に標準化にあたって単に Standard とは名乗れず、 Common Lisp が Common Lisp という名前になったのもこのあたりの事情があるらしい。 単に名前を付けるだけでも変な苦心をしてるんだな。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/37
38: デフォルトの名無しさん [sage] 2019/02/12(火) 02:23:54.71 ID:xM7yD0R2 イスラミックステートLISP 処女とヤリまくれるらしいぞ！ http://mevius.5ch.net/test/read.cgi/tech/1531587928/38
39: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/13(水) 00:07:17.42 ID:VqRfiaP4 >>38 イスラミックステートにかけるなら、 支配地域が縮小してるらしいぞというところに引っかければよかったんじゃないかと思ったが、 縮小どころか元々たいして使われてなかったということに気づいた。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/39
40: はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/13(水) 00:10:08.40 ID:VqRfiaP4 >>39 大してして使われていない (少なくとも私の観測範囲では) と思ってるけど、 今後の発展があれば面白いなとも思ってることは付け加えておく。 (ディスってるわけじゃないんだからね！ ってこと) http://mevius.5ch.net/test/read.cgi/tech/1531587928/40
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 815 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s