プログラミングのお題スレ Part10

**デフォルトの名無しさん** · 2018/01/01(月) 11:15:04.40

プログラミングのお題スレです。

前スレ
プログラミングのお題スレ Part9
https://mevius.5ch.net/test/read.cgi/tech/1480579110/

【出題と回答例】
1 名前：デフォルトの名無しさん
　　お題：お題本文

2 名前：デフォルトの名無しさん
　　>>1 使用言語
　　回答本文

【ソースコードが長くなったら】 (オンラインでコードを実行できる)
http://ideone.com/
http://codepad.org/
http://compileonline.com/
http://rextester.com/runcode
http://runnable.com/
http://code.hackerearth.com/
http://melpon.org/wandbox
https://paiza.io/

宿題は宿題スレがあるのでそちらへ。

**デフォルトの名無しさん** · 2018/04/13(金) 12:58:12.86

>>769
> 最小値が存在するというポイントを1個も押さえていないので
どこからそんな頓珍漢なことを思い付いたんだ？ w

**デフォルトの名無しさん** · 2018/04/13(金) 12:59:15.87

>>770
正の実数に最小値が存在する証明
「他に小さいのがなければそれが最小値、小さいのが存在するならさらに小さいのを探す」

結果に関わらず何にでも言えますねえ

**デフォルトの名無しさん** · 2018/04/13(金) 13:08:03.29

これ実数じゃなくて整数の問題だろ

**デフォルトの名無しさん** · 2018/04/13(金) 13:14:40.36

>>766
それもそうだね、悪かった

ところで>>744のアルゴリズムが有限回で停止することは保証されてるのかな
あ、あくまで保証されてるかどうか知りたいだけなんでね

**デフォルトの名無しさん** · 2018/04/13(金) 15:59:59.85

N=1, N=2であれば有限回では止まらない
N≧3であれば有限回で止まるのは>>738の通り

**デフォルトの名無しさん** · 2018/04/13(金) 16:02:24.96

誰か>>749のお題を解いて、このどうでもいい流れを止めて。

**デフォルトの名無しさん** · 2018/04/13(金) 16:04:43.81

>>776
宿題？

**デフォルトの名無しさん** · 2018/04/13(金) 16:25:54.51

>>749 Squeak/Pharo Smalltalk

| f |
f := [:n | (1 to: n) detectMax: [:m | m printStringRoman size]].
f value: 5 "=> 3 "

**デフォルトの名無しさん** · 2018/04/13(金) 17:07:07.08

お題　五目並べ
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14188952404

Ｃ言語以外でも可能というか歓迎。
特にrubyなどで、ワンライナー的に（Javaでいうところのストリームを駆使）書くとエロいものとする

**デフォルトの名無しさん** · 2018/04/13(金) 17:23:29.89

>>779
サンプルコード出して

**デフォルトの名無しさん** · 2018/04/13(金) 19:37:34.13

>>774
無限に繰り返せるとしたら極限値は0になる
（単調減少だから）
しかし 1 < n で半径0はあり得ない
なので必ず有限回で停止する

**デフォルトの名無しさん** · 2018/04/13(金) 19:40:28.93

>>772
>>770

>>773
半径は整数とは限らない

**デフォルトの名無しさん** · 2018/04/13(金) 19:51:14.28

>>782
半径の二乗は有理数
整数倍して扱えばすべて整数として計算できる…んじゃないのん？

**デフォルトの名無しさん** · 2018/04/13(金) 20:00:29.13

>>749
https://ideone.com/9avEMe
解が複数ある場合に全部出す

**デフォルトの名無しさん** · 2018/04/13(金) 20:03:00.55

>>783
できるかも知れん...
で、それがなにか？

**デフォルトの名無しさん** · 2018/04/13(金) 21:09:21.72

おそらく最小値は存在するんだろうけど
「1/2 + 1/3 + 1/4 + …」が収束すると思ってるようなレベルのアホがそれを主張することによって
最低限の数学的素養のあるやつらから総ツッコミされてるかんじだな

**デフォルトの名無しさん** · 2018/04/13(金) 21:11:44.26

