今まで現れてきた数は有限小数列により近似が出来、この近似の小数は「小数第k桁が計算で確定出来る」という性質がありました。 そこで、逆に「計算で確定出来る有限小数列」を与え、その小数列を与える「具体的な関数」を「数」とみなしてしまうという考えが生まれます。 このような「小数第k桁目までを与える具体的関数」で定まる数を計算可能実数と言います。 もう少し正確に言うと、有限小数に対応する有理数は整数と正の整数のペアであり、整数は自然数のペアですから、有理数は自然数3つ組に対応し、これを自然数と1対1に対応させれば、1つの自然数とみなすこともできます。その自然数を再帰的関数により与え、それにより対応で定まる有限小数列x(s)が再帰的な関数α(n)により s,t>α(n)→|x(s)-x(t)|<1/10^n を満たすようにできる時に、その有限小数列(の元になる自然数を与える再帰的関数)を計算可能実数
はじめに この記事は Python と discord.py を利用した Discord Bot 開発のチュートリアルです。 Pythonの基礎知識がある方を対象読者としています。 (関数の定義と呼び出しができるレベルを想定しています) Python で Discord Bot を開発する場合、 Discord API ラッパー の discord.py を利用するとお手軽なのですが、 そのためにはこちらの 公式ドキュメント を根気よく読む必要があります。 この記事ではドキュメントの内容を簡単に噛み砕き、 Botを作成する手順とよく使う機能の実装方法を紹介します。 技術ドキュメントを読み慣れている方はこの記事は不要です。こちらをどうぞ。 はじめに — discord.py 1.4.0a ドキュメント クイックスタート — discord.py 1.4.0a ドキュメント プログラミング未経
まだサーバーで消耗してるの?Firebase(サーバーレス)とNuxt.js(Vue系)ならWebアプリ運営は最強でしょ!? この記事は、 サーバー費用をなるべくかけたくないけどショボいのはNO Firebaseの活用法をあまり理解していない Nuxt/Vueを使ってアプリ作ってみたい(Next/Reactと悩んでたり) アプリ構想はあるけどアイデアの落とし込みスピードが遅くて毎回挫折する という人向けに、「こんな感じで構築すれば効率良く開発できそうよ」というのを、勉強になった記事や技術的トピック・躓いた点なども合わせて紹介させていただきます。初心者向け&技術トピック気になる方向けです! 今回作ったアプリ「Moji → Pic」 Moji → Picは、文字だけだとなかなか目につく投稿ができないなぁ…とお困りの時にインパクトある画像が即座に出来るアプリ。目立ったツイートで友達に差をつけろ!
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く