15/01/21 20:33:19.47 83hEDbKu.net
片山さんの模範解答うｐ希望
846:片山博文MZ ◆T6xkBnTXz7B0
15/01/21 22:08:31.55 OPHJ2hAi.net
>>840
Require Import Arith.
Theorem t: forall n:nat, 2*n = n+n.
intros.
replace (n+n) with (1*n + 1*n).
replace 2 with (1+1).
apply mult_plus_distr_r.
auto.
replace (1*n) with n.
auto.
symmetry.
apply mult_1_l.
Qed.
847:１
15/01/21 22:49:05.70 83hEDbKu.net
ふーむ。確かに片山さんのほうが自然な証明ですな。
848:片山博文MZ ◆T6xkBnTXz7B0
15/01/23 02:17:55.54 22/uje4h.net
布教のために数学板でも展開するぞ。
【Coq】コンピューターで証明しよう【コック】･2ch.net
ｽﾚﾘﾝｸ(math板)
849:デフォルトの名無しさん
15/10/21 21:08:46.20 qGjQS7QU.net
URLﾘﾝｸ(connect4.game-solver.org)
850:デフォルトの名無しさん
15/10/21 21:49:58.99 kanshW5q.net
ほう、4並べのソルバですか。面白い
なぜこのスレなのかは気にしないでおこう
thx
851:デフォルトの名無しさん
16/05/01 11:01:21.14 tKi6j9CT.net
匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？
Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
URLﾘﾝｸ(twitter.com)
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ
The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
ｃ
852:デフォルトの名無しさん
18/02/28 18:29:32.35 F8/eMdWm.net
やぁ
853:デフォルトの名無しさん
18/05/23 22:19:44.05 Au5e7VGg.net
僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
TQ9W4
854:デフォルトの名無しさん
18/07/04 23:44:36.75 gFgZc5FG.net
6HI
855:デフォルトの名無しさん
18/11/23 11:17:18.34 lDkmAROy.net
>>118
Haskellのクイックソートはリスト内包表記使った方が美しい。
qsort [] = []
qsort (x:xs) = small ++ [x] ++ leage
where
small = qsort [a|a <- xs,a <= x]
leage = qsort [a|a <- xs,a > x]
>>1 が求めるのってHaskellやPythonのリスト内包表記だけでプログラミングしたいとか？
SQLやC#のLinqにも通じるけど。
集合論的なのがあれば便利だけど、「だけ」と言うのはプログラミング上もキツイと思うな。
文字数を求める関数
再帰版
length [] = []
length (_:xs) = 1 + length xs
リスト内包表記版
length xs = sum [1 | _ <- xs] ― リスト内包表記で1行になるけど、結局sum関数は必要。(チャレンジしたけど、リスト内包表記だけでsum関数は無理ぽ)
sum [] = 0
sum (x:xs) = x + sum xs
856:デフォルトの名無しさん
18/11/23 11:18:01.12 lDkmAROy.net
sum (x:xs) = x + sum xs
857:デフォルトの名無しさん
18/11/25 12:00:26.30 mrb3Dvz9.net
もう許してやれよ
858:デフォルトの名無しさん
19/06/19 05:01:29.66 tVNS+22r.net
【出資】松本卓朗 人工知能詐欺【注意】
ｽﾚﾘﾝｸ(rikei板)
859:デフォルトの名無しさん
19/09/20 10:28:23.43 4f4Q+09G.net
Haskellじゃないの？
集合とか要素に型、集合にも型名を与えて処理する
Haskellとモナドの動画見てたけど少しだけ理解
計算は集合が状態遷移で形態(形状)変化した結果だと思う
[1 1]->sum->[1]みたいな
モナドの適当な感想
モナドは状態遷移を行う処理手続き関数の中に
バグや矛盾が入り込みにくい小さなプログラム単位を数珠つなぎに連鎖させ
エラーなり問題点の発生場所を明確化する手法な気がした
scalaのモナドは読むの辛いね(慣れ？)
860:デフォルトの名無しさん
20/01/09 12:03:21.50 Ydnkghao.net
>>1
Z言語ではだめですか
861:デフォルトの名無しさん
21/03/30 16:01:29.49 WEbCupCq/
最高か！アプリ開発とアプリマーケティングをノーコードで実現するノーコード開発プラットフォーム
「Applica（アプリカ）」の提供を開始
URLﾘﾝｸ(prtimes.jp)
驚愕！SaaS開発をノーコードで実現するノーコード開発プラットフォーム「Jidoca（ジドウカ）」の提供を開始
URLﾘﾝｸ(prtimes.jp)
【入門】誰でもアプリを作れる時代が来た。噂の“ノーコード”を徹底解説
URLﾘﾝｸ(www.salesforce.com)
IT業界を変える可能性を秘める「ノーコード（NoCode）」とは
URLﾘﾝｸ(www.mdsol.co.jp)
【ノーコード】IT業界が根底から変わる、日本人の知らないノーコード開発アプリの衝撃
URLﾘﾝｸ(descartes-search.com)
急激に広まるノーコード、ローコードをうまく使いこなせ
URLﾘﾝｸ(ascii.jp)
30億円調達の簡単アプリ開発サービス「ヤプリ」が見つけた“鉱脈”
URLﾘﾝｸ(signal.diamond.jp)
プログラミング不要でアプリ開発を実現する「Yappli」を提供、ヤプリのIPOサマリー
URLﾘﾝｸ(media.startup-db.com)
ノーコードで世界は変わる
URLﾘﾝｸ(thebridge.jp)
862:デフォルトの名無しさん
21/03/30 16:53:31.28 WEbCupCq/
Excelとビジュアルプログラミングが融合したWebアプリ開発ツール「CELF」が、ビジネスパーソン総プログラマ時代を実現
URLﾘﾝｸ(japan.zdnet.com)
ビジュアルプログラミング言語を俯瞰する(ScratchからNode-RED、TouchDesignerやIFTTTまで)
URLﾘﾝｸ(qiita.com)
ビジュアルプログラミングってなに？～3タイプ分類でわかるScratchやViscuitの違い
URLﾘﾝｸ(tool-zukan.com)
教育用プログラミング言語とは？徹底紹介5選｜おすすめビジュアルプログラミング
URLﾘﾝｸ(coeteco.jp)
ビジュアル・プログラミング
URLﾘﾝｸ(web.sfc.keio.ac.jp)
義務教育の「残念なプログラミング授業」、現役エンジニアが危惧
URLﾘﾝｸ(diamond.jp)
863:デフォルトの名無しさん
23/08/01 14:12:19.18 GW8b/jIq0
クソ航空機に生活や仕事を妨害されたら‥アプリ『ADS-B Unfiltered Plane Tracker」て゛登録記號を確認，証拠としてスクショも残しつつ
URLﾘﾝｸ(jasearch.info)
↑ここて゛検索して所有者(使用者)を特定したら、ググって電話番号を確認、この地球破壊私権侵害強盗殺人テ囗リス├にクレ━ムを入れよう！
例えば，登録記號『JA17AR」は氣候変動させて災害連發させて人を殺して私腹を肥やしてるとっとと津波て゛絶滅すへ゛き「札幌市』だと分かる
最近スマホのパケづまりが酷いか゛航空無線の広大なプラチナ帯域によってネッ├帯域か゛不足してるのが原因，クソ航空関係者に年１Ο０兆圓
課税するとともに帯域を明け渡させよう！言うまでもなく四六時中猥褻がらみて゛逮捕されなか゛ら威力業務妨害ヘリ飛ばしまくって望遠力メラで
女風呂のぞき見しなか゛らグルク゛儿騷音まき散らして住民イライラ犯罪惹起してる税金泥棒クソポリ公ヘリ，特に他県にまて゛大騒音まき散らし
てる警視庁「JA1?MP』など惡質だか゛、テ口政府を徹底非難するとともに、傷害や威力業務妨害として告訴して．私権侵害テロを止めさせよう！
創価学會員は、何百萬人も殺傷して損害を与えて私腹を肥やし続けて逮捕者まて゛出てる世界最悪の殺人腐敗組織公明党を
池田センセ一が□をきけて容認するとか本気で思ってるとしたら侮辱にもほと゛があるそ゛！
URLﾘﾝｸ(i.imgur.com)
864:デフォルトの名無しさん
24/02/27 13:10:32.62 Xgl6YtAjB
人間の尊厳カ゛ーた゛のと心にもないことをぬけぬけとぬかしていやか゛る岸田異次元増税憲法ガン無視地球破壊覇権主義文雄や
世界最悪の殺人テロ組織公明党強盗殺人の首魁蓄財3億円超の斉藤鉄夫は暴力を続け多くの人に苦しみを与え人間の尊厳を踏みにじれば
住民は妥協し知的能力者も抗議をやめると見込んでいる，しかし知的能カ者もわれわれも諦めない
世界最悪脱炭素拒否テロ國家に送られる化石賞４連続受賞して世界中から非難されなか゛ら憲法13条2５条29条と公然と無視して力による一方的な
現状変更によってクソ航空機倍増．閑静な住宅地から都心まて゛数珠つなぎて゛鉄道の30倍以上もの莫大な温室効果カ゛スまき散らして騷音まみれ
気候変動させて海水温上昇させてかつてない量の水蒸氣発生させて土砂崩れ、洪水、暴風．熱中症にと災害連発させて住民の生活破壞して
静音が生命線の知的産業を壊滅させるなどのクソ航空機による惨劇を止めねばならない、侵略者を打ち負かすため団結するべきだ
気候変動騒音犯罪は処罰され生活を破壞された人たちは賠償され侵略者は皆殺しにされるべきた゛と訴え正義を実現するための行動を起こそう!
(ref.) Ttрs:/／www.сall4.jp／info.phｐ?Τype=items&id=I0000062
тtρs:／/haneda-projｅСТ.jimdofree.com/ , ttｐs：/／flight-routｅ.сom／
ttPs://n-souonhigaisosyoudan.amebaownd.сom／
865:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています