今まで現れてきた数は有限小数列により近似が出来、この近似の小数は「小数第k桁が計算で確定出来る」という性質がありました。 そこで、逆に「計算で確定出来る有限小数列」を与え、その小数列を与える「具体的な関数」を「数」とみなしてしまうという考えが生まれます。 このような「小数第k桁目までを与える具体的関数」で定まる数を計算可能実数と言います。 もう少し正確に言うと、有限小数に対応する有理数は整数と正の整数のペアであり、整数は自然数のペアですから、有理数は自然数３つ組に対応し、これを自然数と１対１に対応させれば、１つの自然数とみなすこともできます。その自然数を再帰的関数により与え、それにより対応で定まる有限小数列x(s)が再帰的な関数α(n)により s,t＞α(n)→|x(s)-x(t)|＜1/10^n を満たすようにできる時に、その有限小数列(の元になる自然数を与える再帰的関数)を計算可能実数

2019/04/18に株式会社gumi様で行ったデザイン講義のスライドです。 デザインとは何か？デザイナーは何を考えてデザインを作っているのか？ という話から、実際にデザインを評価・検討するための言葉を紹介しています。

誰か私の蕎麦処女を奪って(人生で蕎麦食べたことない) — 橋本サキ(AM編集部) (@sushitabetai_hs) 2019年2月22日 こんにちは。ライターの斎藤充博です。 先日ツイッターで「生まれて一度もそばを食べたことのない28歳女性」を発見しました。しかもその人がそばを食べたがっているのです。そばを食べたことのない大人が、初めてそばを食べる様子、それは絶対見てみたい。 それなんかの企画にさせてください！！！！ — 斎藤充博 (@3216) 2019年2月22日 僕は取材申請のリプライを返して、みんなのごはん編集部にも企画を提案しました。両方ともOK。 よって、今から「大人が初めてそばを食べるところ」に立ち会います！ 下北沢のおしゃれそば居酒屋 会場は下北沢の居酒屋ソバマエ酒場 CAZILO （カジロ）。ちょっとおしゃれなそば居酒屋さんです。 料理人の竹川さんは少々不安な様子。

はじめに この記事は Python と discord.py を利用した Discord Bot 開発のチュートリアルです。 Pythonの基礎知識がある方を対象読者としています。 （関数の定義と呼び出しができるレベルを想定しています） Python で Discord Bot を開発する場合、 Discord API ラッパー の discord.py を利用するとお手軽なのですが、 そのためにはこちらの 公式ドキュメント を根気よく読む必要があります。 この記事ではドキュメントの内容を簡単に噛み砕き、 Botを作成する手順とよく使う機能の実装方法を紹介します。 技術ドキュメントを読み慣れている方はこの記事は不要です。こちらをどうぞ。 はじめに — discord.py 1.4.0a ドキュメント クイックスタート — discord.py 1.4.0a ドキュメント プログラミング未経

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? まだサーバーで消耗してるの？Firebase（サーバーレス）とNuxt.js（Vue系）ならWebアプリ運営は最強でしょ！？ この記事は、 サーバー費用をなるべくかけたくないけどショボいのはNO Firebaseの活用法をあまり理解していない Nuxt/Vueを使ってアプリ作ってみたい（Next/Reactと悩んでたり） アプリ構想はあるけどアイデアの落とし込みスピードが遅くて毎回挫折する という人向けに、「こんな感じで構築すれば効率良く開発できそうよ」というのを、勉強になった記事や技術的トピック・躓いた点なども合わせて紹介させていただ

こんにちは！皆さんはアルゴリズムとデータ構造はお好きですか？私は好きになりたいのになれないタイプの人間です・・・。手続き型でアルゴリズムを組んでいると頭がこんがらがりますし競技プログラミングの問題は少し難しくて、ストイックではない自分には厳しい世界です(もちろんハマれる方はどっぷりハマれて、とても楽しそうに見えます！)。 そこで私はElmのチカラを借りてエディタ(ビューワ)を作り可視化することで、たのしくアルゴリズムとデータ構造を学ぶことにしました！今回のテーマは二分探索木」。エディタづくりに入る前はTDDでたのしくテストコードを書いたりもしていました。ちょっと工夫した点は、SearchやInsert時にどのようなステップを踏んだかをアニメーションで可視化したり、乱数でツリーを作るということをしてます。以下のリンクで公開しているので是非楽しんでみてください。 今回のソースコードはこちらにな