檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
Ajax Pages
Ajax Pages is a scripting template engine that enables rapid development of Ajax Web-based Applications, just like GMail, Google Maps, A9 and Backpack, but without having to manipulate complicated Document Object Models to make things dynamic. Based on the experience of JSP, ASP and PHP, Ajax Pages brings easy scripting templates to the client-side. Anyone familiar with these tecnologies will feel
Lex and YACC primer/HOWTO
PowerDNS BV (bert hubert <bert@powerdns.com>) v0.8 $Date: 2002/07/22 14:02:09 $ 大西 大樹 (daiki onishi <onishi@mbc.nifty.com>) v0.8j 2003/02/08 本ドキュメントは Lex と YACC の基本的な使い方について記述します 1. イントロダクション 1.1 本ドキュメントに含まれないもの 1.2 ダウンロード 1.3 ライセンスについて 2. Lex と YACC でできること 2.1 それぞれのプログラムのやっていること 3. Lex 3.1 正規表現でのマッチ 3.2 C のようなシンタックスをもつもう少し高度な例 3.3 おさらい 4. YACC 4.1 単純な温度調節器 4.2 引数を扱えるように拡張した、温度調節器 4.3 設定ファイルの構文解析
Studying HTTP
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネット(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2024年5月時点の調査。
もうひとつの Scheme 入門
勾配の緩やかな初心者向け Scheme 入門ページです。 コンピュータは使ったことがあるが、プログラミング経験があまりない人を想定しています。 Scheme の解説はすでに山ほど優れたものがありますが、あえて解説記事を書いてみました。 Scheme のような抽象的な話題は波長が合えばすんなりと理解できますが、あわないと全く理解できません。 他の解説を読んで今ひとつよく理解できなかった人は試しに読んでみてください。 この記事の目標はコンピュータ科学の教科書の決定版である SICP を読める程度の Scheme の知識を提供することです。 目次: 処理系のインストール Scheme を電卓代わりに使う リストを作ろう 関数を定義しよう 分岐 局所変数 繰り返し 高階関数 入出力 代入 文字、文字列 シンボル型 連想リスト、ハッシュ表 ベクトルと構造体 構文の定義 (マクロ) 継続 遅延評価 非
紫藤のページ
紫藤のページにようこそ！ Lisp, Haskell, Python, Sather などの関数型言語の解説、小品プログラムを載せています。 ここでは関数型プログラミング言語をものすごく広い意味で使っており、 手続きをデータとして扱える言語を指します。 （Python, Sather などは普通はオブジェクト指向言語に分類されます。） また、xyzzy のマクロに関するメモもあります。 面白そうな割りに、web 上に文書が少ない題材を取り上げています。 リンクはご自由にお張りください。 更新ログ [Sep 15, 2014](Python) Set を用いたライフゲームの実装 を作成 [Jul 21, 2014]デコレータを用いた bottle.py のアクセスコントロール を作成 [Jul 13, 2014]Maildir のバックアップ を作成 [Jun 28, 2014]自宅サーバの
ROYALTOGEL - Bandar Toto Macau Dengan Link Prediksi Akurat
ROYALTOGEL - Bandar Toto Macau Dengan Link Prediksi Akurat Royaltogel merupakan bandar toto macau yang menawarkan permainan toto togel terbaik dan terpercaya, dengan pilihan pasaran yang tak hanya macau toto, tetapi semua pasaran yang ada didunia menjadikan royaltogel menjadi situs bandar toto macau terbaik dan terpercaya dengan pasaran terlengkap di indonesia. Dengan berbagai fitur terbaik sepert
spice-of-life.net - LearnOOPWithSqueak
Squeakによるオブジェクト指向プログラミング入門 2007/03/30 (Fri) 22:07:46 JST 目次 オブジェクトとは何か メッセージ送信 ポリモルフィズム クラスとメソッド メソッドの定義 クラスとインスタンス クラスの定義 対象とする読者 PerlやCなどの手続き型言語は使えるが、オブジェクト指向がよくわからないという人 RubyやJavaなどのオブジェクト指向言語を使っている/使いたいが、オブジェクト指向がよくわからないという人 なぜSqueakなのか オブジェクト指向の言語はたくさんあります。そのうち手軽に試せる言語もたくさんあります。その中でなぜSqueakを使うのかというと、Squeakではオブジェクトが目に見えるからです。百聞は一見に如かず、オブジェクト指向は読むより聞くより考えるより、見て触って体感するのが手っ取り早い覚え方だと思います。 Squeakでは
Make チュートリアル
Make というツールは多くのプログラマが利用しているでしょう。 動作原理自体は単純で、 目的のファイルと依存関係にあるファイルとの更新時刻を比較して、 必要なら再実行すべき処理を行なう、というものです。 しかしメイクファイルには「推論規則」や 「（内部的に定義済みの）暗黙のルール」といったものがあり、 これらを多用されると初心者にはちょっとわかりにくいものになる場合があります。 そういう私もこういったルールを知らずに使っていたことがあり、 いざというときに苦労した覚えがあります。 そこで、これを機会にチュートリアルとしてまとめておくことにしました。 なお、ここで使用した Make は GNU Make version 3.80 です。 Make の基本 マクロ ターゲット指定と疑似ターゲット 推論規則と拡張子 暗黙のルール ファイルのインクルードとメイクファイルの階層化 【参考文献】 「
Let’s use doxygen!
はじめに プログラマには、ドキュメント、とくにプログラムの内部仕様書を書くのが苦手、 という人が多い。 その理由は明らかであって、そもそも、ソースコードに (バグも含めて)*1 すべての仕様が子細もらさず書かれているのに、なぜ、さらにそれと独立した仕様書が必要なのかと、 (半ば本気で) 思ってしまうからである。 ソースコードと独立にメンテナンスをしなければならないような仕様書は、 いずれソースコードと整合性が取れなくなって、無意味ならまだしも、 かえって害をなす存在となり果てることもある、ということを、 彼らは経験的に理解しているのである。 (*1) Ruby の作者である、まつもとゆきひろ氏は、 その著者『オブジェクト指向スクリプト言語 Ruby』の中の「付録C Ruby 用語集」で、 次のように書いている: ドキュメント まつもとの苦手なもの。彼は普段から「ソースがドキュメントだ。
論理回路／FORTH
FORTH を使うための手引き FORTH の使い方 FORTH の開始，終了 逆ポーラント記法 スタックとその動作 FORTHワードとは DIS, SDMP, TRACE LOAD, SAVE FORTH辞書の凡例、 約束 FORTHワード (機能別索引) FORTHワード (アルファベット順索引) 異常報告 (Error Message) FORTHプログラミング FORTH 言語によるプログラミングの例を示します。 プログラムの部分は、cut and paste することにより、FORTH 上で compile でき、実行できます。 なお、FORTH は大文字と小文字を区別します。 FORTH に組み込まれているワードの定義内容を DIS で表示すれば、プログラミングの実例となります。 段階的詳細化法を用いたプログラムの作成 九九表 定数と変数 文字列の入出力 ファイルアクセス <
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
Forth Interest Group Home Page
The Forth Interest Group (FIG) was a world-wide, non-profit organization for education in and the promotion of the Forth computer language. This website offers an on-line literature database, programming tools, reference works, public-domain and experimental implementations of the Forth programming language for various platforms, technical conferences, and connections to other Forth resources. Alt
Katz's Site
文字が小さくて見づらいとお感じの方へ ブラウザのメニューを操作して 文字のサイズを大きめに設定してください。 そうしても問題無く表示できるように作成しております。 更新は、現在、月に1回あるかどうか。 遅いです… このサイトはとにかく軽い事を目指しております。 そのため絵などは極力貼らないようにしています。 これは決して本人の絵心の無さを暴露しない為の措置ではありません(^_^;) 背景色も黒にしてなるべく目に優しいページを目指しました。 見栄えの良さ （派手さ?） との兼ね合いもあり、 なかなかうまくいっていないのですが…。 その為に独特の雰囲気になってしまった感があります。 全体的に何となく怪しい印象になってしまいました。 中身は決して怪しくありません。 御検分の上、是非足跡を残して下さい。 励みになります。 小難しいお話を一席。 このページはXHTML適合文書です。 サイトタイトルや
Let's use cu-Prolog.
cu-Prologを使ってみよう cu-Prologは日本生まれで、日本語が扱えるフリーのPrologの処理系です。FreeBSDのpackagesには含まれていません。Prologって今では、あんまり人気が無い様で、最新版のFreeBSDでないとPrologの処理系はpackagesに含まれていません。私は授業で人工知能を勉強していた関係で、Prologを使う羽目になったのですが、少々学校だけでやるのは無理があるような課題が出たので、家のFreeBSD(98)でもPrologを使ってみようと思い、友人に薦められたのがこのcu-Prologです。cu-Prologは （９）制約論理型言語：ｃｕ−Ｐｒｏｌｏｇ という所から、ソースコードやマニュアルやらを手に入れる事が出来ます。 日本語マニュアルも付いていて「良いかな」と思ったのもつかの間、何とFreeBSD(98)ではうまくコンパイル
SWI-Prolog's home
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
Welcome to Masashi Umezawa's home page
Welcome to Masashi Umezawa's Home Page -Objects directed to dynamizm- What's New!! ume's AniAniWeb ume's Wordpress Blog swikis.ddo.jp Recommendations SIXX 0.3c SoapOpera 1.0 Squeakware0.3-edu Seaside日本語パッチ版 SeasideへGO!! 自由自在Squeakプログラミング 日本人のためのSqueakサイトの歩き方 日本語版Squeakでプログラミングしよう SqueakでWikiを立ち上げよう(SmallWiki!!) What's Squeak? Happy Squeaking!! About Me 旧インデックス(古い情報です) ご意見は ume@blueplane.jp まで
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Beginning Forth Tutorial
ao's Mops Page -- Home
http://www.sra.co.jp/people/aoki/