関数の再帰的な定義に名前付けは必要か - 貳佰伍拾陸夜日記
結論から言うと, 名前を付けることなく再帰的な関数を定義することは可能. 特定のプログラミング言語でどうかというよりは抽象概念としての関数の再帰を名前なしに実現可能かどうかという話(名前なしに実現できるプログラミング言語は存在するかという話). 発端 id:naoyaさんがこういうツイートをしていた. 再帰を書くときに何気なく関数に名前つけたり let で束縛したりしてたけど「再帰には三項関係が必要でありその実現には記号が本質的に関わる」とあり、名前づけの行為が必然だったことが分かった。プログラミングするときの視点が変わるな— naoya (@naoya_ito) 2022年8月12日 たとえば以下のように書いたときのlet fact =みたいな話. let fact = n => n <= 1 ? 1 : n * fact(n-1) ちなみに, 話は一見逸れるけど, こう書けると必然的に
LLVMによるプログラミング言語の実装 – 日曜研究室
最近の投稿 問題: 積み木を10個積み上げるのにかかる時間は 2020/8/20 木曜日 Google の G Suit Team から “[Action Required] Remove internal links to the G Suite Domain Contact page for your organization” ていうメールが来た 2020/8/14 金曜日 NZXT H1 と ROG STRIX B550-I GAMING で組んでみた 2020/7/17 金曜日 花粉症対策2019 2019/3/16 土曜日 マルチディスプレイ時のDisplayPort問題を何とかしてみた 2019/1/12 土曜日 REALFORCEソフトウェアがインストールできない(解決済) 2018/12/6 木曜日 GeForce RTX 2080 Founders Edition を買
イケてるしヤバい言語 REBOL - yojikのlog
ある日ふと思い立って調べてみた、イケてるしヤバい*1言語REBOLについて紹介します。 REBOLは、 Relative Expression Based Object Language 「相対的な表現をベースにするオブジェクト言語」の略です。よく意味わからん。 Wikipediaによると、 1997年にリリースされたREBOLは、カール・サセンラスが20年に渡って設計したものである。サセンラスは AmigaOS の主要アーキテクトであり、REBOLの設計にあたっては、表示的意味論の知識に基づいて、LISP、Forth、LOGO、Self といったプログラミング言語の概念を利用した。 引用元：REBOL - Wikipedia 大雑把にいうと、LispやForthやLOGOやSelfに似たスクリプト言語です。ここからダウンロードできます。最新バージョンはオープンソースライセンスになっていま
ClojureのSTMは使い物にならない
0x00. Clojureがいけてる件について ここ数ヶ月でClojureをどんどん実戦投入してみているが、その成果は素晴らしいの一言に尽きる。Javaでは考えられなかったほどスマートかつ柔軟にデータ処理が可能であり、「あれ、こんなに短い記述でできちゃうのか！」と驚かされることが多い。そんなわけで、何でもかんでもJavaで片付けてきた筆者はここにきてClojureにかなり惚れ込んでおり、電子書籍やらウェブサイトやらで本格的に情報収集を進めているのだが… 0x01. Clojureの並列プログラミング 現時点では、Clojureを実戦投入したのは、ちょっとした処理に使うツール的なものだけである。理由は単に、筆者がまだClojureの初心者だからだ。しかしそろそろメインの仕事であるサーバアプリケーションやウェブアプリケーションでも使いたくてウズウズしてきており、そのような視点からさらに調査を進
Cambridge Dictionary Online
0 && stateHdr.searchDesk ? 'pa pdd chac tc-bd bw hbr-20 hbss lpt-25' : 'hdn'">
ある種の、たとえば恋愛関係の質みたいなものが - finalventの日記
日本語や、近代という背景に結びついているのかどうかは、わかりそうでわかりづらい問題で、いや、よくわからない。 漱石のこころや明暗など、百年以上も経つのに、かなりの日本人の人生の経験の質に呼応してくる。 たぶん、あの小説を、かなり上手に翻訳しても、欧米人には理解不能なのではないか。 あるいは、現代日本の萌え文化みたいのを経由すると可能なのか。とか思うのは、めぞん一刻の情感とはが現代の欧米人でもわかる人にはわかるだろうし、あそこから漱石の情感に繋がるのはもう一歩のようにも思う。 私は小林秀雄が好きでよく読んだが、彼は彼で女とか友情とか家とかいろいろ悪戦苦闘はしたが、漱石文学の質感とはうまくあっていないように思えた。小林という人は漱石がなぜこんな小説を書いたのかまるで理解できてなかったのではないか。 それはそれとして。 村上春樹やよしものばななの文学は、そのまま欧米にも通じている。よい翻訳者を得
Scalaチュートリアル - Spirit of Apprenticeship (みならいだましい)
まつもとさんのところで見て気になったので訳してみた。 http://lamp.epfl.ch/~phaller/doc/ActorsTutorial.html Scalaアクター -- ショートチュートリアル 著者: Philipp Haller Date: May 24, 2007 はじめに マルチコアプロセッサーの到来と共に、並列プログラミングは無視できないものになりつつある。Scalaの主たる並列性の構成要素はアクターである。アクターは基本的な並列プロセスで、メッセージ交換を通じてお互いにやり取りできる。アクターは、また、メッセージ送信に反応してメソッドを起動する生きたオブジェクトの一形態と見ることも可能だ。 Scalaアクターライブラリは非同期と同期両タイプのメッセージ送信(後者はいくつかの非同期メッセージを使って実装される)をサポートする。さらに、アクターは非同期にリクエストを処
Joe Mutters | 新言語 neko mimi Fu**
大久保のページに戻る こよみ 分類 このページの記事一覧 最大挑戦者 (04/07) 新言語 neko mimi Fu**♥ (04/06) なで肩 (04/05) 新しいコメント 新しいtrackback 保管庫 検索 その他 RSS1.0 Atom0.3 BrainFuck <[+-.,]> http://pc8.2ch.net/test/read.cgi/tech/1036013915/429-430 笑った。 429 名前：デフォルトの名無しさん[sage] 投稿日：04/10/13 23:27:54 新言語 neko mimi Fu**♥ ・1レス内に全命令のリファレンスが入る素敵な言語。 ネコミミ！ ポインタをインクリメント ネコミミモード ポインタをデクリメント おにいさま ポインタが示すメモリ位置
翻訳:プログラミング言語Lazy_K
このページは、Lazy K公式サイトの翻訳です。 http://homepages.cwi.nl/~tromp/cl/lazy-k.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書き / 訳語についてLazy K要約サンプルコード何故Lazy Kが必要とされるのかLazy KのI/OLazy Kの構文と動作Lazy Kの失脚Lazy KインタープリタLazy Kコンパイラサンプルコードバグと欠点訳者による感想 / 要約 / その他コメントその他 訳者による前書き / 訳語について この文書はとりあえず、Lisp(できればScheme)を理解してる人向け。 動作の説明例がlambdaで書いてあったり、Lazy KコンパイラでScheme処理系が必要になったりする為。 C
プログラム言語とその他のメモ。
プログラミングそのものは、あまり好きではない。 当然、実用的な内容はない。 2005年4月以降どうなるか不明。 Lispの(S式以外の)特徴(未完成) Scheme、Common Lisp、Emacs Lispの比較(未完成) 内容のわりに長い。 自己出力プログラムと自己参照プログラム 計算できない問題・関数について 停止問題とかbusy beaver関数の事など。 Schemeでラムダ計算 不動点オペレータについて 再帰的定義に使うYオペレータとかの事。 継続の説明(前置き) 継続の使用法 Schemeでの継続の使用。 SchemeとActor理論 CPS(Continuation Passing Style)について 「SchemeとActor理論」と同じ内容なので、 どうするか考え中。 CPSで多値(とか) values、call-with-valuesがあるから、 無理してS
Functioal Programming IAT
IAT とは Implicit Association Test の略で、潜在意識をはかる心理テストだそうです。 Functinal Programming IAT とは 関数型指数 (潜在的な関数型プログラミングの嗜好度) をはかる IAT のつもりです。 免責事項 どんな結果が出ても作者は責任を取りません。テスト結果はサーバに保存され、後で統計処理を施した上で公開される可能性があります。その際は個人が特定されないような形にしますが、作者のミスなどで生データが漏れ、「あいつ関数型人間なんだぜー」などと後ろ指をさされるなどしても責任は取りません。これに同意できる人だけやってください。 テスト
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
bf2c demo
>+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.[-]>++++++++[<++++>-]<.>+++++++++++[<+++++>-]<.>++++++++[<+++>-]<.+++.------.--------.[-]>++++++++[<++++>-]<+.[-]++++++++++.
twitterブームの陰で注目を集める“Erlang” － ＠IT
2007/04/27 “twitter”がブームだ。140バイト以内の短いメッセージで“現在進行形”の自分のステータスをほかのユーザーとシェアするだけのオンラインサービスだが、本国の米国はもとより、日本でも非常な人気を集めている。Alexaでアクセス数の推移を調べると、今年に入ってから本格的にブレークしている様子が分かる。4月22日にはニューヨークタイムズもtwitterと、サンフランシスコ在住の創業者2人を記事で取り上げている。 twitterのコミュニケーションツールとしての新しさ twitterに参加してみると、チャットやメール、SNSといった、既存のコミュニケーションツールのいずれとも異なる、不思議なつながり方が新鮮で楽しい。熱心にメッセージを更新するユーザーを見ていると、CUSeeMe、ICQ、mixiなどが登場したときに人々が示した熱狂に近いものを感じる。 twitterでは、
anarchy golf
Anarchy Golf This is a golf server. You can enjoy short coding here in several languages (115 languages). The purpose of this server is not serious competition. Joke problems are welcomed and you can speak freely about problems and can release spoilers. For serious competition with ranking, enter Code Golf. IRC channel for this golf server: #anagol in freenode. Please feel free to join the channel
6.189 Multicore Programming Primer
This page is not maintained. Please search for current computer architecture groups at https://www.csail.mit.edu/research. This is the home page for the Computer Architecture Group (CAG) at the Massachusetts Institute of Technology's Computer Science and Artificial Intelligence Laboratory. Active CAG Projects Carbon Curl Oxygen Commit O2S Related Groups Computation Structures Group Related Courses
Scheme:マクロ:CommonLispとの比較
安全なマクロ束縛変数の衝突自由変数の衝突S式≠プログラム?議論、コメント 関連: Scheme:マクロ:anaphoric ifの代替, Scheme:マクロの効用, Scheme:マクロの危険 2007/05/15 00:08:13 PDT追記: 黒田さんの再反論と、それに対するコメント:Scheme:マクロ:CommonLispとの比較:意味論。 安全なマクロ MSIの黒田さんの About Schemeより: first class symbol がないということは様々な弊害を引き起こしますが、なかでも深刻なのは、名前の衝突に関して無力な点です。 そうすると、実質 macro が書けない… 例えば以下の arithmetic-if は、いかなる名前とも衝突しない uninterned な名前を var に割当てることで、 どういうコンテクストにおいても動作保証のできるマクロ展開結果を
R言語 - Wikipedia
R言語（アールげんご）はオープンソース・フリーソフトウェアの統計解析向けのプログラミング言語及びその開発実行環境である。ファイル名拡張子は.r, .R, .RData, .rds, .rda。 R言語はニュージーランドのオークランド大学のRoss IhakaとRobert Clifford Gentlemanにより作られた。現在ではR Development Core Team[注 1] によりメンテナンスと拡張がなされている。 R言語のソースコードは主にC言語、FORTRAN、そしてRによって開発された。 なお、R言語の仕様を実装した処理系の呼称名はプロジェクトを支援するフリーソフトウェア財団によれば『GNU R』であるが[3] 、他の実装形態が存在しないために日本語での慣用的呼称に倣って、当記事では、仕様・実装を纏めて適宜にR言語や単にR等と呼ぶ。 特徴[編集] R言語は文法的には、統
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rust vs. Go に対する @tanakh さんの発言まとめ
http://ja.doukaku.org/