なぜバブルソートが正しくソートできるのか数学的に証明する [無断転載禁止]©2ch.net

…ことができるか？

あげ

提出日まであまり時間がありません。
単位がかかっているのです。
よろしくお願いします

帰納法を使うらしいです。助けて下さい。

うんち

「帰納法を使う」までヒント出されといてそれでも分からんなら知能が根本的に足りてないから
いろいろと諦めたほうが良い

∧＿∧
( ´･ω･) ・・・。
( つ旦O
と＿)＿) 旦

帰納法を使うって、それまんま答えやん。

追記です。日本語を使ってはいけないそうです。
英語か数学記号しか使えないらしいです。私にはお手上げです。

理解できていないなら単位が取れない、で間違ってないと思うけど。

日本語で書いて、google翻訳すればいいんじゃねーの

もう忘れた

英語で書けばいいんだろ？
Induction is used.

プログラマらしい、もっとエレガントな答えはないものか？

コンピュータによる、コンピュータのための、プログラミング言語。

コンピュータが理解し、コンピュータが操り、コンピュータが実行状態を把握することができる関数型プログラミング言語なんてどうだろうか？

実行状態を制限した例にはLISPがあったね。LISPならデバッグもできるし。

関数自体を評価・加工できる言語であることは必要条件。例えば数式を記述したらその微分もできないといけない。
また、すべてのデータ構造を扱えなければならない。
数学上・情報科学上のあらゆる概念(ペアノ公理、論理学、集合論など)を包含しないといけない。

計算アーキテクチャから独立してないといけない。
C言語のプログラムでもPrologのプログラムでもそれぞれの実行モデルにより、記述可能でないといけない。

我々が最終的にやるべきことは、小説から文法を抜き出すことではなく、
文法から文学作品を産み出すことだ。
コンピュータには、場合分けのラティス構造から、しらみつぶしにプログラムを選んでもらう。

このスキームては、我々はプログラミングに対してそれが妥当なプログラムかを判定するパターンマッチングを提供するだけで、
果実を得ることができる。

場合分けの文法lattice構造から意味の有るプログラムを産み出す。この計算スキームをlatti(ラッティ)と名付ける。
コンピュータはクロスワードさえも自動的に作り出すことができる(「クロスワードギバー」)。
プログラムも時間さえあれば、自動的に造れるはずだ。

lattiはプログラム以外の形容や制約、感情なども表現できる。これは認知工学で言うところの「発語」であろう。
文章を発語し、発語した内容を理解する。このプロセスが人間と機械の間の正のフィードバックをもたらし、
生産性が高まるはずだ。

課題１．すでにあるC言語の整数多倍長演算ライブラリを最適化する。

普通の最適化方法だと、LLVMを超えることは考えられないな。

結局LLVMが答えなのか……

LLVMの上にCoqみたいな関数型を増築すればいいのかな。。。

プログラムには数学的に証明されたものしか書けないから
論理が逆だよ

>>26
printf("hello");
↑何が証明されてるの?

>>27
そこにアルゴリズムはあるの？

>>27
お前がバカなこと

背理ほう

>>30
大きくなれよ

>>31
ハンバーグ食いたくなった
責任取れよ

>>28
> プログラムには数学的に証明されたものしか書けないから
アルゴリズム = プログラム?

チューリングからやり直して来い。

>>6
はいマウンティングガイジ

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

I2YFH

PA8