これまた頓珍漢なことを言い出したぞww

**デフォルトの名無しさん** · 2018/04/13(金) 21:15:38.41

数学で論争になるって珍しくないか？
数学って証明されたらそこで議論の余地がなくなるよな。

**デフォルトの名無しさん** · 2018/04/13(金) 21:24:20.06

>>788
すでに証明されてるのに有理数ガーとか無限の円とか必死になってる奴がいるだけ
議論じゃなくマウントとりたいだけなんだろうな

**デフォルトの名無しさん** · 2018/04/13(金) 21:28:26.35

>>749 Squeak Smalltalk で複数ある場合ぜんぶ返す版

| f |
f := [:n |
| max ans |
max := 0.
ans :=#().
(1 to: n) do: [:m |
| roman |
roman := m printStringRoman.
roman size = max ifTrue: [ans := ans, {m}].
roman size > max ifTrue: [max := roman size. ans := {m}].
].
ans size = 1 ifTrue: [ans first] ifFalse: [ans asArray]
].
f value: 5. "=> 3 "
f value: 1887. "=> #(888 1388 1788 1838 1878 1883 1887) "

**デフォルトの名無しさん** · 2018/04/13(金) 21:42:23.87

>>789
>>744が証明になってない
っていう話だぞ

存在する証明は>>738参照
これが証明

>>781
単調減少の実数列の極限が1になることも100になることもあるわけだが
当然有限回で終わらないこともある
例えばN=2の時は無限回続くことがある
N≧3の場合は>>738により有限回であることがわかるというだけ

数学の基礎がわからない人が数学の専門家に数学に関する意見を言うとはなかなか

**デフォルトの名無しさん** · 2018/04/13(金) 21:45:58.60

>>791
> 単調減少の実数列の極限が1になることも100になることもあるわけだが
で、それが最小値がないこととなんの関係があるんだ？

**デフォルトの名無しさん** · 2018/04/13(金) 21:48:26.76

マジで阿呆だな
下に有界かつ協議単調減少だからと言って最小値が存在するとは限らないのだよおバカさん

**デフォルトの名無しさん** · 2018/04/13(金) 21:49:16.12

>>793
具体例よろしく

**デフォルトの名無しさん** · 2018/04/13(金) 21:50:16.77

>>792
関係ないことを理由に最小値が存在すると主張している人がいるので

**デフォルトの名無しさん** · 2018/04/13(金) 21:51:12.93

a_n = 1 / n

**デフォルトの名無しさん** · 2018/04/13(金) 21:51:53.12

は？
f:{x:x∈R∧x>0}→R, f(x) = 1/x を考えれば自明だろ本気の阿呆かよ

**デフォルトの名無しさん** · 2018/04/13(金) 21:53:20.26

協議単調減少？

**デフォルトの名無しさん** · 2018/04/13(金) 21:54:30.00

狭義単調減少ね。誤変換は許して

**デフォルトの名無しさん** · 2018/04/13(金) 21:57:30.91

>>797
ん？
なんで列の話をしてるのにxが実数？

**デフォルトの名無しさん** · 2018/04/13(金) 21:58:43.94

あぼーんの連続w

**デフォルトの名無しさん** · 2018/04/13(金) 22:01:36.65

>>800
族集合の濃度が高々?な集合に関して証明すれば十分なんだから実数関数について言及したところで何も問題ないよね？
むしろ十分正の説明としては申し分ないと思うのだが

**デフォルトの名無しさん** · 2018/04/13(金) 22:03:22.81

>>802
落ち着け

**デフォルトの名無しさん** · 2018/04/13(金) 22:07:41.91

十分正

族集合とか濃度とかどうでもいい
列の話をしてるんだから素直に列の例を出せばいい
一般化する必要もない
アホに対して一般化しても無意味

**デフォルトの名無しさん** · 2018/04/13(金) 22:09:53.15

ごめんね、十分性ね
「アホに対して一般化しても無意味」ってのは同意だからこちらがスノビズムな嫌いがあったなら謝るよ

**デフォルトの名無しさん** · 2018/04/13(金) 22:11:33.83

