もうひとつの Scheme 入門
勾配の緩やかな初心者向け Scheme 入門ページです。 コンピュータは使ったことがあるが、プログラミング経験があまりない人を想定しています。 Scheme の解説はすでに山ほど優れたものがありますが、あえて解説記事を書いてみました。 Scheme のような抽象的な話題は波長が合えばすんなりと理解できますが、あわないと全く理解できません。 他の解説を読んで今ひとつよく理解できなかった人は試しに読んでみてください。 この記事の目標はコンピュータ科学の教科書の決定版である SICP を読める程度の Scheme の知識を提供することです。 目次: 処理系のインストール Scheme を電卓代わりに使う リストを作ろう 関数を定義しよう 分岐 局所変数 繰り返し 高階関数 入出力 代入 文字、文字列 シンボル型 連想リスト、ハッシュ表 ベクトルと構造体 構文の定義 (マクロ) 継続 遅延評価 非
暮らし・学び・医療 | 毎日新聞
難病の筋萎縮性側索硬化症（ALS）を患う女性（当時51歳）の依頼に応じて殺害したとして、嘱託殺人などの罪に問われた医師の大久保愉一（よしかず）被告（45）の判決が5日、京都地裁で言い渡される。起訴内容を認めたうえで、女性の「安楽死」への願いをかなえたと語った被告。死生学や生命倫理を専門とする鳥取大
賀川豊彦：ノーベル文学賞候補だった １９４７、４８年連続－－日本人初 - 毎日ｊｐ(毎日新聞)
◇スウェーデン・アカデミーのリストで判明 キリスト教思想家で社会運動家の賀川豊彦が戦後間もない１９４７、４８年の２年連続で、日本人初のノーベル文学賞の候補になっていたことが分かった。スウェーデン・アカデミーがインターネット上で公開中の５０年までの英語版の候補者リストから判明した。賀川は５４～５６年の３回、平和賞の候補だったことも公式資料で確認された。日本人の文学賞受賞者は川端康成（６８年）、大江健三郎さん（９４年）の２人がいるが、他の候補者が公式に明らかになったのは初めて。【佐藤由紀、大井浩一】 賀川が平和賞候補に名前が挙がったことは伝えられていたが、文学賞については全く知られていなかった。賀川が候補だった４７年の文学賞受賞者はフランス人作家、アンドレ・ジッド、４８年は米国出身の詩人、Ｔ・Ｓ・エリオット。 多彩な社会活動で知られる賀川だが、文学賞選考での肩書は「作家」。インドのガンジーと並
分散バージョン管理Git/Mercurial/Bazaar徹底比較
分散バージョン管理Git/Mercurial/Bazaar徹底比較：ユカイ、ツーカイ、カイハツ環境！（3）（1/5 ページ） Subversionとは一味違う「分散バージョン管理」とは？ 最近、Linuxをはじめ、Ruby on Rails、MySQL、OpenSolarisなどのオープンソースプロダクトが次々と分散バージョン管理システムを導入し始め、「Git」「Mercurial」「Bazaar」といった、分散バージョン管理システムが注目を浴びています。 本稿では、バージョン管理ツールのデファクトスタンダードであるSubversion（以下、SVN）と分散バージョン管理システムを比較しながら、メジャーな分散バージョン管理システムであるGit、Mercurial、Bazaarについて紹介していきます。 集中型と分散型 最初に、集中管理方式（または、集中型）のバージョン管理システムと分散管理
ドメインロジックとSQL
以下の文章は、Martin Fowler による Domain Logic and SQL の日本語訳である。 データベース指向ソフトウェア開発者とメモリ上(in-memory)アプリケーションソフトウェア開発者との間のギャップは、ここ数十年、徐々に広がってきている。このギャップが原因で、データベースの機能(SQLやストアドプロシージャ)をどのように扱えばよいのかという議論が数多く巻き起こっている。ここでは、ビジネスロジックを SQL に置くべきか、それともメモリ上のコードに置くべきかといった問題について、主にパフォーマンスと更新性の観点から考察を行う。考察には簡単な例を使うが、SQL クエリはしっかりとしたもの（rich SQL queries）を用いるので悪しからず。 エンタープライズアプリケーション（訳注：以下、EA）構築に関する本（私の近著『P of EAA』など）を読むと、ロジッ
精度保証付き数値計算入門
講義の概要 精度保証付き数値計算の基礎になる区間演算は九大の須永教授の発明である． また，精度保証付き数値計算という日本語は山本哲朗先生の発案である． 精度保証付き数値計算の研究はこの１０年間に大きく発展し，実用段階に発展し た．これは，本来，数値計算はその精度が保証されたものでなければならないという 必然性からも大変重要なことである． 本講義では，精度保証付き数値計算の理論と実際のプログラミングについて 基礎から第一線まで丁寧に解説を加える． 特に，精度保証付き数値計算は実際に計算してみてこそ，その偉力を感じること ができると思われるので，Scilabという数値計算言語を利用して，簡単に，しか し実用的な計算ができることを明らかにする． 最終的には，積分方程式などの関数方程式の解の計算機援用存在証明まで実際に 行ってみることを目標とする． Scilabのインストール Scilabは誰
Scilab - Wikipedia
Scilab（サイラボ）とは、1990年からフランスのINRIA（Institut National de Recherche en Informatique et en Automatique、国立情報学自動制御研究所）とENPCで開発されているオープンソースの数値計算システムである[2][3][4][5][6]。2003年5月にScilabコンソーシアムが組織されて以降は、INRIAによって開発されていたが、2010年6月に公式発行元としてScilab Enterprises社が設立され、2012年7月からは完全に開発・発行を担当するようになった。さらに、2017年2月、バーチャルプロトタイピングの先駆者として知られるESIグループはScilab Enterprises社を買収すると発表し[7]、Scilab Enterprises社はその傘下に入った。 数値計算機能以外に、信号処理[
On Lisp
Paul Graham著，野田 開 訳 前書き 拡張可能なプログラミング言語 関数 関数的プログラミング ユーティリティ関数 返り値としての関数 表現としての関数 マクロ いつマクロを使うべきか 変数捕捉 マクロのその他の落し穴 古典的なマクロ 汎変数 コンパイル時の計算処理 アナフォリックマクロ 関数を返すマクロ マクロを定義するマクロ リードマクロ 構造化代入 クエリ・コンパイラ 継続 複数プロセス 非決定性 ATNを使ったパージング Prolog オブジェクト指向Lisp パッケージ 翻訳者 野田 開のサイト 原著者Paul Graham氏のサイト (c) 野田 開 NODA Kai <t50473@mail.ecc.u-tokyo.ac.jp>
継続 - Wikipedia
この項目では、プログラムの継続について記述しています。「継続」の語義については、ウィクショナリーの「継続」の項目をご覧ください。 計算機科学における継続（けいぞく、continuation）とは、プログラムを実行中のある時点において、評価されていない残りのプログラム（the rest of the program）を表現するものであり、手続き（procedure）あるいは関数（function）として表現されるものである[1]。 継続に相当する概念は1960年代初頭から存在しており、Algol 60のコンパイラの実装[2]などの文献にたびたび登場していたが、継続の利用に関する最も早い記述は、1964年のアドリアン・ファン・ワインハールデン (en:Adriaan van Wijngaarden) によるものである[1]。 概要[編集] 計算一般における継続[編集] Schemeによる次の式
I know the answer (it's 42)
A blog on coding, .NET, .NET Compact Framework and life in general.... Identifying your Arduino board from code For my IoT project I needed to write code slightly differently for specific Arduino boards. E.g. for... Author: Abhinaba Basu [MSFT] Date: 02/21/2016 ESP8266 Wifi With Arduino Uno and Nano If you are trying to add Wifi connectivity to an existing Arduino project or have serious... Author
potm_0812_SIE - OSDN運営・管理 Wiki - OSDN運営・管理 - OSDN
このWikiは、OSDNの管理グループが運営しています。 今月のプロジェクトOSDNを利用している開発者の方に、月ごとにインタビューを行っています。 2009 年8月 - M+ FONTS 7月 - Karesansui 6月 - Berry Linux 5月 - デカルト言語 4月 - えこでこツール 3月 - WordPress Plugins/JSeries 2月 - Mysaifu JVM 1月 - Azuki 2008 年12月 - SIE 11月 - AquaSKK 10月 - Acerola3D 8月 - CLX C++ Libraries 7月 - BathyScaphe 6月 - MobaSiF 5月 - BrailleConverter 4月 - mod_chxj 3月 - blanco Framework 2月 - PositLog 1月 - MergeDoc 200
M+ FONTS メイン開発者インタビュー | SourceForge.JP 今月のプロジェクト - 2009年8月
このWikiは、OSDNの管理グループが運営しています。 今月のプロジェクトOSDNを利用している開発者の方に、月ごとにインタビューを行っています。 2009 年8月 - M+ FONTS 7月 - Karesansui 6月 - Berry Linux 5月 - デカルト言語 4月 - えこでこツール 3月 - WordPress Plugins/JSeries 2月 - Mysaifu JVM 1月 - Azuki 2008 年12月 - SIE 11月 - AquaSKK 10月 - Acerola3D 8月 - CLX C++ Libraries 7月 - BathyScaphe 6月 - MobaSiF 5月 - BrailleConverter 4月 - mod_chxj 3月 - blanco Framework 2月 - PositLog 1月 - MergeDoc 200
リバースエンジニアリングの腕を競うコンテスト、ネットエージェントが開催
ネットエージェントは、セキュリティ技術への関心を高めてもらうことを目的に、「リバースエンジニアリングチャレンジ」を開催する。 ネットエージェントは、リバースエンジニアリングの技術力を競う一般参加型のコンテスト「リバースエンジニアリングチャレンジ」を、9月19日正午～22日午前にインターネット上で開催する。 同コンテストは、参加者がリバースエンジニアリングの対象となる「問題ファイル」を入手し、回答（パスワード）を探し出すもの。ファイルの解析に費やした時間を競う。問題ファイルは4つあり、解析に成功して回答をWebサイトに入力すると次の問題ファイルを入手できる。4つの問題ファイルを最も早く解析した参加者が優勝となる。 優勝者と順優勝者の上位2人には表彰状のほか、副賞としてソニーのVAIO Wシリーズ「VPCW119XJ/W」や、プレイステーション3およびソフト1タイトル（販売中のもの）が贈呈され
.NETで動くテキストエディタエンジン「Azuki」の開発者に聞く | スラド
SourceForge.JPでは、同サイトを利用するオープンソース・プロジェクトを毎月1つピックアップし、その開発者にインタビューする「今月のプロジェクト」というコーナーを設けています。今回は、.NET Framework用のテキストエディタエンジン「Azuki」の作者YAMAMOTO Suguruさんにお話を伺いました。 プロジェクトの概要 Azuki は .NET Framework と .NET Compact Frameworkの両方で動作するテキストエディタエンジンです。 zlibライセンスで開発しています。 プロジェクト名: Azuki 登録日: 2008-07-05 21:28 URL: http://azuki.osdn.jp/ プロジェクトホーム: http://osdn.jp/projects/azuki/ 動作環境: Windows ライセンス: zlib Licen
ジェネリックプログラミング - Wikipedia
このページは著作権侵害のおそれが指摘されており、事実関係の調査が依頼されています。 このページの現在または過去の版は、ウェブサイトや書籍などの著作物からの無断転載を含んでいるおそれが指摘されています。もしあなたが転載元などをご存知なら、どうぞこのページのノートまでご一報ください。 著作権侵害が確認されると、このページは削除の方針により一部の版または全体が削除されます。もしこのページの加筆や二次利用をお考えでしたら、この点を十分にご認識ください。 ジェネリック（総称あるいは汎用）プログラミング（英: generic programming）は、具体的なデータ型に直接依存しない、抽象的かつ汎用的なコード記述を可能にするコンピュータプログラミング手法である。 概要[編集] ジェネリックプログラミングはデータ型でコードをインスタンス化するのか、あるいはデータ型をパラメータとして渡すかということにか
ダック・タイピング - Wikipedia
このページは著作権侵害のおそれが指摘されており、事実関係の調査が依頼されています。 このページの現在または過去の版は、ウェブサイトや書籍などの著作物からの無断転載を含んでいるおそれが指摘されています。もしあなたが転載元などをご存知なら、どうぞこのページのノートまでご一報ください。 著作権侵害が確認されると、このページは削除の方針により一部の版または全体が削除されます。もしこのページの加筆や二次利用をお考えでしたら、この点を十分にご認識ください。 この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2019年3月） ダック・タイピング（英: duck typing）とは、Smalltalk、Perl、PHP、Python、Ruby、JavaScriptなどの動的型付
拡張メソッド(C# によるプログラミング入門)
概要 拡張メソッドは、静的メソッドをインスタンスメソッドと同じ形式で呼び出せるようにできるものです。 すなわち、 今までなら、 int x = int.Parse("1"); と書いていたものを、 static class Extensions { public static int Parse(this string str) { return int.Parse(str); } } というような静的メソッドを用意することで、 以下のような構文で呼び出せるようになります。 int x = "1".Parse(); ポイント 拡張メソッド： 静的メソッドをインスタンスメソッドと同じ書式で呼び出せるようにすることで、 あたかもクラスに新しいメソッドを追加したかのように見せかける仕組みです。 単に、静的メソッドを後置き記法で呼び出せるようになっただけとも考えることができます。 定義側： 第1引
I know the answer (it's 42)
A blog on coding, .NET, .NET Compact Framework and life in general.... Identifying your Arduino board from code For my IoT project I needed to write code slightly differently for specific Arduino boards. E.g. for... Author: Abhinaba Basu [MSFT] Date: 02/21/2016 ESP8266 Wifi With Arduino Uno and Nano If you are trying to add Wifi connectivity to an existing Arduino project or have serious... Author
Brad Abrams
Design Guidelines, Managed code and the .NET Framework My Last Day at Microsoft Wow – I can’t believe it has already been 13 years at Microsoft. I have had a great time here... Author: BradA Date: 04/20/2010 Silverlight 4 + RIA Services - Ready for Business: Ajax Endpoint Continuing in our series, I wanted to touch on how a RIA Services can be exposed your service... Author: BradA Date: 04/12/20
Exploring Lambda Expression in C#
This article covers things from syntax to constraints and implementation details for lambda expression in C# Introduction Lambda expression is an inline delegate introduced with C # 3.0 language. It’s a concise way to represent an anonymous method. It provides a syntax to create and invoke functions. Although Lambda expressions are simpler to use than anonymous methods, they do slightly differ on
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
暮らし・学び・医療 | 毎日新聞
暮らし・学び・医療 | 毎日新聞
Nomination Database - Literature
Nomination Archive. Explore the nomination databases in Physics, Chemistry, Physiology or Medicine, Literature and Peace
Walter Bright Home Page
Virtual School Distributed Learning Community
プログラミング言語 Ruby リファレンスマニュアル
プログラミング言語 Ruby リファレンスマニュアル
IoTセキュリティとゲームセキュリティの会社｜ネットエージェント株式会社
Reverse engineering Charange 2008 -イベント情報：NetAgent Co., Ltd.
http://www.microsoftstartupzone.com/
ReadWrite - IoT and Technology News
csharp-online.net
『幾何学入門 （上）（Ｈ．Ｓ．Ｍ．コクセター 銀林浩／訳）』 販売ページ