Philosophy
Featured courses Diplomas Gain entry to a range of Bachelor courses by studying a La Trobe Diploma. Double degrees Broaden your career opportunities or pair a practical degree with your passion. Online degrees Get the standing of a reputable university with the flexibility to study anywhere, anytime. Packaged course offers Secure your spot in not one degree – but two. Short courses Upskill fast or
The Theory of Concatenative Combinators
Brent Kerby (bkerby at byu dot net). Completed June 19, 2002. Updated February 5, 2007. Introduction A Few Combinators: swap, dup, zap, unit, cat, cons, i, dip Lambdas An Abstraction Algorithm The sip Combinator Schemes of Combinators: dign, buryn Another Combinator Scheme: flipn Two More Schemes: dipn, sipn Applicative Combinators: w, k, b, c, s Towards a Minimal Base: {cons, sip, k} A Smaller Ba
L2Lisp in Ruby：CodeZine
はじめに P.Graham著『On Lisp』に示されているように、現代的なLispプログラミングでは静的スコープ（字句的スコープ）と末尾呼出し（末尾再帰を含む）の最適化のもとでのマクロが重要な意味をもちます。しかし、今まで処理系作成の初心者が内部に手を入れやすい手頃な大きさの実装が事実上ありませんでした。 ここでは、そういったモダンな特徴を備えた小さなLispインタープリタL2LispをRubyで作ってみます。L2Lisp（Little Lambda Lisp）は、Lispの理論的背景であるラムダ算法（lambda calculus）に対し、有力なLisp方言であるSchemeと同程度に忠実である一方、その他の点では広く普及しているEmacs Lispのサブセットとしたオリジナルの小型Lispです。 実行例としてtak関数を定義し、実行する様子を示します。Ruby以外に必要なのはL2Li
Lambda Animator : animated reduction of the lambda calculus
mode with Java Web Start or in an Applet Usage Screenshots Feedback Acknowledgements Related work Lambda Animator is a tool for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after function application. Reductions can also be performed within func
にわとり小屋でのプログラミング日記
どんなあみだくじでも答えにたどり着くことを証明した。 ここでいうあみだくじとは 有限本のくじ(縦棒)がある 縦棒上の点と点を結ぶ横道が有限本ある 横道は水平線だけじゃなく、遠くのくじへ行ったり自身を上に行ったりできる ダメなこと 「ふりだしへもどる」はない 同じ点と点を結ぶことはできない 一方通行はない 一度通ると崩れるマリオのブロックみたいな道はない どちらに行くか選べる分岐みたいなのはない なぜ証明したか PPLで話題になって証明しようかなと思った。 ざっくりとしたアイディア あみだくじを形式的に定義するアイディア くじ(縦棒)の集合があったとき、横道の集まりで一つのあみだくじのデータを表現した。 例えばこのあみだくじは A0--B2, A1--B0, B1--C0 という3本の横道として表現する。横道は端点のペアであり、端点の添字は点の高さで上から順に一つづつ大きい数字になる。各くじ
まつもと直伝 プログラミングのオキテ---目次 - まつもと直伝 プログラミングのオキテ：ITpro
第0回 あらためてRuby入門 まつもとゆきひろ氏自身による「Ruby入門」をお届けします。日経Linuxの連載開始前の特別企画（2005年4月号）として，Rubyが他のスクリプト言語やオブジェクト指向言語とどこが違うのか，なぜ便利なのかを中心に解説してもらったものです。 ● 基本と他言語との違い ● 実装とRuby誕生の秘密 第1回 プログラミングとオブジェクト指向の関係 プログラマを目指す人々の中にも，「オブジェクト指向は難しい」とか，「なかなか分からない」という印象を持つ方が多いようです。そこで，Rubyを題材にオブジェクト指向という考え方について説明していきます。 ● その1 ● その2 ● その3 第2回 抽象データと継承 オブジェクト指向プログラミングを構成する3原則のうち，前回は「ポリモーフィズム」を学びました。今回はオブジェクト指向の歴史を復習した後，残りの「データ抽象」と
ほぼりスクリプト言語Scalaの情報源 - HHa（H派）メモ
言語Scalaは、EPFL大(仏ローザンヌ)のMartin Odersky教授により開発された、強い型付けをもつ純粋なオブジェクト指向と関数型が理論的にほぼ完全に融合したプログラミング言語です。Scalaは、JVM上で実行されるため、言語内からすべてのJavaクラスが普通に利用可能であり、簡潔で高い表現力とJavaとほぼ同等の実行性能をもっています。 強い型付け言語でありながら型推論機能のおかげで冗長な型宣言が不要であり、Ruby以上にコンパクトなコード記述を許し、GenericやMixin(Trait)等の抽象クラス管理機能、パターンマッチング機能などの簡潔で豊かな表現力と相まって、新世代の実用スクリプト言語としての高い可能性も秘めています。 ○言語Scalaの基本サイト The Scala Programming Language（ダウンロード、ドキュメント充実） http://www
PayPal Casinoer uden om ROFUS » Bedste Guide til Online Gambling til danskere
PayPal casino uden ROFUS: Komplet guide til sikker online gambling i Danmark PayPal er blevet en populær betalingsmetode på udenlandske online casinoer uden ROFUS. Dette skyldes den hurtige og sikre måde at overføre penge på, som mange danske spillere værdsætter. PayPal casinoer uden ROFUS tilbyder hurtige udbetalinger på 1-3 timer og accepterer spillere, der er registreret i ROFUS-registret. Når
Programming Erlang を訳してみている - val it : α → α = fun
Gauche部屋@lingr でちょっと明かしましたが、件の Programming Erlang を日本語にしてみたりしています。 そして訳しはじめてから、そういえばこれは beta book だからいろいろとヘンなことがあるのに正式版が出たときにどうすればいいのか、ということに思いいたる。現在5章、そろそろ変な(推敲しきれていない)文章も出てきたぞ。さあ、どないすりゃいいんですかね。 というわけで未完成版だが、PDF版を置いてみる。→http://www.city5.org/programming_erlang.pdf いちおうパスワードがかかっていて、本を買った人じゃないと見えません。というようになっているはず。 興味のある人、協力してくれる人、実はオレももうやっていたという人、などがいたりするとわたしもうれしい。 えーと、パスワードが破る不心得者があらわれたら、そのときに考えます。
letter
CPU : AMD Ryzen 9 5950X Vermeer[3.4GHz/16Core/TDP105W] 搭載モデル CPUグリス: Arctic Silver AS-05A [高密度微粒子、高熱伝導率タイプ] 水冷UNIT : Fractal Design FD-WCU-CELSIUS-S36-BK [水冷ユニット] MOTHER : ASRock X570 Taichi [AMD X570chipset] MEMORY : 64GB[16GB*4枚] G.SKILL Trident Z RGB DDR4-3200 RGB内蔵ヒートスプレッダー搭載 Dual Channel HDD/SSD : Western Digital WD Black SN850 WDS200T1X0E [M.2 PCI-E GEN4 SSD 2TB]★PCI-E4.0対応 超高速次世代S
SML# - Windows上でMLとCのプログラミングを学ぼう
[ トップ | 目次 | 前ページ | 次ページ ] CとMLは互いに計算に関する考え方の異なるプログラミング言語である． Cは計算機のメモリー構造へのアクセスと変更を基本とし， MLは関数を定義し関数を組み合わせ値の計算をすることを基本とする． これらは，どちらが基本的とかより優れているといったものではなく，相補的な概念である．Cのプログラムでも多数の関数が利用され，また、MLの実用的なプログラムでもメモリー構造へのアクセスや更新が必用になる場合がある． さらにこれら二つの言語は，プログラムの典型的な二つの側面を代表している．プログラミング言語は，計算機が実行する計算を記述するための言語である．現在のデジタル計算機は，メモリーの変更を繰り返すことによって計算を行う．Cは，この計算機上で行う計算に忠実なモデルをプログラマに提供する．プログラマは，C言語を通じて，実際に行われるメモリーへの変
てきとうなメモ
こんなまとめを読んだ togetter.com 一方で元文献の著者の平山昇は以下のように指摘している。 【「初詣」の歴史に関するメディア・ネット上の誤りについて】 「『初詣』は鉄道会社（京急）の営業活動によって誕生したもの」という言説が一部のテレビ番組やインターネットなどで拡散しておりますが、これは私の研究を紹介した過去のメディア報道をせっかちに誤解したもので、端的に誤りです。川崎大師が明治時代に「初詣」の発祥の地となったのは事実ですが、それは京浜電鉄（現在の京急）が誕生するよりも前のことでした。「初詣」発祥の経緯については拙著『鉄道が変えた社寺参詣』にて説明しております。 で、以下のsynodosの記事や著書の「鉄道が変えた社寺参詣」を少し読んでみた。 synodos.jp 現在の初詣の参詣方式は明治20年ごろに誕生したが、ここでいう初詣とは「いつ」「どこに」を指定しない、正月ごろにどこ
schemeで矢印let - val it : α → α = fun
ふと LispUser.net のむかしの記事を見ていたところ、S式の限界と題して、 let と cond の記法拡張の話があった。端的に言うと、矢印が使えるようになるというもの。 で、最初に見たときは「あーまあそうだよね」という感じであり、まあサンプルとしては良いな、と思っていたわけだ。でまあそれだけだったんだけど、なんというか、わりと最近になってようやく自分でも define-syntax / syntax-rules で書くのに抵抗がなくなったというか、「こうすればできるじゃん」のイメージが掴めるようになったので、例題がてらにちょっとやってみた。 いい機会なので、 pyvnc2swf で撮影したムービーも公開します。というか、ムービー作成をちょっとやってみたかった、というのもある(笑)。 矢印let矢印cond 裏をあかすと矢印letの方はやってみたらすぐ出来てしまい、それは撮影して
WebHome - Erlang - e r l a n g : c o o k b o o k
Welcome to the Erlang Cookbook. The Erlang Cookbook is a collaborative effort to produce practical documentation for using the Erlang language, particularly in commercial environments. It is focused on OTP Erlang?, although other dialects/distributions may also be supported. Note that the latest version of the Erlang cookbook has been moved and can now be found in the Erlang Wiki in Trapexit, the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Y-Combinator
はてなブログ | 無料ブログを作成しよう
api.satoru.net
アヘン窟
A list of interesting Erlang links | aidanf.net
http://www.city5.org/AlligatorEggs.html