開発ソフトウエア 私が自作ソフトウエアを公開する理由 深い理念や信条はありません。 非常に素朴な理由です。 大学生になってからUnixを使うようになりました。 多くの高品質のソフトウエアがソースコードが無料で公開、配布されていて、 それらの解読、移植、改造を通して多くを学ぶことができました。 例えば、オペレーティングシステム、マルチウインドウシステム、 言語処理系、テキストエディタ、TCP/IPプロトコルスタック、 WEBサーバ、WEBブラウザ、など多岐に渡ります。 そして, このような状況がずっと続いて欲しいと強く願っています。 そのために自分の出来る事のひとつが、 どんなに力不足であっても, 自分の作ったソフトウエアを公開する事と考えています。 注意: 善意に基づいて作成していますが、 品質および使用により生じた結果については無保証です。 またサポートなしです。 これに同意した上で利用
(Twitterから参照するためのメモです) まずそもそも「関数」は「同じ形の計算を何度も書かないための仕組み」であることを十分に理解する(させる)。その上で、 sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「同じ計算を何度も書いている」から、 sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...と書き換える。これを一般化すると sum(0) = 0 sum(n) = sum(n-1)+n (n>0の場合)つまり sum(n) = if n=0 then 0 else sum(n-1)+nとなる 追記:n<0の場合は気にするな。 (高校で習うはずの)数学的帰納法
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
成績について Schemeの成績はレポートのみ(出席は取らない) レポートは完全にできていなくても提出できた分をそれなりに評価する 課題について 提出は hara2001-scheme @ ui.is.s.u-tokyo.ac.jp へメールで送ってください 送信されたE-mailに対して自動的に返信メールが送られます 添付ファイルではなくメール本文に直接貼ってください (ただしどうしても文字化けしてしまう人はテキストファイルを添付してください) Subjectは "Report (課題番号) 学生証番号" で送ってください 例: Report (1) 123456 課題の本文の先頭に Scheme演習 第1回レポート 理科I類2年 123456 須木 異夢 という形式で名前等を書いてください 締め切りは次の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]自宅サーバの
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
数学やLispの「素人」でも、名著の誉れ高い「計算機プログラムの構造と解釈 第二版」を何とか読んでみたい!という想いから「素人くさいSICP読書会」を立ち上げました。 参加者へのお知らせ 10月1日(水),第126回は茅場町のコントロールプラスです 今後の予定(確定分) 10月8日(水),第127回は茅場町のコントロールプラスです 注意! Yahoo!グループのメールが届きにくくなっています。開催告知が来ないなーと思ったら、必ず素人くさいSICP読書会 Yahoo! Groupsの「過去のメッセージ」を確認してください!!! 概要 新たに参加を考えている方は【立ち上げの経緯】や【最近の状況】もご参考に (※ 運営方法などは今後変更される可能性があります) 日時:毎週水曜日 20:00〜22:00 (第1回は2006年2/15(水)) 開催場所:基本的には 第1週 茅場町某所 第2週 茅場町
Treating JavaScript as a back-end for a compiler is becoming more and more popular. Here are some examples of compilers that already target JavaScript: Squeak Smalltalk Scheme NarrativeJS Links OpenLaszlo Lisp Java Java Java Cross-browser JavaScript C# Ruby This has come up in some of the ECMA-TG1 discussions, and I think some of Edition 4 will help compiler writers, in particular proper tail call
結城さんが define-syntax を使った debug マクロ(デバッグプリント - 結城浩のSICP日記 - sicp)を紹介されている。マクロの便利な使い方の好例だと思う。Scheme ではなく、Common Lisp の話になってしまうが、高い評価を受けている Practical Common Lisp という本(オンラインで読める)にもマクロを使った面白い例が 9 章に載っている。その章ではマクロを使ってユニットテストのための簡易ライブラリを作っていくのだが、まだ Lisp のマクロというものがよく分からなかった僕はこの内容にとても感銘を受けた。せっかくなのでこの内容の前半をさらっと簡単に Scheme (Gauche) を使って紹介したいと思う。 本ではまずつぎのようなテスト(関数 + のテスト)を例にしている。 (= (+ 1 2) 3) (= (+ 1 2 3) 6)
SLIME の公式ページ から入手可能です.現在は ArmedBearCL, AllegroCL, CLISP , Corman Lisp, CMUCL, ECL, LispWorks, OpenMCL, SBCL, Scieneer Common Lisp といった処理系に対応.( Scheme48 に対応した SLIME48 もあります) 別プロセスで起動した lisp 処理系とソケット経由で通信する 関数の引数表示 シンボルの補完機能 ( **例:** ``m-v-b TAB => multiple-value-bind`` ) コマンド一発で HyperSpec が引ける コンパイラの note, warning, error をソース上で示してくれる(下線が引かれて,カーソルを合わせると詳細がでる) 親切なデバッガ(バックトレース上でカーソルを合せると詳細が表示されたりとか) 現
CL-Yacc is a LALR(1) parser generator for Common Lisp, similar in spirit to AT&T Yacc, Berkeley Yacc, GNU Bison, Zebu, lalr.cl or lalr.scm. CL-Yacc uses the algorithm due to Aho and Ullman, which is the one also used by AT&T Yacc, Berkeley Yacc and Zebu. It does not use the faster algorithm due to DeRemer and Pennello, which is used by Bison and lalr.scm (not lalr.cl). CL-Yacc was originally writt
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く