「スノビズム」とか言っちゃうところがスノビズム

**デフォルトの名無しさん** · 2018/04/13(金) 22:34:53.35

可算集合と非可算集合では濃度が違うから証明にならないという主張かも知れん
というかここ数学スレだっけ？

◆QZaw55cn4c · 2018/04/13(金) 22:57:38.87

みな数学好きなんですね、うらやましい…

**デフォルトの名無しさん** · 2018/04/14(土) 08:27:58.74

>>779
https://ideone.com/f4aEQv
普通に実装してみた

**デフォルトの名無しさん** · 2018/04/14(土) 09:02:56.59

>>749
@Mathematica

https://ideone.com/uEPG3P

**デフォルトの名無しさん** · 2018/04/14(土) 21:11:32.49

>>451 J
(#:i.2^10)#"1'9876543210'

**デフォルトの名無しさん** · 2018/04/14(土) 21:30:22.59

>>811
何これ興味ある

**デフォルトの名無しさん** · 2018/04/14(土) 21:34:41.56

デザインパターンをインターフェースから説明した良心的なブログ

https://blogs.yahoo.co.jp/kamyu_2010/35417803.html

**デフォルトの名無しさん** · 2018/04/15(日) 16:50:03.82

長方形を田の字型に4つの長方形に分割したら
左上の面積が253
左下の面積が115
右下の面積が155になった
右上の面積はいくつか?

**デフォルトの名無しさん** · 2018/04/15(日) 16:58:12.07

253=23*11
115=23*5
155=31*5

**デフォルトの名無しさん** · 2018/04/15(日) 17:00:37.86

お題　半素数を小さいものから200個挙げて

**デフォルトの名無しさん** · 2018/04/15(日) 17:04:46.37

素数を200個求める
積を列挙
ソート

**デフォルトの名無しさん** · 2018/04/15(日) 17:19:22.18

素数を求めなくてもできるよ

**デフォルトの名無しさん** · 2018/04/15(日) 18:07:04.68

数学板でやれ

**デフォルトの名無しさん** · 2018/04/15(日) 18:11:02.11

>>814
数学板でやれ

**デフォルトの名無しさん** · 2018/04/15(日) 19:29:19.74

>>815
なんで整数限定なんだ？
単なる比率の問題だぞ

**デフォルトの名無しさん** · 2018/04/15(日) 20:08:36.50

>>821
整数かどうかに関わらず253*155/115で一意的に答え出るんだからただの算数

**デフォルトの名無しさん** · 2018/04/15(日) 20:12:02.04

>>821
253:x=115:155
x=341

整数で十分だけど？

**デフォルトの名無しさん** · 2018/04/15(日) 20:16:25.14

算数板でやれ

**デフォルトの名無しさん** · 2018/04/15(日) 20:29:51.65

>>822-823
比率の問題って書いてあるのに指摘の意味もわかってないのかよ w

**デフォルトの名無しさん** · 2018/04/15(日) 20:32:49.64

指摘が適当じゃないからでしょ

**デフォルトの名無しさん** · 2018/04/15(日) 20:35:30.23

>>825
だから答えが一意に決まるんだから素因数分解して自明な解を提示したレスに難癖付けるのはバカだっつってんの

**デフォルトの名無しさん** · 2018/04/15(日) 20:40:17.66

>>827
たまたま素因数分解できるからいいだけで常に使えるわけじゃない解法示す奴は頭悪いと思われてもしょうがない
しかも単なる算数レベルの問題だしな w

**デフォルトの名無しさん** · 2018/04/15(日) 20:41:46.95

で、お前らはいつになったらプログラミングをするんだ？

**デフォルトの名無しさん** · 2018/04/15(日) 20:45:57.62

>>828
日本語読める？
「解法を示す」じゃなくて「解を提示した」っつってんだけど
解の一意性は明確なんだから簡単に解を提示すれば
それで十分性を満たしていると同時に必要性も満たしてるんだけど
重箱の隅にもならないクソみたいな指摘してんだから突っ込まれて当然でしょ

**デフォルトの名無しさん** · 2018/04/15(日) 20:54:58.94

>>779 Squeak/Pharo Smalltalk

https://ideone.com/43b7Uk

**デフォルトの名無しさん** · 2018/04/15(日) 21:05:23.77

>>830
解と言い張るならなら答えだけ書けよ
言い訳にしてもダサすぎるわ w

**デフォルトの名無しさん** · 2018/04/15(日) 21:10:51.18

>>832
初めは「なんで整数限定なんだ？」というアホな主張しておいて論点すり替えないでくれよ
剰えこっちは>>822で答え書いてるんだけど文字読めないの？なんなのこいつ

**デフォルトの名無しさん** · 2018/04/15(日) 21:35:40.74

>>833
因数分解してどやってたアホがいたからな w
ひょっとしてアンカーも見れないのか？

**デフォルトの名無しさん** · 2018/04/15(日) 21:49:46.05

なにやら揉めてますね
さて、次のお題どうぞ

**デフォルトの名無しさん** · 2018/04/15(日) 23:35:46.74

>>818
そりゃできるだろうねえ
だから何？

先に素数を求めた方が処理が速そうだと思ったわけだが
求めないで求めめ欲しければ>>816に書きなさい

**デフォルトの名無しさん** · 2018/04/16(月) 00:40:40.93

いい加減プログラミングらしいお題出してよ

**デフォルトの名無しさん** · 2018/04/16(月) 07:54:19.83

>>837
プログラミングらしいお題なら、すでに>>779にあるよ
回答はRuby(>>809)とSmalltalk(>>831)しかないけどね

組織の中で働き者は全体の１割しかいないと言われているけど、
このスレでも見事に再現されていてワロタ

**デフォルトの名無しさん** · 2018/04/16(月) 08:39:56.02

>>836
>>817-818で完結したのでこのお題は終了です
回答ありがとうございました

**デフォルトの名無しさん** · 2018/04/16(月) 08:56:27.76

おう先生によろしくな！

**デフォルトの名無しさん** · 2018/04/16(月) 09:21:55.35

気分転換にどうぞ

お題:与えられた迷路図の通路幅を2倍にした迷路図を作成する

入力例
#.#..
.#..#
.#...
..##.
###..

出力例
##..##....
##..##....
..##....##
..##....##
..##......
..##......
....####..
....####..
######....
######....

**デフォルトの名無しさん** · 2018/04/16(月) 09:22:29.79

はい、次どうぞ

**デフォルトの名無しさん** · 2018/04/16(月) 09:38:08.21

>>841 ruby
$<.read.split.map{|s|[s.gsub!(/./,'\&\&'), s]}*$/

**デフォルトの名無しさん** · 2018/04/16(月) 11:16:53.07

お題: あみだくじが与えられる
あみだくじは'|','-',' 'の3つで構成されている
スタート地点が左からn番目、ゴール地点が左からm番目と与えられた時、横棒を追加することでゴールに向かう為の最小の本数を答えよ
なお解が存在しなければ-1と答えよ
横棒の高さを半分ずらして設置や長さ2以上の横棒などは禁止とする

入力例
1 4
| | |-| |
|-| | |-|
| | | | |
|-| |-| |
出力例
1

**デフォルトの名無しさん** · 2018/04/16(月) 11:30:39.95

同じ高さの横棒は隣接しないということでいいのかな？

**デフォルトの名無しさん** · 2018/04/16(月) 12:23:47.11

最小の、とか書くから数学のマウント合戦になるのでは？アミダくじを解け、でいいじゃん。出た解答の中で最小で出してるのがあったらその時点でスゴイスゴイ

**デフォルトの名無しさん** · 2018/04/16(月) 12:33:28.31

>>846
それおもしろい？

**デフォルトの名無しさん** · 2018/04/16(月) 12:58:29.77

ニコリのナンバーリンク、スリザーリンクとか、
あみだくじ・電力網・鉄道経路・選挙区割り・正多面体の展開図とか、この本に載ってる

北大の湊真一の、ZDD。
Python, Ruby でも使える

超高速グラフ列挙アルゴリズム－〈フカシギの数え方〉が拓く，
組合せ問題への新アプローチ
ERATO 湊離散構造処理系プロジェクト・湊真一、2015

計算時間が何百億年も掛かるのが、数秒で解けた
「おねえさんの問題」で有名な、
湊真一の超高速グラフ列挙アルゴリズム ZDD

**デフォルトの名無しさん** · 2018/04/16(月) 14:43:52.77

>>846
1人頭が悪いのがいただけ
最小って言葉を使えなかったら問題に制約がつきすぎる

**デフォルトの名無しさん** · 2018/04/16(月) 14:45:34.28

もちろん>>844は(存在すれば)最小値が存在する

**デフォルトの名無しさん** · 2018/04/16(月) 15:43:24.03

なるほど、最小って条件は止めるか
条件を変えるわ
解がN通りある時、それぞれの解の本数をa_i(1≦i≦N)とする
この時、任意のi,j(1≦i,j≦N)に対しa_j-a_i≧0を満たすa_iを出力してくれれば良いよ
>>845 隣接しない
隣接したらあみだくじとして成立しないしね

**デフォルトの名無しさん** · 2018/04/16(月) 19:17:35.12

>>841 J
2 echo 2&#;._2 stdin''

**デフォルトの名無しさん** · 2018/04/16(月) 19:21:25.33

>>851
よくわからん日本語だな

**デフォルトの名無しさん** · 2018/04/16(月) 19:23:45.57

多分最小を別の表現にしたつもりなんだろうけど
日本語がめちゃくちゃ
無理しなくて良いよ

**デフォルトの名無しさん** · 2018/04/16(月) 19:31:45.75

>>852
なにこれなにこれ

**デフォルトの名無しさん** · 2018/04/16(月) 19:45:15.45

>>853-854
ここ数日、数学の知識全くないくせに噛みついてる無知はお前だろ
>>851は一般的な最小元の定義だろうが

**デフォルトの名無しさん** · 2018/04/16(月) 20:06:21.68

「任意のi,j(1≦i,j≦N)に対しa_j-a_i≧0を満たすa_iを出力」

意味がわかりません

◆QZaw55cn4c · 2018/04/16(月) 20:08:00.59

>>856
「任意の i, j」というのがおかしい、i を先に決定した上での「任意の j　」でいい

**デフォルトの名無しさん** · 2018/04/16(月) 20:09:07.01

一応私数学の専門家

◆QZaw55cn4c · 2018/04/16(月) 20:15:07.59

>>859
分野、ご専攻は何ですか？

**デフォルトの名無しさん** · 2018/04/16(月) 20:17:49.89

バレるので言わない
狭い世界なんでね

**デフォルトの名無しさん** · 2018/04/16(月) 20:18:51.48

駒場

とだけ言っておく

**デフォルトの名無しさん** · 2018/04/16(月) 20:19:40.83

>>862
アロハシャツの先生元気？

**デフォルトの名無しさん** · 2018/04/16(月) 20:21:37.49

ここまで

**デフォルトの名無しさん** · 2018/04/16(月) 20:23:32.19

回転寿司問題の高速ソルバーを作ったのは私

◆QZaw55cn4c · 2018/04/16(月) 20:37:10.86

>>859 >>861
一般ピープルが習得するとよい（大げさにいえば世界観が変わるような）数学の分野を教えていただければ嬉しいです

**デフォルトの名無しさん** · 2018/04/16(月) 20:39:42.03

集合論

**デフォルトの名無しさん** · 2018/04/16(月) 20:59:44.33

群論・環論

ごめん聞いたことあるような言葉を羅列してみただけ

**デフォルトの名無しさん** · 2018/04/16(月) 21:07:23.11

お題
マイナンバーが一部欠けてしまった
?部分を補完して可能性のあるマイナンバーをすべて列挙せよ

[example 1]
99999999999?
=>
999999999996

[example 2]
??9999999999
=>
069999999999
179999999999
289999999999
399999999999
509999999999
619999999999
729999999999
839999999999
949999999999

**デフォルトの名無しさん** · 2018/04/16(月) 22:11:04.19

摂動論とか難しいけどできたら気持ちいいだろうな