メイキング講座は推奨をもとに絵師さんに依頼しオリジナルで作成して頂くので、作るのに時間がかかってしまいます。その分内容は充実しており、丁寧に解説されているので初めての方にも分かりやすくなっています。 講座を参考にしながら塗り絵にも挑戦してみよう！ プチ講座はpixivからピックアップしたものを許可を頂いて掲載しています。一度見たことのある方には申し訳ありませんが更新までの間はプチ講座でお楽しみください。

鳩ノ巣原理 高校で習う論証法としては、「背理法」や「数学的帰納法」が有名である。「平方根２ が無理 数である」ことを示すのに、背理法が使われるが、大学入試における、その他もろもろの問 題においても、背理法が登場する頻度は高い。また、自然数 ｎ に関する命題の証明には、 数学的帰納法が活躍する。「自然数 ｎ に対して、２n＞ｎ 」を示す場合、直接的な証明も可 能であるが、数学的帰納法による証明の方が簡明である。 結論を否定して、矛盾を導くという背理法の証明方法は、新しい数学の定理を創造するの に有効である。いくつか具体的な事例を計算して結論の予想を立て、それを証明する場合、 背理法が主に使われる。大学院時代、同じ研究室にいらした、群論を専門とする方に論文 を見せてもらう機会があったが、ほとんど背理法一色であった。それだけ、背理法は数学的 な論証において、強力な武器となりうる。 この「背理法」

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

Introduction What's this about? Language Designers: Looking for operator or function names? Well have a look at the following and remember using existing one may ease the transition :) Language Users: You know one language and want to find the corresponding operator or function in another language Language lovers: Want to know the various ways people invented for commenting/assigning/...? This is

文字列操作の比較表: Ruby, Python, JavaScript, Perl, C++ Ruby, Python, JavaScript, Perl, C++ の文字列操作の比較表を作りました。配列操作の比較表の続編です。間違いなどがあったらご指摘いただけると助かります。 Ruby (String) Python (str) JavaScript (String) Perl C++ (std::string)

ニューロンが入力を受けてからスパイクを出すまでは早くとも数ミリ秒かかる。人間が反応するまでの時間は零点何秒かだから、入力と出力の間には最大に見積もっても数十段のニューロンが介在するだけである。（実際はもっと段数が低いだろう。） 一方コンピュータの方は現在のネズミ以下の判別能力しかないような画像認識をするにあたってさえ数千万サイクルの計算を行わなくてはならない。 だから、脳が物凄い並列計算をやっているに違い無い。ここまでは普通の話ね。 で、問題は「じゃ、物凄い並列な機械をつくったら脳の能力を再現できるのかよ」ということ。もちろん誰も答えをしらない。どんなアルゴリズムを使えば良いか分からないし。 人によっては絶望して「新しい物理法則を」とか「量子論的並列性」とか、「魂」とかに行っちゃう。 で、僕も答えは持って無いけど、この問題を考えるにあたって以下の「計算的大きさ」と「計算的深さ」の概念を

気の合う異性と過ごした一夜が、意外な形で恋愛関係へ発展することもあります。 ただ、その過程で注意すべき点も多く存在します。 本記事では、ワンナイトから付き合うまでの注意点と、恋愛に発展させる方法を解説します。 コミュニケーションの重要性 ワンナイトから恋愛関係に進むためには、まずコミュニケーションが重要です。 一夜限り...

〒100-8968 東京都千代田区永田町1-6-1 TEL.03-5253-2111（代表） 内閣府大臣官房政府広報室

はじめに † cygwinで使えるターミナルエミュレータをまとめています。 基準としましては、 エクスプローラーやランチャーから、Command Prompot From Here みたいに、ディレクトリを維持して開くことができる できれば軽い のを念頭においております。 ↑ まとめ † [2010/06/24]現在では ck3 を使ってます オススメ順： ck3 コマンドプロンプト+Bash ck3があうのであればmintty使わなくてよいかなーと思う。 普段はck3を使い、ck3で上手くいかないとき(win32版のmysqlコマンドなどcygwin以外のアプリを使うときとか)にコマンドプロンプトを使う感じで。 とはいえこのへんはけっこう好みがあります。 ↑ 長所 起動が軽い 複数の文字コードの表示、入力に対応(SJIS,EUCJP,UTF8同時に混在して出力可能っぽい) Google日

小栗栖 修 金沢大学理学部計算科学科 2001年1月8日(月): 第1版 2002年10月10日(木):第1.1版 ogurisu[AT]kanazawa-u.ac.jp この文書の目標は AWKを使ったことがない人が使い始めるきっかけになれば というところにあります。 Cや Javaよりも気楽にプログラミングが楽し めて、もちろん実用的なプログラムが書けるのが AWKやperl, rubyに代表さ れるスクリプト言語です。すでにweb上にも AWKの文書が日本語のものも含 めてたくさんあります。本格的なマニュアル形態の文書も、 A4に印 刷して数枚程度のものもあります。が、ちょっと使ってみようというには本格 的な文書はしんどいし、 A4数枚程度のものは簡潔すぎて何ができる のかよくわからないと思います。それを補完できればなと思っています。もし、 この文書以上のことをしたくなったら、もっと

C 言語入門 世界中で使われている最も基本的なプログラミング言語です。 C++ 入門 C 言語を継承し、オブジェクト指向を導入した高度な言語です。 C# 言語入門 Microsoft の洗練されたオブジェクト指向言語です。 D 言語入門 最新の設計思想が導入されている実践向け開発言語です。 Java 言語入門 Sun が開発した有名なオブジェクト指向言語です。 Objective-C入門 GCC で実装されているオブジェクト指向型 C 言語です。 Lisp入門 人工知能の研究や教育に使われるプログラミング言語です。 Perl 言語入門 多くのシステムで整備されている高度なスクリプトです。 PHP入門 近年、Webを中心に幅広く利用されている組み込み言語です。 アセンブリ 言語入門 アセンブリは機械語に直結した言語です。

[ C++で開発 ] Automakeでmakeする GNU Automakeを使用すると、簡単な記述でMakefileを生成してくれます。類似ツールにimakeがありますが、imakeは事実上X Window Systemの一部となっており、Xアプリケーション用に調整されているので、非Xな環境やアプリケーション開発に使う際にはやや面倒です。 Automakeの超簡単原理 Automakeは、makeコマンドでビルドするための設定記述ファイルMakefileを、極めて簡単に記述するためのツールです。通常Makefileには、コンパイルする際の諸設定、リンクする際の諸設定、処理順序などを逐一記述しておかなくてはなりません。これは、よっぽどMakefileに慣れていないと苦痛ですし、慣れていても面倒な作業です。そこで、Makefileよりもずっと簡単な設定ファイルMakefile.amだけを記