884: 関数型プログラミング言語Haskell Part32 (635)
2ちゃんねるブックマークは2ちゃんねる(2ch.sc)のログをブックマーク出来るビュアーです。


884: 関数型プログラミング言語Haskell Part32 (635)

【pc】
np 

1 デフォルトの名無しさん

ageteoff

2019/01/29(火) 09:05:47.90 ID:gJP/u7IJ

関数型プログラミング言語 Haskell について語るスレです。

haskell.org (公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part31
https://mevius.5ch.net/test/read.cgi/tech/1506447188/

関数型プログラミング言語Haskell Part32



【pc】





スレッドの最初から全部を見る 人気スレッドリスト

外国語アレルギーの方に朗報!
2ちゃブで外国語を楽しく学ぼう!





506 デフォルトの名無しさん
2019/10/08(火) 19:37:25.99 ID:4CpPhkv4

巨大になっても線型に複雑度が増加するから他より有利とは言われるが
そこまで大きいの触ったことない

507 デフォルトの名無しさん
2019/10/08(火) 20:09:52.92 ID:pF665SWr

PythonでもHaskellでも、タプルを使うなとか誰も言わなくなれば文字数は減る

508 デフォルトの名無しさん
2019/10/08(火) 20:44:34.15 ID:kGAGzuS0

文字数減ればいいってんならシェルスクリプトかperlが最適だな。

509 デフォルトの名無しさん
2019/10/08(火) 21:24:42.66 ID:ELFSZFvj

"> 505
モナドや高階関数のおかげもあるけど文字数が減るのは
つきつめると言語全体に貫かれた表現の簡潔さ志向の仕様によるかな

参照透過性のおかげで副作用を気にせず共通部分を
気軽に関数としてまとめられるとか

ブロック前後の括弧がいらないとか

再利用や多様な型に適合するように引数や関数の名前を短めにするとか

局所変数がないとか

簡単に二引数の演算子を記号を使って定義できるので
関数名を何度も書かなくて済むとか

いろいろ

書く部分が少なくなるとそれだけケアレスミスの入り込む余地は少なくなるね。
それとS/N比がよくなってロジックを追いやすい。

510 デフォルトの名無しさん
2019/10/08(火) 21:32:14.39 ID:nLwShu/0

何冊か本を読んだけど、Haskell の気持ちがなかなか分からん…

511 デフォルトの名無しさん
2019/10/08(火) 21:39:47.76 ID:ELFSZFvj

何か書いてみた?

自分はRWHとかPCHとか読みながらオレオレプロジェクトを仕立てて
書き進めていったらある日を堺に急にこういうことかと理解が進んだ。

512 デフォルトの名無しさん
2019/10/08(火) 22:21:53.53 ID:nLwShu/0

やはりどんどん書かないとダメですよね…
おかげさまで、本業とする言語でのコーディングには有意義なフィードバックができてはいるのですが
そもそも GHC が吐き出すエラーメッセージがなぁ~

513 デフォルトの名無しさん
2019/10/08(火) 23:04:55.55 ID:ELFSZFvj

自分もエラーが何を意味しているのか最初はわからなかった。

ただほとんどのエラーは型の不一致由来。

だから何行目のどこでエラーが出ているかだけわかればあとは
型を順番に調べていって解決できるようになった。

スペルを間違えたり似たような目的で使う別の型と勘違いしていたり
とかそれなりの理由でエラーが出ているはず。後者は代数データ型を
適当にその場で作ったりしてた頃によくやってた。

514 デフォルトの名無しさん
2019/10/08(火) 23:09:06.98 ID:DA/zVK7z

LispとHaskellの間には謎の暗黒時代があるから
結果がすべての人にはそれがわからんのです

515 デフォルトの名無しさん
2019/10/08(火) 23:13:57.88 ID:ELFSZFvj

その暗黒時代にSMLの本を店頭で見かけて気になった記憶がある。
結局買わなくていきなり普通のHaskellまでとんだ。

ソースから実行コードにどんなふうにおとしていってるのか最近
気になってきたのでそのうち古本でMLの本でも手に入れるか
GHCのが吐くコードを追っかけてみたい。

516 デフォルトの名無しさん
2019/10/08(火) 23:33:07.01 ID:nLwShu/0

513
ありがとうございます 512 です
皆さん同じような苦労をされているのかなと、少し楽な気持ちになりました
もう少し粘り強く取り組んでみます!

517 デフォルトの名無しさん
2019/10/08(火) 23:42:31.20 ID:ELFSZFvj

どういたしまして!

基本文法は簡単だから文法エラーはすぐにほとんど出なくなります。

そこまでいったら初級編終了。

518 デフォルトの名無しさん
2019/10/09(水) 00:44:23.02 ID:UKqTo/lR

圏論の本を読もうと思ったら数学地獄にはまる

519 デフォルトの名無しさん
2019/10/09(水) 22:12:42.71 ID:wrHKsVK1

VIMで関数名にカーソル合わせると自動で型シグネチャ動的推論して表示してくれる機能ありませんか?

520 デフォルトの名無しさん
2019/10/10(木) 00:08:02.64 ID:TcPJYaG5

ダイクストラのアルゴリズム
優先度付きキューの手作りから始めて一週間かかってやっと完成した

あたまわーるわるわーるーわる~♪
sm32181836
脳裏に流れてる

521 デフォルトの名無しさん
2019/10/10(木) 09:37:00.35 ID:yMym0WfO

善意的に解釈してアルゴリズムの方の動画だと思ったが
案の定あたまわるい方の動画だった

522 デフォルトの名無しさん
2019/10/10(木) 19:26:23.87 ID:yuHTWGdR

practical haskell second edition読み終わった

523 デフォルトの名無しさん
2019/10/11(金) 18:25:28.60 ID:NJkU4MQ7

Haskell Wiki
!haskellwiki
Hayoo
!hayoo
Hoogle
!h
Hackage
!hkg
Hoogle at Stackage
!stackage
https://duckduckgo.com/bang?c=Tech&sc=Languages+(Haskell)

524 デフォルトの名無しさん
2019/10/11(金) 20:15:13.77 ID:NJkU4MQ7

アマゾン.co.jp
!ajp
https://learning.oreilly.com/home/
!orly
O'Reilly
!oreilly

525 デフォルトの名無しさん
2019/10/12(土) 00:29:02.70 ID:mt88ZJv+

510

mylist 3 = [[1,2,3],[4,5,6],[7,8,9]]

みたいなリストを作る関数をHaskellで作ってみれば関数脳に目覚める。
割とマジで。

Haskell入門以前って電子書籍で書いたが、自力で目覚めるなら買わなくても良い。
(Haskell入門書読んでも宣言的とは?関数脳とは?がピンと来なかった経験から書いた)

526 デフォルトの名無しさん
2019/10/12(土) 00:42:17.63 ID:67yl+yJ3

パッと思いついたのはこんな感じ?
添削してくれたら嬉しい
HaskellでなくPureScriptだが

mylist :: Int -> Array (Array Int)
mylist n = do
i <- 1..n
pure [i*3 + 1, i*3 + 2, i*3 + 3]

527
2019/10/12(Sat) 01:48:37 ID:gzpbrH7N

">525
コメントありがとうございます!
">510です

ひねりなしですが…

mylist :: Int -> [[Int]]
mylist n = chop n [1..n^2]

chop :: Int -> [a] -> [[a]]
chop _ [] = []
chop n xs = take n xs : chop n (drop n xs)

chop は、直近に読んだ書籍からそのままアイデアを拝借しましたが、カンニングなしで書きました

[1..] のように、無限リストで書けたらと思いましたが、酒気帯びなためダメでした

IO の純粋って、のようなことがサッパリです…

528 デフォルトの名無しさん
2019/10/12(Sat) 02:00:10 ID:iYZ0+U57

">527
うーん・・・。
貴方はまだ手続き脳ですね。
(その手順でも関数脳を実感する人は実感するのでしょうが)
罰としてHaskell入門以前をご購入下さい。

IOの純粋は、「プログラマーのための圏論」と言うPDFがネットにあるのでググって読んでみると良いです。

529
2019/10/12(Sat) 02:20:05 ID:CTFV4tiX

(n: number) => Array.from(Array(n).keys()).map(
  i => Array.from(Array(n).keys()).map(
    j => n * i + j + 1
  )
)

530 デフォルトの名無しさん
2019/10/12(土) 02:25:29.50 ID:gzpbrH7N

528
510です
では、

mylist :: Int -> [[Int]]
mylist n = take n (chop n [1..])

531 デフォルトの名無しさん
2019/10/12(土) 02:33:17.76 ID:gzpbrH7N

528
510です
コメントをつけ忘れましたが、ご紹介いだいた圏論のレポートは、以前にちょっと目を通したことがあったと思いますが、サッパリだった記憶が…
あらためて拝見します
ありがとうございます!

532 デフォルトの名無しさん
2019/10/12(土) 08:28:10.44 ID:oBt8QHPo

530
ちょっとchopと[1..]から離れましょう。
そして、[1..n]に何をすれば次のリストを得られるか考えましょう。
プレリュードの(入門以前と書かれた通り)基本関数の組み合わせだけで書けます。

IOと言うより入力ですが、関数の引数か、外部からの入力かだけで中身の処理は普通の関数と同じと捉えましょう。
そうするとreadLine関数が部分適用で見た目の引数の減った普通の関数に見えて来ませんか?

圏論で謳っているのは、どこから来たかが違っていても同じ事をするなら、同じ関数と見なそう。
そう言う、ある着目点以外の差異を無いものとするという事です。

533 デフォルトの名無しさん
2019/10/12(土) 11:27:51.29 ID:/Y14moqf

510 です

mylist n = take n $ f [[1..n]]
where
f [ns] = ns : f [g ns]
g ns = map (+3) ns

としたところで、要素に f を繰り返し適用して無限リストを作る関数があることを思い出し、思い出せずにカンニングして iterate を発見

mylist n = take n $ iterate f [1..n]
where
f ns = map (+n) ns

map (+n) 辺りがどうも…

534 デフォルトの名無しさん
2019/10/12(土) 11:28:38.29 ID:/Y14moqf

インデントの空白が消えるのか

535 デフォルトの名無しさん
2019/10/12(土) 11:30:28.30 ID:/Y14moqf

間違えた、先の関数の (+3) は (+n) でした

536 デフォルトの名無しさん
2019/10/12(土) 14:40:27.19 ID:IkOZzxfL

文字数が減る主義を粛清した結果がこの関数脳内革命なのか?
文字数が減るでよかったのに

537
2019/10/12(Sat) 19:37:37 ID:Qwy8j330

">525
あの本出版した人?
いくら稼げた?

538
2019/10/13(Sun) 08:24:39 ID:joWtBDzr

競プロでもあるまいしアルゴリズムを非直観的なものに変形させる必要がどこにある?
そんなに漸化式が好きなら iterate (\xs -> [last xs+1,last xs+2..last xs+n]) でもやってろ

539
2019/10/13(Sun) 12:28:55 ID:vnXjj3sR

プログラミング運算やると計算量がオーダーレベルで変わるよみたいな話もあるから
非直感的な宣言をすることがいつも無駄とは限らないだろう
今スレで話題になってる例が教育的によいかどうかはわからんが

540
2019/10/13(Sun) 12:35:18 ID:rWBm0O/W

効率的な計算量になるようにコンピュータが計算して最適化してくれたらいいのに

541
2019/10/13(Sun) 14:20:50 ID:8ABqNncq

なにしてんの
mylist n = [ [(m - 1) * n + 1 .. m * n] | m <- [1 .. n] ]
とかじゃだめなの

542
2019/10/13(Sun) 14:25:29 ID:8ABqNncq

ただでさえO(n^2)なのにiterateとかやったらO(n^3)じゃん

543 デフォルトの名無しさん
2019/10/13(日) 15:19:23.66 ID:joWtBDzr

mylist n = take n $ chunksOf n [1..]
がダメらしいからそれもダメなんじゃない?知らないけど

544 デフォルトの名無しさん
2019/10/14(月) 07:17:52.00 ID:Foao1gEl

537
7000円


533
手続き型言語をやっていると非直感的ですが、そうで無い人(プログラミング未経験含む)だと割とこっちもメジャーなので、こっちが浮かぶのが関数脳を作れた基準?にしてます。

545 デフォルトの名無しさん
2019/10/14(月) 13:10:48.92 ID:dTytwEqk

n個の品物が入るナップサックがn個あって
1,2,3...と番号の書かれた品物を順番にいれていく
等々いくらでも行動的比喩が可能な問題に対して数式的に考えることが自然ねぇ・・・
まあ人間の思考傾向を議論するつもりはないけど
少し考えればシンプルに解ける問題は少し考えろと主張をしたいんだとしても
我々手続き的ゾンビにとってmylistの例が「直観性」を犠牲にするほどシンプルだとは思えないけどね

546
2019/10/15(Tue) 00:51:42 ID:ojqSK/Hb

チューリング完全なもの同士は等価である
Haskellと他の言語が等価であることを直感的に表現しているのがモナドだ
この文脈ではモナドが直感的だと思わない奴の直感はあてにならない

プログラミング未経験者ってのは文脈無視するのを正当化するための道具にされてるだけだろう

547
2019/10/15(Tue) 08:43:19 ID:NwqFzBSd

隠そうとして隠し切れなかったのがモナド

548 デフォルトの名無しさん
2019/10/16(Wed) 01:24:19 ID:N7kCHTAD

モナドっていうネーミングも謎

549 デフォルトの名無しさん
2019/10/16(水) 01:58:12.16 ID:1kZaANyW

ニョモレとかムニャンプの方が良かった?

550 デフォルトの名無しさん
2019/10/16(水) 02:26:39.80 ID:lWzU93N+

モノ モノイド

551 デフォルトの名無しさん
2019/10/16(Wed) 22:21:13 ID:N7kCHTAD

モナド=単一子=世界の究極の根本要素

でもHaskellのモナドは外部とのやり取りを隠蔽してる脇役みたいなものでしょ

552
2019/10/16(Wed) 22:25:37 ID:S+gc310a

無理やり型合わせするためだけの言い訳だな。
くっだらねーとしか思わんかったわ。

553
2019/10/16(Wed) 23:44:14 ID:5hxXU1b8

そう思ってでもまだこちらをのぞいているってことは
かなり気に入る・気になる部分もあったんだよね。

どんなところがよかったの?あるいは気になったの?

554 デフォルトの名無しさん
2019/10/17(Thu) 03:04:05 ID:Xwvn1Enx

CSで使われる用語って何かのめたふぁか知らんけど
無理に数学に合わせて造語っててかえって判り難さが増すというね

555 デフォルトの名無しさん
2019/10/17(Thu) 03:47:00 ID:qaCXzdDd

モナドが分からんという人が多いのは
哲学のモナドと混同してるからだろうな
全く無関係の別物だと理解する必要がある

556
2019/10/17(Thu) 04:08:11 ID:UnH0fUML

いやそれはない

557 デフォルトの名無しさん
2019/10/17(木) 06:05:35.66 ID:gq3I2ckq

モナドはわかっても何が凄いのか全然わからん教えてくれ

558
2019/10/17(Thu) 07:39:25 ID:fFU5Cjed

哲学と数学の違いは「嘘を言ってはいけない」という点にどこまで集中するかの違い
すごいものを作るより有害なものを作らないことをどのぐらい重視するか

559 デフォルトの名無しさん
2019/10/17(木) 08:37:09.64 ID:n/9LzeKG

たしかにモナドすごいすごいって言う人っていざ説明させると説明できないよねw
せいぜい受け売り止まり

560
2019/10/17(Thu) 09:27:30 ID:PVi4YySF

では説明お願いします

561
2019/10/17(Thu) 09:56:17 ID:Gwz4u+oG

受け売り止まりじゃない説明はよ

562
2019/10/17(Thu) 10:16:38 ID:kLoaz8mV

モナドはただのデザインパターンの一つだろ

563 デフォルトの名無しさん
2019/10/17(木) 10:44:35.23 ID:n/9LzeKG

560
俺は話聞いてるだけ
強引なHaskell推しに困ってる

564 デフォルトの名無しさん
2019/10/17(木) 10:44:48.97 ID:UnH0fUML

モナドほどの抽象化しただけで画期的じゃん
イテレータとか用意してデータ構造によらないコンテナへの共通インタフェースとさらにそれへの特別なシンタックスシュガー用意した言語ぐらいならあった
モナドなんか用意してdo記法なんてシンタックスシュガー用意してプログラミング言語における手続き的処理やその他諸々を抽象化した

565
2019/10/17(Thu) 10:57:50 ID:8XbgiZIP

抽象化できてるか?
手続き型と同じっぽく見えるけど、いざ活用しようとすると同じようには使えなくて意味不明な型エラーで詰まる
結局のところモナドの仕組み理解できてないと使いこなせない
これは抽象化できてないってことでしょ

566
2019/10/17(Thu) 11:46:58 ID:UnH0fUML

そりゃ任意の手続き型言語を再現できるわけではないから完全な抽象化ではないけど

手続き型的な処理とか、失敗する可能性のある処理とか、非決定的処理だとか、そう言った諸々をまとめてモナドとして一般化してる
そのおかげでそれら全てで共通にdo記法やモナド向けの関数といったものが使えて、各種毎に個別に関数を用意したり覚えたりする必要が減る

自作のDSLなどを構築するときにも
モナドインタフェースを実装するだけでdo記法やモナド向け関数群を使えるようになる
他言語でDSL構築は結構大変だし、オレオレDSLなんてどういう仕様かわかりにくいけど、haskellなら型から検索したり型を見たりすることでどういうアクションがあってどうやって使うのかがわかる

567
2019/10/17(Thu) 11:49:22 ID:fFU5Cjed

これがC++だったらJavaScript環境を作ってC++の仕組みを隠蔽するかもな
Haskellでも同じことをする自由はある

568 デフォルトの名無しさん
2019/10/17(木) 21:34:43.47 ID:AvAuJv6u

関数脳になるとどんな利点があるのかな?
手続記述は使い回ししにくい?

参照透過性が確保されていて型の情報があれば
算法の記法が手続き的か定義的かを問わず
どちらでもいいような気もするが

569
2019/10/18(Fri) 00:47:49 ID:Jux/affY

">551
Haskellのモナドって関数型で命令的な処理の書き方をしたいってことだろ
要するにLispにPROGフィーチャー入れたのと同じような動機だろ

570
2019/10/18(Fri) 06:44:38 ID:lM5JoyFV

">562
絶対違う

571 デフォルトの名無しさん
2019/10/18(Fri) 09:49:47 ID:F+Okgjq/

">569
全然違うんだよなぁ…

572 デフォルトの名無しさん
2019/10/18(Fri) 12:21:22 ID:cHgwfEPK

コンストラクターがオーバーロードできないから別の列挙型に同じタグ名がつけれないんだけど
どうしたらいい?

573
2019/10/18(Fri) 12:40:18 ID:B/ouUg1P

">569
学び始めはそう理解したが bind 演算子とか融合とか進んで
現時点では切り分けや共通化の便利な道具と思ってる

574
2019/10/18(Fri) 12:41:41 ID:B/ouUg1P

">572
自分だったら根本的な構造を見直すかな

575 デフォルトの名無しさん
2019/10/18(金) 17:04:05.16 ID:lM5JoyFV

574
kwsk

576 デフォルトの名無しさん
2019/10/18(金) 20:30:34.81 ID:O9SciFl2

572
DuplicateRecordFields 拡張を使うとできるようになるっぽいよ。
http://lotz84.github.io/haskell/extensible-record.html

577 デフォルトの名無しさん
2019/10/18(金) 20:44:14.39 ID:lM5JoyFV

576
俺も一瞬それ思ったけど同名データコンストラクタもできたっけ?

578 デフォルトの名無しさん
2019/10/18(金) 21:22:19.66 ID:O9SciFl2

577
コンストラクタの方か。見間違えてた

579 デフォルトの名無しさん
2019/10/18(金) 22:18:25.57 ID:O9SciFl2

data 宣言を別モジュールに分けて
両方が必要なら import ... as ... で別名をつけるって方法はどう?

580 デフォルトの名無しさん
2019/10/18(金) 22:56:52.03 ID:liCy40EB

モナドを導入することで副作用のない
「副作用のチェーンをつくって渡す。」
ちなみに実行は副作用させるというバカみたいなレトリックを実行してるだけ。
バカはそういうものをありがたがるんだよ。
そしてそういうものをありがたがるというのはバカみたいに本質なんだな。

581 デフォルトの名無しさん
2019/10/18(金) 23:39:51.57 ID:CSj9zhCF

モナドのごとく回りくどく分かりにくい文だな

582 デフォルトの名無しさん
2019/10/19(土) 00:07:09.37 ID:0X24TT//

575
Haskellは個人の趣味・自己啓発の道具の範疇なので
参考にならないでしょうが…

名前がかぶるのはどこか機能がかぶってたりするかなと
型の使い方を見直したり組み合わせる関数を見直したり
所属するモジュールを移動したりとか。

どうしても名前がかぶるってときは英語名や日本語名
ときには中国語とかも借用する(ただし英字を使う
ローマ字やピンイン表記)か密接に関係する事柄の
接頭辞をつけてる。

583 デフォルトの名無しさん
2019/10/19(土) 00:15:25.34 ID:0X24TT//

580
モナドで副作用・副作用もどきを扱えるけど
モナドの全てが副作用・副作用もどきを伴う
わけではないでしょ。

リストもMaybeもEitherもモナドとして扱う
定義はされているが別にそれをつなげても
副作用があるわけでなし。

584 デフォルトの名無しさん
2019/10/20(日) 21:44:47 ID:5Lp8lBZ6

非決定計算やIOが同じモナドというククリで実現できるのが大変興味深いです

585
2019/10/20(日) 23:54:14 ID:Wg020iKs

なぜそんなにお前らがモナドについてあーでもないこーでもないと話し合ってるのかがわからない
モナドなんていたってシンプルな考え方なのに

モナドなんて単純にどうやって関数を合成するかというルールにすぎない
より正確には、「モナディックな関数」を合成するルール

では、モナディックな関数とは?それは"装飾された値"を返す関数のこと。
どんな装飾が施されたかについては、文脈によって様々だが、たとえば…

・エラー -> 失敗を表すデータもとりうる値 MaybeとかEither Error
・非決定性 -> いくつもの値を同時に表す値 List, Array
・副作用 -> 副作用自体を表すデータ Effect, Aff
・状態を扱う -> 状態を表すデータとセットになった値 Reader , Writer, State

586
2019/10/21(月) 00:25:00 ID:4Py1bsIM

シンプルな考え方合成ルールといいつつ
肝心のルールの中身を説明しないで
利点や応用分野のみ紹介する
典型的な日本人話法

モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?

587
2019/10/21(月) 00:50:05 ID:tyOGJJBt

いやだから装飾のされ方は物によって様々だって言ってるじゃん
ルールの中身も当然装飾のされ方によって様々なんだから画一的に述べられないってわからないか?

一つ言えるのはbindとpureの定義を与えるってことくらいだが
あるいは同値な定義だが、関手であることを要請した上でjoinとreturnを与えるのでも構わない
数学者のモナドの定義を述べているお前ならこっちのほうが好みかもな

588 デフォルトの名無しさん
2019/10/21(月) 11:02:55 ID:Spzp+9MC

「自己関手の圏」の中身を説明しないからわけがわからない
関手の合成は積?
恒等関手は単位対象だが終対象ではない?
うっかり始対象になったりしたらそれ積じゃなくて和じゃないか

589 デフォルトの名無しさん
2019/10/21(月) 12:39:15 ID:4Py1bsIM

中身は数学で明示されてるのでは

590 デフォルトの名無しさん
2019/10/21(月) 14:07:32.87 ID:Fq1X48Cm

自己関手の圏におけるモノイド対象としてモナドを理解することは、必ずしもプログラミングのためになるものではないから必須ではない。

それでもそれを理解したいのであれば、プログラミングの文脈で理解するのではなくて、ちゃんと圏論の文脈で理解した方がいい。
Bartosz MilewskiのCategory theory for programmerがわかりやすくておすすめ。

591 デフォルトの名無しさん
2019/10/21(月) 14:17:03 ID:2JzHnDoh

【僕用メモ】

・bind と pure の定義を与える
・関手であることを要請した上で join と return の定義を与える

両者は同値である。

592 デフォルトの名無しさん
2019/10/21(月) 14:44:27.76 ID:VTam/Iyy

だめな理系人間の特徴
初学者に対してひたすらwhatを説明
だいたいコミュ障を併発してる

593 デフォルトの名無しさん
2019/10/21(月) 14:53:31 ID:c9dhXgWB

この人のことか
http://masa-lab.hateblo.jp/entry/2019/02/01/110041

594 デフォルトの名無しさん
2019/10/21(月) 15:19:59.07 ID:ZzgPuxVR

593
そうでもなくね? っていうか内容がHaskellに関係なかったw

595 デフォルトの名無しさん
2019/10/21(月) 15:38:45 ID:E4DE6I01

お前らって圏論なにで勉強したの
英語の本読んだの?大学の授業とかで習ったの?

596 デフォルトの名無しさん
2019/10/21(月) 15:49:09 ID:niRnsl0k

数学の本買って独学

597 デフォルトの名無しさん
2019/10/21(月) 16:22:57 ID:5+ah6i6T

知らん用語が出て来るから初学者で戸惑う人が多いだろうが
内容は小学生でも理解出来るレベル

598 デフォルトの名無しさん
2019/10/21(月) 16:52:11.20 ID:D03iscrb

Basic Category Theory, Tom Leinster 
英語で読んだ

599 ◆QZaw55cn4c
2019/10/21(月) 22:01:25 ID:lW7UmcA6

">598
翻訳でもない和書ってありませんかね…

600 デフォルトの名無しさん
2019/10/22(火) 02:26:17 ID:Y6ckqEQv

">595
数学教室 πの焼き方と、プログラマーのための圏論。
ただ、読んだ後に意味を吟味して閃きが必要だった。

まず普通の関数とモナドな関数を同じと見做す考え。

IOモナドの入力は基本、文字列を受け取るので数文字列を受け取って、整数に変換後2倍する関数を作るとする。

getLine ">= \s -> return $ 2 * read s

これと同じ効果の普通の関数を作ってみる。

getLine’ s = 2 * read s

このgetLineとgetLine’をそれぞれ部分適用で見かけの変数を減らす形に変形。

getLine ">= return.(2*).read

getLine’ = (2*).read

この場合、2つの関数は型と引数からの入力か入力装置からの入力かしか違いがない。
関数の中身から見れば、いつ、どんな文字列が来るか分からない。同じ数文字列が来たら同じ結果を返すと言う意味では同じと見なせる。

601 デフォルトの名無しさん
2019/10/22(火) 02:26:29 ID:Y6ckqEQv

そして、圏論の主張は変数は引数無しの関数でも有ると言う事。
以下は関数である。

f x = 2 * x

しかし、部分適用されたカリー化関数は関数でもあり、変数でもある。

f = (2*) (関数でもあり、関数という値を返す変数でもある)

すなわち、x = 1のようなただの変数も、つねに1を返すxと言う引数の無い関数と見なせる。

x = 1 (1と言う値の入った変数であり、常に1を返す引数無しの関数でもある)

Haskellでは表現できないものの、さらに言えば数そのものも圏論では値であり、変数であり、関数である。
単純に書くと以下の通りだが、

1 = 1

ペアノの公理(ペアノ数)を使った方が概念的に分かりやすいかも知れない。

data Nat = Zero | Succ Nat

1 = Succ Zero

602 デフォルトの名無しさん
2019/10/22(火) 03:15:18 ID:Id5sXRgE

ちぃOrdの使い方覚えた

https://ideone.com/LForVF

603 デフォルトの名無しさん
2019/10/22(火) 07:00:59.60 ID:bWQbmCi2

590
youtubeにある彼のビデオレクチャーも良いよ

604 デフォルトの名無しさん
2019/10/22(火) 11:37:49.35 ID:QfoZv31s

モノイドのところがよくわからんかったけど読み物として面白かった
https://chrispenner.ca/posts/wc

605 デフォルトの名無しさん
2019/10/22(火) 13:56:22.87 ID:bWQbmCi2

604
ちょっと待て
モノイドのところが一番の肝で面白い部分だろ

606 デフォルトの名無しさん
2019/10/22(火) 21:21:34.69 ID:r5HMg/cf

601
>数そのものも圏論では値であり、変数であり、関数である。

もしその様な表現が可能な拡張がされた場合何が起きる出来るんですか?
数値に新規の型を設定して値で変数で関数みたいな扱い出来ないかな

607 デフォルトの名無しさん
2019/10/22(火) 21:31:09.36 ID:mzkWHCb9

圏論うろおぼえだけどそれって圏論の範疇だっけ?
圏論ってマッピングする理論であってその対象が値か関数か変数か関知しないのでは?
値が関数ってのはラムダ計算から来るものでしょ
確かにそれらを組み合わせて計算理論になるわけだけど

608 デフォルトの名無しさん
2019/10/23(水) 02:22:17.73 ID:yKBkbeD2

601
お前が圏論を全く理解していないことは良くわかった

圏論には「関数」とか「値」とか「変数」といった概念はない
「対象」と「射」との2つの概念があるだけだ

だからお前の次の

>数そのものも圏論では値であり、変数であり、関数である

これは単なる間違いさえ通り越して全くのナンセンス
圏論には値も変数も関数も存在しないのだから

何を対象として何を射とするかは個々の具体的な圏によって異なる

609 デフォルトの名無しさん
2019/10/23(水) 02:25:20.92 ID:yKBkbeD2

608
ああ、ちょっと簡単に書きすぎたね
確かに関手

610 デフォルトの名無しさん
2019/10/23(水) 02:29:17.74 ID:yKBkbeD2

609は書いてる途中で間違って送信してしまった

608
ああ、ちょっと筆(じゃなくてキーボード)が滑って簡単に書きすぎたね
確かに関手とか自然変換といった概念も圏論にはあるが、これらもある圏から見れば射や対象に過ぎない

いずれにしても圏論には値や関数や変数といった概念はない

611 デフォルトの名無しさん
2019/10/23(水) 03:34:04.69 ID:yprcaBdP

では何らかの制限がないと取り扱いが難しいよね
例えば英語と日本語の翻訳で使われる意味を咀嚼変換するロジックを圏論だと言われたら
なんか凄く難しそうだなとか

612 デフォルトの名無しさん
2019/10/23(水) 07:48:02.01 ID:w9X9/NZW

別に集合論だって写像の集合を考えればいいわけでそんなのは圏論を持ち出さなくても十分
重要なのは圏論は写像の合成(関数合成)を抽象化して扱う理論だということで
だからこそa -> IO bを射とする圏を作れればそこでの射の合成方法は普通の関数合成と同じように扱える
で実際にIOはクライスリトリプル(Monadのインスタンス)を定義できるからa -> IO bを射とするクライスリ圏が定義できる

613 デフォルトの名無しさん
2019/10/23(水) 15:46:04.24 ID:QE7mhz5K

質問です。
当方数学科卒で学生時代圏論は死ぬほど使ってました。
しかしアーベル圏という純数学的なお話知ってるだけで、計算論に応用する話は全く勉強した事ない状態です。
そういう人間が圏論の計算論への応用を勉強したいときオススメの教科書、参考書は何かご存知ですか?
抽象圏論や数学基礎論も少しかじった事があるのでその手の話が出てきてもあまり困る事はないと思ってます。

614 デフォルトの名無しさん
2019/10/23(水) 18:37:44.76 ID:EHUlBTzl

そこまで圏論に詳しいなら逆に世の中の有象無象の情報処理の実態を
見て新しい提案ができるんじゃないかと思うけどどう?

615 デフォルトの名無しさん
2019/10/23(水) 18:48:53.05 ID:FecPQc4e

型推論とモナドがわかったら解散でいいじゃん
だらだら続けるとサンクコストが増える

616 デフォルトの名無しさん
2019/10/23(水) 20:01:33.78 ID:r6mLYpNF

浮動小数演算みたいなある種のモナド則が成り立たんものを考えると、
逆にモナド則のありがたさがわかる。
そんな程度で十分だよ。

617 デフォルトの名無しさん
2019/10/23(水) 22:29:52.97 ID:0mQ7NQWB

どちらかと言えば、モノイドの方が役に立つ

618 デフォルトの名無しさん
2019/10/23(水) 22:51:28.42 ID:MhItXVwr

浮動小数点のモナド?
モナド則の結合律っぽい奴は普通の関数で言うなら
f (g x) == (f . g y) x を要請してるのであって
f,gの計算には依存しないから浮動小数点が破壊することはないよ

619 デフォルトの名無しさん
2019/10/23(水) 22:55:47.94 ID:MhItXVwr

ミス f (g x) == (f . g) x だった

620 デフォルトの名無しさん
2019/10/24(木) 01:14:02.96 ID:iVnwkALy

f x = x / 0.3
g x = x * 0.3

621 デフォルトの名無しさん
2019/10/24(木) 01:19:57.43 ID:iVnwkALy

ghci でやってみたら循環小数にならなかった。macOSの電卓でも。
へぇ~。

622 デフォルトの名無しさん
2019/10/24(木) 01:57:21.20 ID:/X6zPP1d

613
> そういう人間が圏論の計算論への応用を勉強したいときオススメの教科書、参考書は何かご存知ですか?
> 抽象圏論や数学基礎論も少しかじった事があるのでその手の話が出てきてもあまり困る事はないと思ってます。

理論計算機科学(以下、TCSと略)への圏論の応用を勉強したいのならば、最もベーシックなテキストとしては

1. Andrea Asperti &amp; Giuseppe Longo: Categories, Types, and Structures, 306+xii pp., MIT Press (1991)
型理論として単純型付きλ計算と2階の型付きλ計算それぞれに対する圏論的意味論を議論している他、
型無しλ計算の意味論を展開する上で不可欠な再帰的領域方程式とその解に対する圏論的な見方も解説している。
更にHaskellなどで喧しいモナドやKreisel圏についても解説している。(関数プログラミング言語へのモナドの応用は
本書の著者の1人であるLongoの論文から全てが始まった)
この本の最大の欠点は誤植がとても多いことと昔のMacで書かれていてテキスト中の数式も図も美しくないことだ。
なお、現在は書籍としては品切れになっていたと思うが、著者のHPから電子的に無料で入手可能になっていたはずなのでネットで探して下さい。

2. Roy L. Crole: Categories for Types, 335+xvii pp., Cambridge University Press (1993)
様々な型理論(型理論は(関数)プログラミング言語とその型システムを形式的体系としたものと考えて良い)に対する圏論的意味論を議論している。

3. 横内寛文:プログラム意味論,261+vi pp.,共立出版 (1994)
久しく品切れになっていたが少し前に増刷されたので現在はジュンク堂などの大型書店などの店頭で買えるはず。
表示的意味論、型無し・型付きλ計算、領域理論、関数型言語の意味論について1つずつ章を設けて解説した後、この本で必要とする圏論の解説がされ、
プログラミング言語の表示的意味論で必須の再帰的領域方程式とその解法に対する圏論からのアプローチと
λ計算の意味論としてλモデル・λ代数・圏論的モデルとしてのCCC(デカルト閉圏あるいは積閉包圏)について解説している。

この他にもTCSへの圏論の応用としてはオートマトン理論への応用や代数的仕様記述言語の意味論への圏論の応用
(こちらの意味論ではデカルト閉圏は使われない)などがある。

623 デフォルトの名無しさん
2019/10/24(木) 02:41:27.79 ID:/X6zPP1d

622訂正と補足

まず1に関する説明中の次の箇所を訂正します。つい筆が滑ってKleisliをKreiselと書いてしまった。

誤> 更にHaskellなどで喧しいモナドやKreisel圏についても解説している。(関数プログラミング言語へのモナドの応用は
正> 更にHaskellなどで喧しいモナドやKleisli圏についても解説している。(関数プログラミング言語へのモナドの応用は

それから、

> なお、現在は書籍としては品切れになっていたと思うが、著者のHPから電子的に無料で入手可能になっていたはずなのでネットで探して下さい。

と書いたが、無料の電子版は著者の一人であるLongoの次のURLよりPDFファイルの形で配布されている。

https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

624 デフォルトの名無しさん
2019/10/24(木) 09:09:56.34 ID:M5uvwdA8

618
浮動小数においては
(a+b)+c != a+(b+c)
なんだよ。

625 デフォルトの名無しさん
2019/10/24(木) 19:35:38.99 ID:iMDLzbYl

624
だからこそ「モナド則の結合律のこと言ってるの?あれは関数合成的な話だから関係ないよ」
って言ってるんだけど
ああもしかして616は結合律一般について言ってるのか?
それならアスペみたいなこと言って悪かった
いやまさか四則演算の結合律の便利さから
printFile file = readFile file ">= putStrLn
printFile == readFile file ">= putStrLn
になることの利点を理解しろという主張だとは思わなかったからさ・・・

626 デフォルトの名無しさん
2019/10/24(木) 19:42:56.62 ID:M5uvwdA8

いやモナド則で語ることなんて結合律以外ないだろ。。
結合律を無条件で仮定できる状況がどれほど負担を減らすかって話なんだが
ここまでバカな絡まれ方するとは思わなかった。

627 デフォルトの名無しさん
2019/10/24(木) 19:50:34.49 ID:iMDLzbYl

ああ、printFile file == readFile file ">= putStrLn だった
しかもそれも誤解しか生まない表現で
要はreadFile file ">= putStrLnをprintFileで置き換えても問題ないってことを言いたかったんだけど
いやほんと5ch向いてないね

628 デフォルトの名無しさん
2019/10/24(木) 20:08:28.59 ID:3BngmFUW

627
なんか、あんたは気持ち悪いね

629 デフォルトの名無しさん
2019/10/24(木) 20:16:05.76 ID:iMDLzbYl

626
いやほんと頭が悪くて申し訳ない
「足し算の結合律って便利でしょ?モナド則も結合律だから便利なんだよ」
こんな糞みたいな主張をする人間が世の中にいることぐらいは分かっておくべきだった

630 デフォルトの名無しさん
2019/10/24(木) 20:22:28.52 ID:y9mzZKfZ

単位元を語ってもええんやで

631 デフォルトの名無しさん
2019/10/25(金) 04:29:07 ID:2bZjXkn1

">629
前提として「足し算の結合律って便利だね」
じゃ足りないの
何が不足なのかな
副作用をモナドの結合連鎖外に及ぼさない事による恩恵が主目的じゃないの?
とくにマルチスレッドコア環境だと色々有難いよね
モナド連鎖の組み合わせとか組み替えとかがスカッとできてイイ!とか
連鎖の中で起きたエラーのリカバリーとかはよくわからん

632 デフォルトの名無しさん
2019/10/25(金) 08:07:43.53 ID:39WP6mHi

631
モナドが実際の所どれぐらい便利なのかは分からないけど
(m ">= f) ">= g == m ">= (\x -> f x ">= g)
が言ってることは単純なんだよ
">=が普通の関数呼び出しのように使えるというだけ
$(普通の関数呼び出しを演算子化したもの)の場合を考えれば分かりやすいかな
g $ (f $ x) == (\y -> g $ (f $ y)) $ x
関数と値の引数が$と">=では逆だから両辺が逆向きになってるけど
要するに二つの関数を一つの関数まとめても構わないという
誰もが当たり前にやってることの理論的基盤を">=にも要請してるというだけなんだよ
だから getLine ">= printFile と getLine ">= readFile ">= putStrLn
が同じだと言うためにはこの結合律を満たさなきゃならない
ちなみに二個以上の関数をまとめ上げる場合や多引数の場合もこれで証明できる

633 デフォルトの名無しさん
2019/10/25(金) 08:33:13.53 ID:2bZjXkn1

632
モナドの条件が成立すると色々便利な事は認識している
端緒の認識はそれで問題ないと思ったけど
便利だよねって見解が
>こんな糞みたいな主張をする人間が世の中にいることぐらいは分かっておくべきだった
って言われて、え?え?何かマズイ理解なり認識があるのか??
何がマズいのかワカラン??って感想
単純に罵倒してマウント取りたかっただけなら問題ない

634 デフォルトの名無しさん
2019/10/25(金) 09:19:09.32 ID:dpM8h0bh

624見たとき何言ってんだコイツと思ったが案の定ボコされてて安心した
論理的な思考ができない人間って怖いわ

635 デフォルトの名無しさん
2019/10/25(金) 11:27:36.73 ID:2bZjXkn1

624
>浮動小数においては
>(a+b)+c != a+(b+c)
>なんだよ。
まるめ誤差を考慮すればだけど
浮動小数点を引き合いにだして!=だってやった事か

636 デフォルトの名無しさん
2019/10/25(金) 18:07:06.47 ID:mPFGj3TJ

633
そこは売り言葉に買い言葉だったんじゃねーの。
俺は雑な主張はアリだと思うし、それに対する善意の解説もいいと思うぞ

637 デフォルトの名無しさん
2019/10/25(金) 18:15:13.95 ID:lPbrkHzC

633
三段論法的なのが糞だって言ってるだけでその部分は別に間違ってないよ
まあマウンティングするつもりはないんだが
曖昧なこと言っといてそれについて意見したら「バカに絡まれた」なんて
そりゃ感情的にもなるよ確かに大人げないけどさ

638 デフォルトの名無しさん
2019/10/25(金) 18:32:47.40 ID:lPbrkHzC

636
そう言ってくれるなら嬉しい限りだけど
最初のレスから反省する点が多すぎるのでもう消えます
スレのみなさんご迷惑をおかけしました&#128575;

639 デフォルトの名無しさん
2019/10/25(金) 19:57:54.15 ID:jaw68O5t

まあかなり意地の悪い例を出したつもりではあったけどね。
「論理的思考」とか言い出す輩が引っかかりそうな例を。

640 デフォルトの名無しさん
2019/10/25(金) 20:50:12.32 ID:8KDPUxpr

どうでもいいけど「論理的アルゴリズム」だったら簡単にコピーできそう
アルゴリズムとパラダイムの違いの一つは、コピーする自由

641 デフォルトの名無しさん
2019/10/26(土) 00:21:14.14 ID:ud4Mu1os

モナドの話してる中で一人結合則全般についての話始めて浮動小数点数に関する当たり前の説明せっせとしてんのは草
小学校で習う掛け算も足し算もモナドみたいに便利だけど浮動小数点数はモナドと違って不便だねえ

642 デフォルトの名無しさん
2019/10/26(土) 10:10:55.84 ID:e6NVGnmw

最近近隣スレで浮動小数点数で恥ずかしい書き込みを繰り返してる香具師を観かけたが
きっとCS知らない浮動小数点数覚えたての厨房が暴れてるんだろう

643 デフォルトの名無しさん
2019/10/26(土) 10:22:10.08 ID:az5oKcRh

素人なので確認したい
浮動小数点演算は計算式の組み替えによって生じる
計算ごとの丸め誤差とその蓄積が一意ではない
そこが問題。でいいですか?

644 デフォルトの名無しさん
2019/10/26(土) 12:52:46.96 ID:751XFDvk

例えば、3桁の有限桁数で、

123,000 + 987 は、どうなると思う?w

645 デフォルトの名無しさん
2019/10/26(土) 13:03:31.77 ID:az5oKcRh

644
浮動小数点は実装の有効桁数とか精度誤差の複合なんですね
やっと理解できたとかも

646 デフォルトの名無しさん
2019/10/27(日) 09:39:17.43 ID:E41dDRFH

644
>123,000 + 987 は、どうなると思う?

合成や結合則との関係は?

647 デフォルトの名無しさん
2019/10/27(日) 12:11:44.86 ID:5vE1lFai

ヒント
(123000 + 987) + 456
123000 + (987 + 456)

648 デフォルトの名無しさん
2019/10/27(日) 12:20:50.14 ID:+UrB7+Fx

>647
有効桁数3の条件下では
443
443
で結合則?を満たしている

649 デフォルトの名無しさん
2019/10/27(日) 14:13:05.51 ID:E41dDRFH

647
ヒントなどと気取らず最初からその例を出せばいいのに…

648
整数計算で有効桁数という考え方はあまりしないとおもうし
計算途中の有効桁数範囲外の取り扱いを決めておかないと
なんとでも言えるような。JISにあったかな?

650 デフォルトの名無しさん
2019/10/27(日) 20:56:25.06 ID:5vE1lFai

649
最初からも何も最初言ったの俺じゃないし誰でも気づくだろ

651 デフォルトの名無しさん
2019/10/28(月) 15:11:56.47 ID:CizzAz3Z

恥の上塗り

652 デフォルトの名無しさん
2019/10/31(木) 16:11:16.19 ID:Q9035W3u

最近のHaskellは末尾再帰形は当たり前として、余再帰形まで最適化するってマジ?

653 デフォルトの名無しさん
2019/10/31(木) 19:47:56.88 ID:+pnqrJiF

モナドの話すると怒る人が一定数いるのに
最適化の話は難解でもすんなり受け入れられるのなんでだろう

654 デフォルトの名無しさん
2019/10/31(木) 19:53:32.58 ID:PeiHf3lU

653
モナドとか関係なくあまりに馬鹿っぽいレスが怒られるだけ
例えば653もそう

655 デフォルトの名無しさん
2019/10/31(木) 20:01:53.96 ID:0babd/Ur

年寄りが自分の理解できないことをしゃべるなって
いっているだけでしょ。最適化はなんだかんだいっ
て実践もしくはなんとか理解できる範疇とかでは。

656 デフォルトの名無しさん
2019/10/31(木) 20:08:46.83 ID:+pnqrJiF

例えば「馬鹿っぽい」の定義はモナドの定義よりもずっと複雑なんだよ
そのわりに「馬鹿っぽい」は難解すぎるという認識はほとんどない

657 デフォルトの名無しさん
2019/10/31(木) 21:33:19.89 ID:0babd/Ur

Haskellや圏論のモナドってライプニッツ由来?ギリシャ哲学由来?

658 デフォルトの名無しさん
2019/10/31(木) 22:15:10.01 ID:ZttcTVl1

モナドの場合、「俺の理解は正しくて、お前の理解は間違ってる」てな話になりがちだから。

659 デフォルトの名無しさん
2019/11/02(土) 11:54:49.10 ID:8EQu8ULJ

622
お返事おくれて申し訳ありません。
時間作って是非挑戦みたいと思います。
ありがとうございました。

660 デフォルトの名無しさん
2019/11/02(土) 21:23:26.95 ID:3BGLXMdU

【ぼくようメモ】

Haskellはマルチディスパッチをネイティブサポートしているので、
デザインパターンの一つ、Visitorパターンを気づかない内に使っている。

661 デフォルトの名無しさん
2019/11/02(土) 22:57:22.40 ID:r3wI6psG

Haskellを勉強するとどんなメリットが有りますか?

① Haskellを使って仕事する開発プロジェクトなんてものは世の中に有るのですか?
② ①が無いなら開発プロジェクトが無くても仕事の効率化などで、役立てる方法は有るのですか?
③ ②も無いなら、勉強して得た知識を日々のJava等の開発プロジェクトで役立てる方法は有るのですか?

662 デフォルトの名無しさん
2019/11/02(土) 23:45:55.62 ID:lY37zOLC

3かな。
コード書く際に
入出力部分と、ディターミニスティックな部分を選り分けるような書き方するようになった。

663 デフォルトの名無しさん
2019/11/03(日) 00:23:07.97 ID:lUqXCL2k

661
世界に目を向ければ、Reddit でよく求人されてる

664 デフォルトの名無しさん
2019/11/03(日) 07:05:59.77 ID:SWWLrIVQ

662
>ディターミニスティック
??
基本遅延評価なので即時評価とのより分?

665 デフォルトの名無しさん
2019/11/03(日) 07:44:37.10 ID:lUqXCL2k

664
ディターミニスティック
決定論的な

IOが絡む非決定論的なコードと、引数と戻り値の関係が決まっている決定論的なコードとを、
しっかり分けて書けるようになったと言いたいのだろう。

要するに、副作用のあるコードと純粋なコードを分けるということだ。

666 デフォルトの名無しさん
2019/11/03(日) 10:14:27.60 ID:9HD8E/jN

女心と秋の空はデバッグするのが難しいってことだ

667 661
2019/11/03(日) 12:44:26.49 ID:phxg68Jk

皆さんありがとうございます。

どうやら、あまり勉強する意味がなさそうに感じました。
なぜみなさんはこの言語をおやりになっているのでしょうか?
趣味でしょうか?

668 デフォルトの名無しさん
2019/11/03(日) 12:48:35.08 ID:r9lfrX/A

まあ勉強する意味はないといえばないかな。
その当時盛り上がったってのが理由だったりするから趣味といえば趣味。
でもまあその言語がどういうところを気にして作られたかってのを
触って実感するってのはプログラム全般で役に立つと俺は思うけどね。

669 デフォルトの名無しさん
2019/11/03(日) 13:13:12.24 ID:phxg68Jk

Javaから初めて、Javaしか書いたことが無い人というのは再帰メソッドとして実装した方が良いものも、慣れていないし面倒くさいからという理由で再帰にしたがらない傾向が有ります。
Hakellを勉強した人間なら、そういうことが起こらないという利点が有るといいうことでしょうか?

670 デフォルトの名無しさん
2019/11/03(日) 14:27:23.33 ID:9HD8E/jN

将棋の居飛車党と振り飛車党みたいなもん

671 デフォルトの名無しさん
2019/11/03(日) 14:42:14.64 ID:A+q4He3F

ループより再帰がいつも正しいわけではないでしょ
Javaなんだし
おれが仕事でやってるプロジェクトでは再帰は基本NGだよ

672 デフォルトの名無しさん
2019/11/03(日) 15:00:10.66 ID:smmSGOst

ループと末尾再帰は等価(キリっω

673 デフォルトの名無しさん
2019/11/03(日) 15:01:32.59 ID:b8FiTQTP

haskell学んでも、stack safeな再帰を書けるようになるわけでもないから、
haskellを学ぶ利点だとは思わない

理由を探さなきゃ学ぶ気になれないものには手を出さなければいいんだよ
CSの世界に限っても死ぬまでに学びきれないだけのネタがあるんだし

674 デフォルトの名無しさん
2019/11/03(日) 16:32:47.09 ID:nhaRMy12

『達人プログラマー』でも「毎年1つ新しい言語を学べ」と言っている
まあ凡人にそこまでは厳しくとも
たまに新しいプログラミング・パラダイムに触れることは
プログラマーにとって有益であると思うよ
それは知識として即効性のあるものというよりは(そういうのもあるかもしれないが)
1年2年経って効いてくるタイプのものかなと

675 デフォルトの名無しさん
2019/11/03(日) 18:49:00.94 ID:AdH9k/oI

661
②かな
宣言的プログラミングの作法が身につく

普段Javaを使っているのなら、
最近のJavaは関数型プログラミングのシンタックスがかなり増えてきているので
Haskellで高階関数の使い方を理解しておくと、Javaプログラミングに直接的に役立つ

676 デフォルトの名無しさん
2019/11/03(日) 19:10:14.85 ID:UDaenYuS

宣言的プログラミングとは何ですか

677 デフォルトの名無しさん
2019/11/03(日) 20:02:00.41 ID:JubniDAi

横レスだけど、そんなに役に立たないものなのか...
入門本買おうか悩んでたのに

678 デフォルトの名無しさん
2019/11/03(日) 20:22:26.22 ID:SWWLrIVQ

665
副作用ですか
Cのポインター辺りは副作用上等でトリッキーな事をしつつ記述してあるわけで
副作用と脆弱性に苦しんだ結果、RUST

Haskellの恐ろしい所はプログラムが何らかの高度な数学的アルゴリズムな場合があって
別途資料がないと全く理解できない
あっても以下略

679 デフォルトの名無しさん
2019/11/03(日) 20:59:17.59 ID:phxg68Jk

670

プロの世界では振り飛車は居飛車より勝ちにくいと言われますが、久保九段や菅井七段のようにそれを使って実践で勝つプロもいます。
アマの世界では振り飛車か居飛車かが直接勝敗に結びつくような高度な戦いができないので好きな方を選べばいいです。

ところが、ビジネスプログラミングの世界ではどうでしょうか?
残念ながら、手続き型プログラミング言語の開発プロジェクトしか存在しません。
関数型は使おうにも使う場所が無いのです。

680 デフォルトの名無しさん
2019/11/03(日) 21:02:48.17 ID:A+q4He3F

ないことはない
たとえIT土方業界であっても

681 デフォルトの名無しさん
2019/11/03(日) 21:12:52.97 ID:j4VhEtAF

679
Javaだって宣言型にシフトしつつあるし、
最近のJavaScript(ECMAScript)は基本的に宣言型プログラミングだよ

宣言型プログラミング=関数型プログラミングではない

682 デフォルトの名無しさん
2019/11/03(日) 21:23:44.54 ID:r9lfrX/A

宣言型を変にもてはやす記事とかあるけどさ、
あれバグがあるときに凄まじくデバッグしにくいってことはちゃんと知っておいた方がいいぞ。

683 デフォルトの名無しさん
2019/11/03(日) 21:26:11.59 ID:j4VhEtAF

682
それはいくらなんでもド素人すぎるだろう

684 デフォルトの名無しさん
2019/11/03(日) 21:44:19.05 ID:r9lfrX/A

683
多分、君は論理プログラミングとか制約プログラミングについて理解してないんだろう。

685 デフォルトの名無しさん
2019/11/03(日) 21:49:28.47 ID:j4VhEtAF

684
むしろそちらの方が専門に近いのですが、
どういうことか教えていただけますか?

686
2019/11/03(日) 21:49:45.89 ID:A1whpPq+

674
>『達人プログラマー』でも「毎年1つ新しい言語を学べ」と言っている
新しい言語を一年に一つ、とは、これは厳しい縛りですね…

687
2019/11/03(日) 21:51:15.76 ID:A1whpPq+

679
>久保九段
地元の棋士なので光速谷川氏とともに密かに応援してたりします

688 デフォルトの名無しさん
2019/11/03(日) 21:59:29.92 ID:A+q4He3F

685
横からだけど
凡人にとっては数学的な静的な関係を見つけ出すのはしんどいことが多い
副作用あろうが、ソースコードをステップ実行でトレースできる手続き型の方が
問題解析が楽ってことは往々にしてある

689 デフォルトの名無しさん
2019/11/03(日) 22:04:59.57 ID:nJ4Xpsy6

686
ジャンプ漫画みたいな台詞すこ

「三つか四つはないと、暇を持て余してしまいます……」的な

690 デフォルトの名無しさん
2019/11/03(日) 22:44:06.12 ID:ksAXIGkW

モナドって結局、計算効果Tをもたらすプログラム(T-プログラム)は
クライスリ圏をなすからクライスリトリプル(モナド)がT-プログラムの
合成規則として必要だから出てくる

691 デフォルトの名無しさん
2019/11/03(日) 22:45:11.48 ID:A+q4He3F

駄目な理系君の典型

692 デフォルトの名無しさん
2019/11/03(日) 22:56:40.83 ID:l1Ex5n/D

691
否定しないが結論としてはそうだぞ
モナドを利用したテクニックと登場する理由は違って当然じゃね?

693 デフォルトの名無しさん
2019/11/03(日) 23:34:12.73 ID:/tZ0XI+t

681

>Javaだって宣言型にシフトしつつあるし

どのような店を持ってシフトしているとおっしゃっているのか、例を教えていただけると嬉しいです。

694 デフォルトの名無しさん
2019/11/04(月) 05:48:03 ID:PrFaR+H+

モナドの副作用云々は
Scala Monix の並列プログラミングも面白い

695 デフォルトの名無しさん
2019/11/04(月) 06:29:33.14 ID:u0qouhFJ

678
恐ろしさというよりも
Haskellの仕様その他聞くと全く関係ない数学の話をしだす奴ばかりでカンファレンス途中で抜けてきたことがある
数学には全く興味ないんだがね
言っても聞きやしないこいつらとは合わないわと思った

696 デフォルトの名無しさん
2019/11/04(月) 07:07:21.47 ID:PrFaR+H+

695
マジでHaskellは数学者が数学者の為にデザインしたみたいなものなので
ネット上のコードも数学的専門性に全振りしたものが普通にある
そんなのは数学の専門課程と無関係な人間には理解できない

だけど、英文の赤黒木を扱うHaskellのコードは恐ろしくスッキリ短くて
余分なノイズが少ない
全体の把握が楽だった、恐ろしく高密度かも
コメントで書く詳細説明≒Haskellのコード

697 デフォルトの名無しさん
2019/11/04(月) 12:15:05.55 ID:GOdOYVw0

型の宣言だけならコードの中に埋め込むことはできた
だが数学の知識をすべて宣言するのは無理
だからコードを読みながら数学勉強しようと思ったら、わかることは静的型ばっかりだぞ

そもそも数学は広大過ぎてどこから手をつけるか迷うから静的型から始めるのは合理的

698 デフォルトの名無しさん
2019/11/04(月) 20:52:45.92 ID:t2f72QmD

数学の後ろ盾があるとよくわからない安心・万能感を錯覚し
これがよくわからない人を呼び寄せてしまう
この魅力はオカルトめいている
謎多き異性に惹かれてしまうのと似ている

699 デフォルトの名無しさん
2019/11/04(月) 21:01:45.20 ID:0O6JYxLK

キモすぎてわろた

700
2019/11/04(月) 21:05:02.30 ID:fwURXfb5

696
>赤黒木を扱うHaskellのコードは恐ろしくスッキリ短くて
>余分なノイズが少ない

赤黒木がそんなに短くなるのですか?!
やっぱり haskell をがんがらなくては

701 デフォルトの名無しさん
2019/11/04(月) 21:24:51.70 ID:GOdOYVw0

オカルトめいているのは数学でも言語でもない
人間の感情がオカルトめいているのだ

702 デフォルトの名無しさん
2019/11/04(月) 21:59:28.69 ID:PrFaR+H+

700
英語の参考資料(ブラウザで翻訳しつつ
Red-Black Trees in a Functional Setting
ttps://pdfs.semanticscholar.org/7756/16cf29e9c4e6d06e5999116f777e431cafa3.pdf

703
2019/11/04(月) 22:04:39.09 ID:fwURXfb5

702
thx a lot !
英語は読めないのですが、想像していなかったくらいに簡潔ですね…

704 デフォルトの名無しさん
2019/11/05(火) 17:15:35.86 ID:GEIgbGGA

PostgREST は Haskell のキラーコンテンツになれるか

705 デフォルトの名無しさん
2019/11/05(火) 20:00:05.59 ID:PndodFqR

Haskellの代数的データ構造は、速度が低い方に引かれるけど、恐ろしく合理的な手法かも知れない
中身は基本Lispの構文糖衣相当だからLIST処理のコストがそのまま処理速度に反映される

ただ、数学者が数学者の為にデザインした分だけ優れた表現力をもっている

C++で
class TEST {int a, b, c}; が
Haskellでは
Test Int Int Int になって
関数の定義時に
add (Test x y z) =
z + y + z
関数定義で型指定と値を変数名に拘束して計算する

test = Test 1 2 3
add test
なんか凄い気がする

706 デフォルトの名無しさん
2019/11/05(火) 20:14:52.01 ID:2pF9vl9I

Simon Peyton Jonesもなんかよくわからんけど関数型言語カッケーと思ったからやった
って言ってるくらいだからそういうのでいいんかもなとは思う。

707 デフォルトの名無しさん
2019/11/05(火) 20:40:52.74 ID:9FWI0Jsd

705
C++17なら、そこそこそれっぽく書けないか?
struct Test { int a, b, c; };
auto add(Test t) {
auto [x, y, z] = t;
return x + y + z;
}
auto test = Test{ 1, 2, 3 };
add(test);

708 デフォルトの名無しさん
2019/11/05(火) 20:47:05.49 ID:9FWI0Jsd

おっと、型定義はこっちのほうがそれっぽいか
#include
using Test = std::tuple;

709 デフォルトの名無しさん
2019/11/05(火) 20:58:36.52 ID:CZEUqG6i

ええやん

710 デフォルトの名無しさん
2019/11/05(火) 21:21:54.18 ID:qlchjqLq

C言語のswitchとenumが貧弱だったせいでコールバック地獄が始まったわけだが
コールバックの一部を、代数的データ型の場合分けで代替できる

数学者のためのデザインとの指摘はあたらない

711 デフォルトの名無しさん
2019/11/06(水) 01:26:55.45 ID:rSRNMbA2

707
同意します
C++の出力コードが速い事も

ただ、アルゴリズムとデータ構造を表現する時Haskellのコードがスッキリしてる
Haskellで組んだOSの例も

712 デフォルトの名無しさん
2019/11/06(水) 11:05:04.05 ID:eV2NmORn

haskellで組んだos詳細きぼん

713 デフォルトの名無しさん
2019/11/06(水) 18:02:57.62 ID:rSRNMbA2

HaskellでOSを作るプロジェクトがある
Haskellそのものがガベージコレクションが必要なLispの構文糖衣的性格があるので
通常のOSはGCを利用するではなく、必要であればGC的メモリー管理もしますな立場

Haskellのそこら辺の拡張を無理やり行ってとりあえず動いてますと言う体裁だそうです
LispでOSを作ればシステムの軽さ速度に制限が起きることと同じです

一応これ
Haskell OS
ttp://programatica.cs.pdx.edu/House/
見解の元ネタに近いもの
Can a operating system be made completely in Haskell?
ttps://www.quora.com/Can-a-operating-system-be-made-completely-in-Haskell

714 デフォルトの名無しさん
2019/11/06(水) 18:52:46.75 ID:KNNfVqhy

そういえば随分以前にLISP専用プロセッサを開発したっていう
大学があったなぁ。

715 デフォルトの名無しさん
2019/11/06(水) 19:42:19.17 ID:o3tEvZiY

30年くらい前
京大だかなんだか

716 デフォルトの名無しさん
2019/11/06(水) 19:49:43.93 ID:hVaPqBLT

その成果は同じく遅延評価があるTCLに結実したんですか。

三十年たっていると若者の人生相談にのってあげたりしないといけないですね

717 デフォルトの名無しさん
2019/11/06(水) 22:09:20.32 ID:nryCaCA5

Haskellは世界を救うってセミナーで言ってたけど。

718 デフォルトの名無しさん
2019/11/06(水) 22:15:29.42 ID:8uVcy+F0

救われちゃったら、ハスケルハックしときゃいいのか

719 デフォルトの名無しさん
2019/11/06(水) 22:17:29.04 ID:nryCaCA5

みずほのシステム移行にHaskellが採用されていたなら半年で完了できていたって言ってたよ。

720 デフォルトの名無しさん
2019/11/06(水) 22:17:52.37 ID:nryCaCA5

コンパイルを通ればバグがないことを保障されるし。

721 デフォルトの名無しさん
2019/11/06(水) 22:36:34.34 ID:E2YfCG0n

719
その手の話よく聞くけど

なんで、こうも関数型は人気ないん?
F#も人気上は微妙だし

722 デフォルトの名無しさん
2019/11/06(水) 22:41:32.49 ID:nryCaCA5

セミナーでは数学の素養が足りないからだって言ってたけど、僕はもう手遅れなので、次世代に期待してます。

723 デフォルトの名無しさん
2019/11/06(水) 23:00:13.47 ID:E2YfCG0n

数学自体は結構勉強したけど 圏論のよさはよくわかんね
ある意味数学の分野で一番かもしれない、圏論のよさが分からんのは
次はホモロジー代数かな

代数幾何は一番時間食ったけど、理解できていないので除外するけど

724 デフォルトの名無しさん
2019/11/06(水) 23:27:03.30 ID:Ly3pzzPK

720
さすがにそれは言い過ぎ
単にコンパイラを通せただけだ

725 デフォルトの名無しさん
2019/11/07(木) 00:27:07.92 ID:/6vjWhrz

パタンマッチの要素不足やらリストの範囲外参照やら
STMの糞詰まりやらいろいろ実行時エラーの要素は
あるよね

726 デフォルトの名無しさん
2019/11/07(木) 00:49:38.56 ID:T7e/rKHL

まあ少なくとも、意図した型じゃないのに実行できる上、そのまま実行時に死ぬことすらしない言語よりはよっぽどマシ
(ちょうど今、某動的型付言語でハマってキレてた)

727 デフォルトの名無しさん
2019/11/07(木) 00:57:14.10 ID:/6vjWhrz



遅くまでお疲れ様w

728 デフォルトの名無しさん
2019/11/07(木) 04:03:06.11 ID:8Vzx7lLq

719
COBOLのソースをHaskellで組んだプログラムで解析して
全体の処理、依存関係資料を作成
それを参考にしつつ java他へ移行じゃなかったけ?
詳細はググってください

COBOLのコードはトリッキーな記述はしない素直系だから解析はかどるんちゃう?

729 デフォルトの名無しさん
2019/11/07(Thu) 06:10:19 ID:RqdAjhZM

">723
英語読めない人が、英語のよさがわからんというのと同じじゃね
あなたが読めるものに誰かが翻訳してくれるのを待つか、
あなたが読めるようになるか

代数幾何なんて圏論で再構築されているから圏論の言葉がわからないと
どうしようもないけど、ホモロジー代数まで有用さがわからないというのは
代数が向いてないのか、興味が隔たっているのか微妙なところ

730 デフォルトの名無しさん
2019/11/07(木) 06:36:09.91 ID:RqdAjhZM

721
関数型パラダイムの、ユーザ向けの簡単な部分のいいとこどりは各言語でされているし、
人気もあると思う
それを超えて関数型言語に入ろうとすると、面倒くささのほうが勝っちゃうのかも
F#は、実行速度が遅かったのも大きいと思う

731 デフォルトの名無しさん
2019/11/07(木) 06:48:07.50 ID:OeHLbL3M

F#が遅いって適当なこと言ってんな

732 デフォルトの名無しさん
2019/11/07(木) 07:46:21.60 ID:XLcDzJj2

RISCとCISCって本当に2方式独立してんのか

圏論って複素解析を婉曲的に表現してんじゃないのか?
アイレンバーグは4元数も研究してたしバーコフ息子は流体力学研究してた

733 デフォルトの名無しさん
2019/11/07(木) 07:52:29.18 ID:XLcDzJj2

CPUレベルで実は関数型言語に翻訳されてたら
数学的に解析しやすいし高速化も数学的にできるしバグも数学的にとれる
という妄想をするんだが
失敗の歴史をウソと考えると

734 デフォルトの名無しさん
2019/11/07(木) 09:47:06.79 ID:8Vzx7lLq

現行の半導体プロセッサはスイッチングで起きる0と1状態を基本にして組みあがっている関係で
他の技術(量子関係?)が発達しない限り関数的内部表現うんぬんはLISPが誕生した時点で完了してます
テキストベースの文字列を実行可能なコンピュータプログラムに変換する行為は
文字、テキストベースである限りLIPSの構文糖衣と見なせます

735 デフォルトの名無しさん
2019/11/07(木) 10:11:56.72 ID:n7hI0M2o

721
カプセル化の恩恵を受けられないからかと

Haskell含む関数型はは仕組み上データを分離/隔離できないのでロジックに比重を置きすぎてるきらいがある
一般的にはクラスに任せたい、内容を知らなくても扱える構造が欲しいわけで
関数ドリブンではやはり困る

個人的にはCに逆戻りしてる印象すらあるね

736 デフォルトの名無しさん
2019/11/07(木) 11:12:23.51 ID:6eFvSmvg

ブライアン・カーニハンもf#の中間言語は
解析しやすいCであるべきだってプロジェクト立ち上げれば
関数型といいつ中身は手続き型でデバッガの資産も使い回せるから
人気でるかもよ。

737 デフォルトの名無しさん
2019/11/07(木) 11:36:14.12 ID:uxj9LdkK

Cに逆戻りしている・・・型安全とガベコレがあるCを作ってしまったのか

738 デフォルトの名無しさん
2019/11/07(木) 11:51:10.43 ID:dB1QBGXo

737
https://mevius.5ch.net/test/read.cgi/tech/1471841975/

739 デフォルトの名無しさん
2019/11/07(木) 12:41:20.34 ID:y+UtRegG

モジュールがあるからカプセル化の恩恵は受けられるのでは

740 デフォルトの名無しさん
2019/11/07(木) 14:23:10.73 ID:B1e2KIDS

735
実装詳細の隠蔽にPatternSynonymsが使えるよ
https://haskell-explained.gitlab.io/blog/posts/2019/08/27/pattern-synonyms/index.html

741 デフォルトの名無しさん
2019/11/07(木) 14:56:51.38 ID:n7hI0M2o

それはオブジェクトじゃないから目的が違うかもね

742 デフォルトの名無しさん
2019/11/07(木) 15:20:12.79 ID:B1e2KIDS

741
でもまさに内容を知らなくても扱える構造だぜ?

743 デフォルトの名無しさん
2019/11/07(木) 16:02:50.99 ID:uxj9LdkK

カプセル化「継承とポリモーフィズムがやられたようだな・・・」

744 デフォルトの名無しさん
2019/11/07(木) 16:07:19.92 ID:y+UtRegG

カプセル化: 抽象データ型、pattern synonym等
継承: クラス継承
ポリモーフィズム: 存在量化によるサブタイピング多相

haskellってストラウストラップの言うOOP言語なのでは

745 デフォルトの名無しさん
2019/11/07(木) 18:28:48.58 ID:THHm8pjB

729
横からですけど、ホモロジー代数の有用性を教えてくれませんか?
何に使えるんです?

746 デフォルトの名無しさん
2019/11/07(木) 19:14:04.10 ID:y+UtRegG

ホモが寄ってくる

747 デフォルトの名無しさん
2019/11/07(木) 19:41:36.65 ID:a+LjUnl5

745
コホモロジー全般を抽象的に取り扱える。

748 デフォルトの名無しさん
2019/11/07(木) 21:38:48.71 ID:QQLc3fgk

745
俺もまだあやふやなんだけどどうも複素解析で積分するとコーシーの積分定理みたいに
純トポロジカルに積分値決まるじゃん
どうもモチベーションはそこらへんで
複素平面だと複素解析の教科書みたいに簡単にいけるけど
複素多様体上で線積分しようとするとややこしいからざっくりややこしいところを
ホモロジー代数って分科したみたい

749 デフォルトの名無しさん
2019/11/07(木) 21:48:30.40 ID:QQLc3fgk

ポアンカレから来ているし本当に突き詰めるとたぶん複素解析力学の問題解けるんだと思う

750 デフォルトの名無しさん
2019/11/07(木) 22:17:56.72 ID:THHm8pjB

747
代数幾何の教科書に層とコホモロジーが載ってるけどそのあたりと関係するのかな
748
難しそうだね

751 デフォルトの名無しさん
2019/11/08(金) 02:23:56 ID:xHGwPMhN

">732
> 圏論って複素解析を婉曲的に表現してんじゃないのか?

的外れにも程がある
層sheafは解析接続の考えを多変数複素関数へと拡張する発想で生まれたものだが
圏は複素解析から出てきたものではない

752 デフォルトの名無しさん
2019/11/08(金) 07:14:54.57 ID:vRM9u/Iy

720
エアプ乙
空リストにheadしちゃったらあっと言う間やん

753 デフォルトの名無しさん
2019/11/08(金) 07:33:23.28 ID:KkBgvLKM

745
ホモロジー代数の有用性...
代数系の多くの分野の主力ツールなので知らないと入門書を終えた後に代数系で先に進めない
くらいには使われています。直接使われていなくてもやってることはホモロジー代数由来の
ことがよくあります

古くは、ホモロジー代数の枠組み(コホモロジーなことが多い)で完全列が見つかると
機械な計算だけでいろいろな結果が出てくるというのが強みでしたけど、その後は
ホモロジー代数の枠組みにはまらないものを一般化したりして新しい枠組みを作って
ホモロジー代数のように扱えるようにしてきて多くの分野が生まれています。
derived categoryやtriangulated categoryもそうですし、環論のquasi-frobenius ring
(入門書にある森田の定理の延長)などもこの線

自分で圏や代数構造をつくるのでなければ圏も代数も知らなくていいと思いますけどね

754 デフォルトの名無しさん
2019/11/08(金) 10:55:25.73 ID:q9/Fdf+e

753
有用性について何一つ説明してないw

755 デフォルトの名無しさん
2019/11/08(金) 18:27:28.35 ID:vRM9u/Iy

Haskellって素晴らしい土台造りの研究に終始して、中々家を建てない印象

756 デフォルトの名無しさん
2019/11/08(金) 18:41:50.96 ID:O4xqpbU0

もう立ててあるんだろ。MSのpower shellも当初はモナドシェルという
名称だったけど無関係だとは思えない

757 デフォルトの名無しさん
2019/11/08(金) 19:37:52.83 ID:tNfNofGs

印象と言っているのでは?

758 デフォルトの名無しさん
2019/11/08(金) 20:48:21.44 ID:bTjIiHb/

haskellってほんのちょっとしたものにも名前つけなきゃいけなくて困る

759 デフォルトの名無しさん
2019/11/08(金) 21:26:54.71 ID:nzoS2I9V

素晴らしい世代別GCの研究はする
でも今作ってるアプリは参照カウントで十分
こういうとこだろ

760 745
2019/11/08(金) 22:49:41.82 ID:FXrQ9F3T

753
なるほど
層とホモロジー代数という本でも現代数学の多くの分野の記述に欠かせない重要な基本言語であると言ってますから
そういうことなんでしょうね
ありがとうございました

761 デフォルトの名無しさん
2019/11/09(土) 01:29:11.95 ID:kdUUP+4v

758
たとえば?

762 デフォルトの名無しさん
2019/11/09(土) 17:05:19.55 ID:5gH5tpDv

型シグネチャちゃんと書いとけば、後はポイントフリーにしてお茶を濁して、利用者が命名してねって感じに逃げることも可能

763 デフォルトの名無しさん
2019/11/09(土) 18:32:42.34 ID:y5YvoXPL

HKD(Higher Kinded Datatype)ってのはな

おまえら例えばコマンドラインツールのオプションとかを扱うとき
Options <$> ... <*> ... みたいにしてデータを返すアクションを構築してるだろうけどさ
そこの ... 同士に共通性があるわけじゃん。
コマンド引数>環境変数>設定ファイルの優先順位で読み出されたりするじゃん。
でも各フェーズごとの処理をまとめるのはこのままじゃ難しいわけよ

ところが方針を変えて、中身と外見がひっくり返ったような
data Options_ f = Options _ { verbosity :: f Int, ...}
を使うとエントリごとに Nothing にしたり出来るようになって、
Options_ を一般化したやつらが Generic 介しておんなじように舐められるから処理の共通化もできて、
値の合成もしやすく、コンパイラの warning でエントリの処理漏れを検知できて、いいよね。
このパワーアップしたデータみたいなもんを高カインド・データ(HKD)って呼ぶぞって話

764 デフォルトの名無しさん
2019/11/09(土) 18:41:35.48 ID:PlRJlzfP

コマンドオプションを無駄に複雑にしないように設計に時間使う方が有意義。
てかオプションごとき糞みたいな複雑な解析いれるくらいならすべて設定ファイルにしろよ。

765 デフォルトの名無しさん
2019/11/09(土) 19:36:35.25 ID:LdPLX9iY

なーる。多変数Maybeでコマンドレットか。
getoptにs付けるか付けんかとかいみなかったんや

766 デフォルトの名無しさん
2019/11/09(土) 19:49:25.81 ID:LdPLX9iY

首相って数学そんな明るいの?

767 デフォルトの名無しさん
2019/11/10(日) 09:53:34.75 ID:UPgh4+Yq

764
オプションを上書きできないと不便だし、
ツールごとにどんなに設計しようと不可避の複雑さは残るだろうさ。
HKD使えば複雑な解析にはならない。
https://chrispenner.ca/posts/hkd-options

ちな Options から Options_ を Generic で作るやつもある
https://github.com/i-am-tom/higgledy

768 デフォルトの名無しさん
2019/11/10(日) 20:10:37.56 ID:MbFf7EI6

いや普通に作ってればそんな複雑にはならんわ。。
無理やり用途を探してるってのはわかるけどさ。

769 デフォルトの名無しさん
2019/11/10(日) 21:36:01.67 ID:UPgh4+Yq

768
そうかな。改善前と同等の機能のコードをもっとシンプルに書ける?
個人的にはさらにリッチに、設定値が原因で問題が起きた時「設定ファイル~のここで定義された値が原因でコケたよ」
くらいのことも言ってくれると嬉しい。HKD に Writer を突っ込んだりすれば出来る。

770 デフォルトの名無しさん
2019/11/14(木) 21:29:15.91 ID:U/F2ohqe

https://www.stepup-school.net/news/detail/728
微分方程式と圏論と量子コンピュータやるっていうけど
こういうところで圏論という言葉が出てくるの不思議な感じがする

771 デフォルトの名無しさん
2019/11/15(金) 01:56:55.98 ID:m2M4hoVH

770
> こういうところで圏論という言葉が出てくるの不思議な感じがする

圏論は現代の数学を記述するための言語だから、ある程度以上のレベルの数学を教えようとすれば圏論という言葉を学ぶのは避けられない
ちょうど、現代では英語という言葉を学んでおかなければ数学や自然科学で重要な研究論文を読んで学ぶことができないようにね

772 デフォルトの名無しさん
2019/11/15(金) 06:45:41.36 ID:CTCYdIoU

770
ステマ

773 デフォルトの名無しさん
2019/11/15(金) 11:19:15.11 ID:mFhZFK7X

だから自由ソフトウェアとか割れとかを宣伝して商品は宣伝しないスタイルがある

774 デフォルトの名無しさん
2019/11/15(金) 19:57:11.81 ID:uG++m6MK

PostgREST は Haskell のキラーコンテンツになれるか

775 デフォルトの名無しさん
2019/11/16(土) 00:01:26.66 ID:TatvE4r/

結局代数幾何やらずに圏論語っても胡散臭いものにしかならん。
別に代数幾何がすべてとはおもわんが起源ではある。

776 デフォルトの名無しさん
2019/11/16(土) 01:13:46.97 ID:yrgQ+1iB

集合論と集合の圏が胡散臭い
だったら射はあっても冪はない圏などを考えれば胡散臭さは軽減される気がする

777 デフォルトの名無しさん
2019/11/16(土) 09:25:34.99 ID:0kRbSQZl

>射はあっても冪はない圏
集合論を取っ払うなんてことは圏論は望んでねーわ。
馬鹿すぎて話にならん。

778 デフォルトの名無しさん
2019/11/16(土) 11:41:35.91 ID:Zb6iL5XI

馬鹿を取っ払いたい願望があるとはっきり言い切る方が簡潔で良い

779 デフォルトの名無しさん
2019/11/17(日) 11:04:47.89 ID:zhdkDGU4

私代数幾何ではありませんが数学科で代数系で圏論バリバリ使ってました。
しかし計算論への圏論の応用という意味ではほとんど役に立ってません。
圏論はその表現力の高さゆえにほとんどの数学に登場します。
しかし逆に言えばその登場の仕方で全く別の顔で出てくるのである一つのジャンルで出てくる圏論を極めても他ではほとんど役に立たなくなる事は多々あると思います。
まだ計算論で出てくる圏論の勉強は始めようとしてるとこなので代数幾何に出てくる圏論がどの程度役に立つかは断言はできませんが、あまり期待はできないと思います。

780 デフォルトの名無しさん
2019/11/17(日) 11:15:51.64 ID:X9AhIAwA

CSに出て来る圏論はフェイク

781 デフォルトの名無しさん
2019/11/17(日) 12:27:10.16 ID:zvcjV9Be

型はフェイクではない
○○を応用した成果が型である
ゆえに○○はフェイクではない

このように「応用」や「成果」の概念がフェイクに加担している

782 デフォルトの名無しさん
2019/11/17(日) 20:43:59.01 ID:56xYlt3M

780
> CSに出て来る圏論はフェイク

CSとCSでないとの境界は曖昧なわけだが
例えば構成主義的な型理論などはその典型だ
少なくともBart JacobsのCategorical Logic and Type Theoryでの型理論はCSでなく数理論理学で
そこで出て来る圏論はフェイクでなく本物だと思うがねえ
Lambek &amp; Scott (Phil)とそこで出て来る圏論に関しても同様

だからこそ数学を基礎付ける枠組みとしてのHTT (Homotopical Type Theory)などという考えが出てくるわけで

逆に言えば代数幾何で出て来る圏論は間違いなく本物なのは事実だが数理論理学で出て来る圏論から見ると酷く偏った部分だけだし
逆から見れば数理論理で出て来る圏論は代数幾何の圏論から見れば同様に非常に偏って見える

最近の高階圏や高次元圏の隆盛を見てもわかるとおり圏論の可能性は極めて広く豊かだから
「××で出て来る圏論はフェイク」といった主張はナンセンスだよ

ただ、本来、数学を知らずに使えねばならない単なるプログラミング言語に過ぎないのに
「圏論がどうした、モナドがどうした」、といって圏論を勉強しておかないとプログラムを書けないかの如く喧伝するのは
フェイクというか一種の羊頭狗肉あるいは虎の威(圏論、あるいは純粋数学という一種の高級ブランド)を借りる狐(プログラミング言語という実用道具)であり
間違った姿勢だとは思うけれどね

783 デフォルトの名無しさん
2019/11/17(日) 20:55:22.99 ID:N5iPOVW/

そうそう
多言語との差別化、マウント
選民主義の道具
あるいは原理主義で貫いてますよという言い訳みたいなもの
圏論必須みたいに言うのはバカ

784 デフォルトの名無しさん
2019/11/17(日) 21:23:18.02 ID:S3IAhXB4

とはいえほとんどのプログラマが欲しいのはどうせ虎の威だろ。
だからこの業界は何の発展もない。

785 デフォルトの名無しさん
2019/11/17(日) 21:25:48.05 ID:4jNKOHdS

何言ってのこの人

786 デフォルトの名無しさん
2019/11/17(日) 21:55:46.27 ID:N5iPOVW/

784
そう
僕らは「正しく」後追い根性から抜け出さなければならないと思うよ
そこから抜け出せないから日本はIT後進国

787 デフォルトの名無しさん
2019/11/17(日) 22:02:43.05 ID:nzTNCHtX

PostgREST は Haskell のキラーコンテンツになれるか

788 デフォルトの名無しさん
2019/11/17(日) 22:12:35.26 ID:zvcjV9Be

動的型付け原理主義なら権威もないしダメージもないんだが
ノーダメージな選択肢を冷笑して程々のダメージ受けてるやつもそれはそれで難儀な性格だ

789 デフォルトの名無しさん
2019/11/17(日) 23:21:11.81 ID:S3IAhXB4

まあ権威が言ってんだからで済ましたり静的チェックしてるから大丈夫とか
言い聞かせる方が地道にベンチマーク取るよりよっぽど楽だからな。
結局はそういうことだろ。
言い訳をしたいんだよ。

790 デフォルトの名無しさん
2019/11/18(月) 07:09:05.16 ID:6/WJcbq2

787
REST API作るのは他言語でも簡単だし、いまさらRESTっていう気もするし、
これだけで使ってもらうのは無理筋

791 デフォルトの名無しさん
2019/11/18(月) 11:01:11.35 ID:ahZzeXy3

rubyをいくらdisっても構わないと思うが
disるだけじゃ何も産まれないからな

792 デフォルトの名無しさん
2019/11/18(月) 19:55:00.90 ID:6QIkNIz7

どこが嫌いかより、どこが好きかで言語を語れよ!

1 2 3 4 5 6 7 最新200 全部見る 


人気スレッド

2804: 沢尻エリカ「スターダストにいた頃からMDMA、大麻、LSD、コカイン使ってた」 (879)
977: 【NHK】「受信料7000億円」肥大化に募る厳しい視線 受信料徴収に巨額経費が使われる深刻な矛盾 ★2 (8
982: 【科学】 日韓合同でりゅうぐう観測 来秋にも、北大の特殊望遠鏡で 【宇宙研究】 (820)
95: 【USD/JPY】新ドル円15326【雑談禁コテ禁IP無】 (813)
1056: 【芸能】「有名人が逮捕されるたびに私も危ないと注意していた」と沢尻容疑者 (812)
2892: さくら学院☆3072時間目 (804)
997: 【新潟】20歳女性殺害事件、指名手配の男(25)を逮捕 オンラインゲームで知り合ったか ★2 (789)
13: 【MDMA】沢尻エリカ容疑者の大河ドラマ収録分そのまま放映して 高樹沙耶ら著名人がSNS上で呼び掛け ★2 (7
1148: 【大河ドラマ】麒麟がくる-濃姫役、沢尻エリカの代役は? 橋本愛、菜々緒、二階堂ふみ、乃木坂・白石麻衣★6 (
12: 【介護地獄!】「しんどい…」90代義父母と70歳夫の3人介護を手掛けていた妻(71)、殺人容疑で逮捕 敦賀3遺体
2886: 日本人のモラルが崩壊した原因って何だったの? [527893826] (691)
5: 日本共産党「消費税をまずは5%に戻し、廃止めざす」 (683)
986: 【おおあらい】茨城でイモ泥棒 15トン盗まれる (678)
965: 沢尻エリカちゃん「大麻、LSD、コカインもやっ」 (676)
582: 【プロスピ】プロ野球スピリッツA part848 (644)
2755: 「クラブ貸し切ってケンモナイト」で流通してそうな薬物 [377482965] (643)
1024: 【香港】警官隊が理工大に突入…デモ隊、火炎瓶や弓矢で抵抗 警察、周辺で実弾3発使用 負傷者多数か ★6 (6
998: 【名無し奥も○○奥も】気楽に井戸端会議6519【みんな来い】 (638)
1016: 【バーチャル】hololiveアンチスレ#2080【youtuber】 (603)
586: Fate/Grand Order まったりスレ5389 (563)
96: 【USD/JPY】ドル円専用スレ Part29874【$\】 (533)
963: 電子タバコ、死者42人、死亡寸前2100人に (527)
1114: 【MDMA】沢尻エリカ容疑者“壮絶ジャンキー人生”の実態 キャリア10年以上か (518)
1117: 【フィギュアスケート】フィギュア界に激震 織田信成氏が女性コーチをモラハラで提訴 大阪市内で会見 ★4 (
2952: アンジュルムイベントが女ヲタだらけ (502)
1020: 慶応大学「大変遺憾です」…理工学部教授(56)がパンツとブラジャー盗み逮捕 ★2 (499)
2778: 鳥肌実さん(55)の現在 [377482965] (472)
981: 【人口急増】川崎市の20分待ち“開かずの踏切”…遮断機が下りても数十人が強行突破 無法地帯に (写真) ★3
14: 【別に...】沢尻エリカ容疑者(33)「有名人が薬物で逮捕されるたびに私も危ないと注意していました」 (462)
992: 【産経・FNN合同世論調査】 GSOMIA、ほぼ全政党で 「破棄やむなし」 [11/18] (459)
1010: DPの噂・雑談スレPART199 (458)
1120: 【芸能】新「メンズノンノ」モデル3名決定 沢村一樹の長男・野村大貴がグランプリ★2 (449)
1057: 【ジャブジャブ】沢尻エリカ容疑者(33)供述「10年以上前から大麻、MDMA、LSD、コカインを使用していた
2749: 妻「(ギャオりたいなぁ・・・・・)」 → 妻「なんで食べた後にすぐ歯を磨かないの!? ギャオオオオ!」
1121: 【速報】沢尻エリカ氏に「出馬オファーします」N立花! (439)
1: 【速報】急騰・急落銘柄報告スレ12574 (438)
2949: 【速報】 日本共産党「消費税をまず5パーセントに戻し、廃止する」 キタ━━(゚∀゚)━━ !!!!! [
1011: 「えっ!おまん家ってシチューをごはんにかけるの?!」 (419)
1000: 【速報】タレントの木下優樹菜さんが「軽率な発言を反省」 当面の間芸能活動を自粛 (419)
1014: 【社会】アラフィフ婚活女の叫び、“熟女”だってオンナなのです!★7 (411)
1084: 【芸能】ピエール瀧 高級外車で草野球満喫…逮捕8カ月の悠々自適生活 (405)
1149: 【大河ドラマ】沢尻エリカ代役は「『のん』さんしかいないんじゃないの?」 高橋源一郎氏ツイートの現実味 (40
984: 【桜を見る会】市民団体が安倍総理を刑事告発へ →パヨク界隈で内輪もめが始まる (397)
2784: 女ってなんで性欲ないの? [209247155] (391)
1011: 【剣盾】ポケモンソード・シールド質問・感想スレ 3 (385)
1018: 【おひとり】人生一度きり。40代で「卒婚」を選んだ私たち (385)
992: 【バーチャルYouTuber】.LIVEアイドル部モンペスレ#4【アップランド】 (381)
145: なんJVYouTuber部 5235 (373)
4: 韓国『GSOMIAと韓米同盟は別』 アメリカ『なめてんの?ねぇ俺のことなめてんの?な め て ん の か?』 (3
1679: 馬鹿「安倍やめろ!森友が〜桜を見る会が〜」ぼく「安倍さん以外だと誰がいいの?」 (362)
15: 朝日新聞「韓国人と日本人つながれる 隣国の友好を諦めないという強い思い」 (359)
990: 【青森】女性を脅迫した無職男(45)を逮捕「おめの車壊してまるや」「わあは、おめとばやってまるにいいんだや」★
1043: 【社会】未婚者の4割「結婚したい相手がいない」 (347)
990: 【宇宙】日韓合同でりゅうぐう観測 来秋にも、北大の特殊望遠鏡で[11/18] (341)
979: 【日本よこれが三権分立だ】香港政府「覆面(マスク)は法律で禁止する」裁判所「基本法に違反する」 (336)
906: 【朗報】日本人の間で「もう一度、民主党に任せてみよう」という風潮が高まりつつあるよな (322)
7: 福島第一原発の”汚染処理水放出” 大気や海に放出しても影響は十分に小さい (318)
2893: 【朗報】juice=juice フジテレビMUSIC FAIRの収録が有った模様 (312)
119: ドラゴン圧縮 [402859164] (310)
2756: 真夏の夜の淫夢 [691974599] (309)
1090: 【芸能】ホリエモン、沢尻エリカ容疑者の復帰問題に持論「一発アウトとかおかしいでしょ普通笑」★3 (305)
9: 【N国】立花孝志党首がまた出馬 奈良・桜井市長選告示 3選目指す現職と激突★2 (305)
2716: 日本のニュース番組「沢尻!沢尻!沢尻!沢尻!沢尻!」 [304868982] (303)
1014: 【画像】LINEの世界での立ち位置が判明 w w日本終わってた (302)
1062: 【ゲーム】PS4『新サクラ大戦』「久保帯人」デザインキャラクター紹介映像公開 (300)
1103: 【速報】沢尻エリカ氏、押収薬物は自分は使っていない! (293)
1016: 【朝日新聞】朝日新聞「外部からの指摘に耳をふさぐ姿勢を改めないと信頼回復は不可能」かんぽ生命不正販売の件 (
2867: 木下優樹菜 活動自粛を発表 [956093179] (286)
12: 日米韓防衛相会談後の河野大臣会見「別に日本側からGSOMIA延長について、とやかく申し上げておりません」 (28
2838: 石川梨華ちゃん来年1月に二人目出産予定 (282)
1122: 【芸能・沢尻総合】沢尻エリカ(33)逮捕 合成麻薬MDMA所持、大麻LSDコカイン使用を認める 警視庁に情報
982: 小惑星りゅうぐうを日韓合同チームが観測へ 日本の観測データを閲覧 (278)
974: 速報 斎藤を逮捕 新潟殺人 (274)
1003: 【訴】織田信長の子孫が関大コーチを提訴 (261)
2868: グラサン中島『紅白は人気関係ない業界の政治力だけ UFGも紅白どうでも良いという考え』 (260)
69: クロノトリガー面白いって言ったやつこい (258)
26: 【犯人逮捕】新潟殺人事件、オンラインゲームで知り合ったか 齋藤容疑者のノートに経緯が (257)
667: ワロタだけで1000まで伸ばすスレ (255)
98: 【USD/JPY】ドル円専用スレ Part29875【$\】 (255)
1002: VIPでパズドラ (253)
2848: 国産プロテイン4000円/1kg、海外プロテイン1100円/1kg ←効果全く同じ(笑) (248)
589: 【デレステ】スターライトステージ★11057 (247)
1109: 【芸能】マツコ 沢尻容疑者「もう1回復帰しているところは見たい」 (242)
977: パーティーで韓国国防相が河野防衛相に日本語で「何かしないといけない」河野「韓国側の賢明な対応を」 (242)
1012: 【名無し奥も○○奥も】気楽に井戸端会議6517【みんな来い】 (238)
1008: 【DMM】グランブルーファンタジー【転載禁止】 part1443 (232)
2467: ポケモン剣盾USUMでシングルダブルマルチレイド雑談他 (227)
2833: 【悲報】水銀まみれのクジラ肉を学校の給食に強制的に出すように法改正される模様 [616817505] (
1162: 【芸能】岡田真澄さんの息子、ミス日本の妹に「彼女に岡田を名乗る資格はない」 (221)
1125: 【速報】タピオカ騒動”木下優樹菜 芸能活動自粛を発表 (220)
985: 【韓国】日本国民「改善に向かうとは思わない」68% 日韓首脳間対話にも (220)
2882: 巨人若大将3794 (218)
2921: 【画像】LINEの世界での立ち位置が判明 w w日本終わってた [271912485] (217)
2800: 今年の漢字、「金」か [111921565] (216)
67: 【悲報】ジャップマンコの間で「パパ活」という名の援交が大流行してしまうwwwwwww (215)
970: 田中みな実が透けブラ姿を公開 おっぱいのカタチがモロわかり。つーか、どこに向かってんだよこのBBA (211)
1015: 【日本版】PRODUCE 101 JAPAN☆260【プデュ】 (211)
1013: 【本スレ】SKE48★18050【本スレ】 (208)
2857: 【宣伝】ホテルニューオータニ 忘・新年会プラン 11,000円〜 [616817505] (204)
2939: 【リボ払いの恐ろしさ】支払い残高500万円”リボ地獄”経験者 [426957453] (201)
995: ハゲが歩いててワロタ (195)
88: 【画像】JC(DC)がハイエースされていっぱいキスされちゃうエロ漫画wwwwwwwwwwwwwwwwwww (1
1127: 【芸能】中居正広と5年間絶交した岡村隆史が、9年間絶交した女優とは? (193)
14: 立民・安住、ニューオータニで低予算パーリィ 1,191〜2,382円/人に値切り疑惑 国会浪費意図的か (193
1007: 【東京】酒に酔った女性を介抱するふりをして自宅に連れ込み性的暴行 看護師逮捕 (193)
1091: 【サッカー】<久保建英>東京五輪代表メンバー入りピンチ!? (191)
1066: 【N国】立花孝志党首「沢尻エリカ容疑者に選挙出馬をオファーします」 ★2 (191)
987: 【チラシより】カレンダーの裏(IDなし)597【大きめ】 (187)
384: 「親の金で免許取ってそうw」←最凶すぎて禁止カードになる (186)
2865: ケンモジサンに聞きたいんだけど昭和ってどんな時代だったの? [851834166] (185)
1005: 【社会】池袋暴走・飯塚幸三容疑者“反省ゼロ”の決定的理由が明らかに… ★2 (185)
2858: 「弱者のふりをしたがる強者」 ⇐何が思い浮かんだ? [701470346] (184)
1968: 友達いない引きこもり女だけどかまって (183)
6: ヴィーガンさん、飼い猫の餌からもお肉を排除 ←虐待だろ (182)
2722: 「保育士足りない → 無償化 → 保育士辞める → 保育士超足りない」(´・ω・`) [57159897
11: 韓国の釜山市、東京五輪参加国のキャンプ誘致へ (179)
2834: 沢尻エリカ逮捕に橋下徹弁護士「薬物犯罪は被害者がいない」 (178)
2825: サツマイモ15トン盗難 茨城・大洗町 [402859164] (175)
9: 韓国産業通商資源部「ホワイト復帰しないとWTOにパネル設置するぞ。どうだ、復帰させろ」 (173)
2828: 浅倉樹々ちゃん「嬉しすぎてうれションしちゃうほどですよ」 (173)
957: 新潟刺殺 逮捕 (173)
1021: 【火災】首里城大炎上 正殿近くで「イベント関係者がタバコ」の目撃情報★2 (173)
2704: 19歳で宝くじに当選し億万長者になった男性 「10年で無一文になりました」 [189282126] (1
1174: 【速報】木下優樹菜、無期限の芸能活動自粛を発表 実姉元勤務先のタピオカ店店長へ“どう喝”DMで騒動★3 (1
971: 橋本環奈、スマホが逝って全データ消失。なるほどね。俺のプロポーズに無反応なのはそれが理由か (168)
116: プログラミングで何作ればビルゲイツくらいお金持ちになれる? (166)
1104: 【速報】柳原可奈子が第1子女児出産 (165)
995: 西村菜那子とかいうブスが箱根駅伝を偉そうに語ってうざい (164)
17: 【悲報】沢尻エリカさん、完落ちする 「大麻、MDMA、LSD、コカイン、10年間やってた」 (162)
2947: 【悲報】ポケモン廃人、48時間メタモンを厳選し続けるが5Vが出ずに泣く [604460326] (160
2795: 橋本環奈、スマホが壊れる [748768864] (160)
1009: 【PSO2】PHANTASY STAR ONLINE2【30159】 (160)
2726: 愛知の某寺の御朱印帳が、まるで御手淫帳。フェミに見つかるのも時間の問題か [707978541] (15
2734: 安倍総理、20日に刑事告発される予定らしい [805596214] (158)
1011: 【野党】立憲・枝野代表と石破茂の意見が一致、枝野代表「政策的に一致するなら門戸を閉ざさない」【共闘】 (15
2930: 【悲報】小栗旬さん、沢尻エリカとの対談で薬物話を行い、沢尻に注意していた……… (157)
1102: 【音楽】BABYMETAL 「メタルの未来を担っていく存在になりたい」★2 (157)
1116: 【芸能】沢尻エリカ容疑者 大麻、LSD、コカインの使用も供述 10年以上前から★3 (152)
1175: 【芸能】<捜査当局にマークされた女優・Xのヤバ過ぎるうわさ> (151)
8: 【世論調査】GSOMIA、ほぼ全政党の支持層で「破棄やむなし」 (149)
10: 韓国国防相「米が圧力かけてるのは韓国だけじゃないから!日本にも圧力かけてるから!」 (148)
993: 【悲報】 沢尻エリカ逮捕に橋下徹 「薬物犯罪は被害者がいない」wwwwwwwwww (148)
1140: 【芸能】氷川きよし、公式インスタグラムを開設 中性的な色気感じさせるオフショット投稿 (147)
2883: 【画像】かっさー露出多くない? (147)
1012: 【急募】沢尻エリカの代役に最適の48メンバー※卒業生含む【濃姫】 (146)
113: なにもない空間で5億年じっとしていられる? ← できたらそのつらい記憶を消して100万円あげる (145)
1168: 【速報】謝罪文全文 公開へ (145)
974: 最もオススメなブラウザは何か…Chrome?Firefox? (145)
1010: アイドルマスター シンデレラガールズ 声優スレ 35週目 (143)
966: 前川ビーチ喜平・貧困調査官「我々の税金で地元有権者を買収した総理大臣を許すわけにはいかない」 (137)
63: NHK総合を常に実況し続けるスレ 164416 五輪ロボ (136)
2826: アンジュルム新曲売上の勝敗ラインを決めよう (135)
89: エロゲスレ女万華鏡 (134)
1001: 【青瓦台がお知らせします】韓国大統領府が公式アプリを公開 簡単に素早く国民と交流[11/18] (131)
2927: 海外「なぜ日本は、無宗教でも、ちゃんとルールを守ったり、順番に列を作って並べるのか?」 (130)
1064: 【NHK】「受信料7000億円」肥大化に募る厳しい視線 受信料徴収に巨額経費が使われる深刻な矛盾 ★2 (1
2782: 3大名前は知ってるけど何したかよく分からない人「新渡戸稲造」「田中正造」 [358267739] (12
1155: 【速報】「マッチ本当に呼んで良かった」侍稲葉監督一問一答 (129)
1265: アンカツ「外国人騎手と日本人騎手では折り合いに対する感覚からして違っている」 (129)
2772: ストロングゼロは全てを解決する 日本人の救世主だ! [685321817] (127)
3018: 【画像】まんさん、既婚男にセックスを誘われブチ切れ論破してしまう [875850925] (126)
10: 【世論調査】日韓関係の改善に向けて首脳会談の開催は 「急ぐ必要はない」 58.2% - FNN (126)
2855: 沢村一樹の長男メンズノンノモデルグランプリ受賞も「コネだろ」の声多数 (123)
1087: 【芸能】沢尻だけじゃない マリエ姉の壮絶シャブ人生 (123)
8: 【中央日報】弱まるWTO体制…「韓国は中堅国と新しい規範の主導を」[11/18] (123)
2999: 嫌儲って何歳が多いの?集計するから年齢生まれ年と書いてけ [936353996] (120)
586: Fate/Grand Order まったりスレ5389 (563)
96: 【USD/JPY】ドル円専用スレ Part29874【$\】 (533)
963: 電子タバコ、死者42人、死亡寸前2100人に (527)
1114: 【MDMA】沢尻エリカ容疑者“壮絶ジャンキー人生”の実態 キャリア10年以上か (518)
1117: 【フィギュアスケート】フィギュア界に激震 織田信成氏が女性コーチをモラハラで提訴 大阪市内で会見 ★4 (
2952: アンジュルムイベントが女ヲタだらけ (502)
1020: 慶応大学「大変遺憾です」…理工学部教授(56)がパンツとブラジャー盗み逮捕 ★2 (499)
2778: 鳥肌実さん(55)の現在 [377482965] (472)
981: 【人口急増】川崎市の20分待ち“開かずの踏切”…遮断機が下りても数十人が強行突破 無法地帯に (写真) ★3
14: 【別に...】沢尻エリカ容疑者(33)「有名人が薬物で逮捕されるたびに私も危ないと注意していました」 (462)
992: 【産経・FNN合同世論調査】 GSOMIA、ほぼ全政党で 「破棄やむなし」 [11/18] (459)
1010: DPの噂・雑談スレPART199 (458)
1120: 【芸能】新「メンズノンノ」モデル3名決定 沢村一樹の長男・野村大貴がグランプリ★2 (449)
1057: 【ジャブジャブ】沢尻エリカ容疑者(33)供述「10年以上前から大麻、MDMA、LSD、コカインを使用していた
2749: 妻「(ギャオりたいなぁ・・・・・)」 → 妻「なんで食べた後にすぐ歯を磨かないの!? ギャオオオオ!」
1121: 【速報】沢尻エリカ氏に「出馬オファーします」N立花! (439)
1: 【速報】急騰・急落銘柄報告スレ12574 (438)
2949: 【速報】 日本共産党「消費税をまず5パーセントに戻し、廃止する」 キタ━━(゚∀゚)━━ !!!!! [
1011: 「えっ!おまん家ってシチューをごはんにかけるの?!」 (419)
1000: 【速報】タレントの木下優樹菜さんが「軽率な発言を反省」 当面の間芸能活動を自粛 (419)
1014: 【社会】アラフィフ婚活女の叫び、“熟女”だってオンナなのです!★7 (411)
1084: 【芸能】ピエール瀧 高級外車で草野球満喫…逮捕8カ月の悠々自適生活 (405)
1149: 【大河ドラマ】沢尻エリカ代役は「『のん』さんしかいないんじゃないの?」 高橋源一郎氏ツイートの現実味 (40
984: 【桜を見る会】市民団体が安倍総理を刑事告発へ →パヨク界隈で内輪もめが始まる (397)
2784: 女ってなんで性欲ないの? [209247155] (391)
1011: 【剣盾】ポケモンソード・シールド質問・感想スレ 3 (385)
1018: 【おひとり】人生一度きり。40代で「卒婚」を選んだ私たち (385)
992: 【バーチャルYouTuber】.LIVEアイドル部モンペスレ#4【アップランド】 (381)
145: なんJVYouTuber部 5235 (373)
4: 韓国『GSOMIAと韓米同盟は別』 アメリカ『なめてんの?ねぇ俺のことなめてんの?な め て ん の か?』 (3
1679: 馬鹿「安倍やめろ!森友が〜桜を見る会が〜」ぼく「安倍さん以外だと誰がいいの?」 (362)
15: 朝日新聞「韓国人と日本人つながれる 隣国の友好を諦めないという強い思い」 (359)
990: 【青森】女性を脅迫した無職男(45)を逮捕「おめの車壊してまるや」「わあは、おめとばやってまるにいいんだや」★
1043: 【社会】未婚者の4割「結婚したい相手がいない」 (347)
990: 【宇宙】日韓合同でりゅうぐう観測 来秋にも、北大の特殊望遠鏡で[11/18] (341)
979: 【日本よこれが三権分立だ】香港政府「覆面(マスク)は法律で禁止する」裁判所「基本法に違反する」 (336)
906: 【朗報】日本人の間で「もう一度、民主党に任せてみよう」という風潮が高まりつつあるよな (322)
7: 福島第一原発の”汚染処理水放出” 大気や海に放出しても影響は十分に小さい (318)
2893: 【朗報】juice=juice フジテレビMUSIC FAIRの収録が有った模様 (312)
119: ドラゴン圧縮 [402859164] (310)
2756: 真夏の夜の淫夢 [691974599] (309)
1090: 【芸能】ホリエモン、沢尻エリカ容疑者の復帰問題に持論「一発アウトとかおかしいでしょ普通笑」★3 (305)
9: 【N国】立花孝志党首がまた出馬 奈良・桜井市長選告示 3選目指す現職と激突★2 (305)
2716: 日本のニュース番組「沢尻!沢尻!沢尻!沢尻!沢尻!」 [304868982] (303)
1014: 【画像】LINEの世界での立ち位置が判明 w w日本終わってた (302)
1062: 【ゲーム】PS4『新サクラ大戦』「久保帯人」デザインキャラクター紹介映像公開 (300)
1103: 【速報】沢尻エリカ氏、押収薬物は自分は使っていない! (293)
1016: 【朝日新聞】朝日新聞「外部からの指摘に耳をふさぐ姿勢を改めないと信頼回復は不可能」かんぽ生命不正販売の件 (
2867: 木下優樹菜 活動自粛を発表 [956093179] (286)

884: 関数型プログラミング言語Haskell Part32 (635)

人気スレッド2




1041: 【芸能】 沢尻容疑者供述 「10年以上前から違法薬物を使用していた」 (983)
2683: BABYMETAL ★6288 (952)
993: 【野球】斎藤佑樹 二年連続「0勝」で本人はクビ覚悟…それでも“残留”することになった理由 (951)
968: 育児している奥様(IDなし)1825 (946)
509: Fate/GOスレ (941)
964: 【ディープステート案件】ガンが300円で治ってしまっては困る皆さん、おはようございます。 (934)
2541: マンション発売35%減 子供部屋おじさん効果なし 不動産業者は自殺しかない [659060378] (9
955: 【ひきこもり】「兄の存在は、恥でした」兄弟姉妹にも拡がる「8050問題」★4 (915)
958: 【世論調査】安倍内閣仕事ぶり「大いに・多少は評価する」65% − 読売新聞 (903)
1: 【映画評論家】在日韓国人・町山智浩「桜を見る会からテレビの関心をそらすために沢尻エリカを逮捕」 陰謀論を炸裂 (8
914: 【悲報】神社の「二礼二拍手一礼」このクソ新興宗教の作法、最近取り入れられたものだった (887)
934: 【連合調査】女性に「ヒールの高さ」や「化粧義務」 男性は「長髪ダメ」 職場ルール厳密?「性差別の可能性」 (8
930: ヤフーとLINEの経営統合が正式発表 (873)
2729: ☆シャズナ、ヴァギナ 地下売上議論24140★ (848)
949: 【悲報】山口真帆のフォロワー数がなぜかどんどん減り続けるwwwwwwww★23 (823)
580: 【FEH】ファイアーエムブレムヒーローズpart5100 (820)
19: 【?】立憲・安住「ホテル側とホテルを使う側がお互い明細書がないなんて戦後日本で聞いたことない!」 (811)
2674: 沢尻エリカ「10年以上前から大麻やMDMA、LSD、コカインを使用していた」 [145243753] (
1011: 【総合】パズル&ドラゴンズ6975【パズドラ】 (761)
2601: 【朗報】ニューオータニ、超優良ホテルだった 見積なし前金なし明細なしフリー領収書あり唐揚げプラン5000円(
19: 【サッカー】東京五輪代表「オーバーエイジ3枠」の“適任者”は? コロンビアに0-2完敗…見えた弱点 (742)
974: 【バーチャルYouTuber】有閑喫茶あにまーれアンチスレ800【774inc.】 (720)
579: 【ミリシタ】アイドルマスターミリオンライブ! シアターデイズ Part2694 (719)
39: 【芸能】沢尻エリカ容疑者「以前からMDMA使用」所持カプセルは「彼氏から預かった」 (705)
1040: 【芸能】『イッテQ!』“ババア連呼”に批判続出「どこからもクレーム来ないの?」 (692)
51: 粘着されてるコテしか書き込めないコテ雑 (663)
1213: 【自信】今週の鉄板レース2918【確信】 (654)
956: 【QR】LINE「一度LINE Payで支払って貰えば客と繋がる。店がクーポンや広告を送ることができる」 (6
997: 【視聴率】木村拓哉「グランメゾン東京」 第5話 閉店危機も12・6% (644)
905: ドワンゴの有名エンジニア、時給千円で私大講師を依頼されてガン切れ (641)
1018: □■2019□■F1GP総合 LAP2150□■アブダビ□■ (635)
36: 「低い評価で掲載された。侮辱ニダ!」韓国人シェフがミシュランを侮辱罪で告訴 (628)
61: 【速報】急騰・急落銘柄報告スレ12572 (626)
1039: 【芸能】元女優・高樹沙耶氏、沢尻エリカ容疑者出演の大河ドラマ「私は見たいと思う」 (623)
33: 【芸能】沢尻エリカ容疑者はすごい運転技術 2000万円の超高級車カスタム(BMW M6)で飛ばしていた (621
922: 【米国】ロサンゼルスの高校で銃乱射 生徒2人死亡 自分の頭を撃ち死亡した容疑者少年は日本人ハーフ (596)
3: ゴキ悲報 『スマブラSP』企業対抗ゲーム大会にSIEが参加wwwwwww (588)
973: 【Twitch】PUBG総合スレ part.256【Youtube】 (580)
67: 実況 ◆ テレビ朝日 58019 (564)
24: 【韓国SBS】日本がフッ化水素の輸出を許可・・・「WTO紛争に備えた小細工か?」[11/18] (548)
911: クレジットカード何枚もってる? (540)
2646: 清原「桑田と仲悪いよ。松井とは仲ええで」 [208148593] (524)
1014: 【芸能】剛力彩芽“破局”で激ヤセか? 最新写真に「やつれ過ぎ」と心配の声 (514)
2703: 安倍ちゃん桜を見る会前夜祭の明細書について会見で聞かれ「そんなものはない」と回答 (512)
971: 【生肉好きなら来いよ!】元横綱朝青龍、江尻逮捕に謎のツイート「くその顔隠した日本人やら!」 (507)
933: 【1953年11月18日】14インチ普及型テレビ17万5千円 庶民には高根の花 (503)
34: 【芸能】<沢尻エリカ容疑者>自らMDMAを申告!「もう隠せないと思った] (499)
1024: 【NHK大河ドラマ】沢尻激震NHK大河「麒麟がくる」異例の開始延期も ★2 (489)
2613: (*´ ん`)「株始めて儲けてやるぞ!ムフフ」===>(ヽ;ん;)「儲けるなんて無理だわこれ」 [256
939: NEC製のドローン、飛行試験中に暴走して行方不明に (476)
918: 【日本一かわいい“大学1年生”】GPは青山学院大学・中川紅葉さん「未だに実感がわかない」 ★2 (465)
978: 【中央日報】 韓vs日米、GSOMIAをめぐる異見確認…韓国国防長官 「歴史問題で難関」 [11/18] (4
969: 【芸能】正月恒例「芸能人格付けチェック」、沢尻容疑者の代役にかたせ梨乃 2019/11/18 (449)
1004: 【2019年】FA・ポスティング総合スレ part20 (445)
2708: ハロプロ研修生総合スレ Part1766 (444)
16: つるの剛士:桜を見る会追及はくだらない 原口:公金.行事の私物化.公選法違反をくだらないとは何だ! (439)
912: モーニングショーが誤報「立憲議員の見積でニューオータニ会場代275万円」→見積書を見ると38万円 (431)
7: 白いクスリずっとやってる、中学生からやってるから・・・沢尻エリカ「10年以上前から使用していた」 (421)
930: 【沢尻逮捕】ホリエモン「薬物所持ごときで一発アウトとかおかしいでしょ普通笑」 (418)
1046: 【芸能】木村太郎氏、橋下氏の薬物犯罪は被害者いない指摘に反論「被害者はいっぱいいる」★2 (415)
58: あさイチ「兄弟姉妹がひきこもり あなたならどうする?」 (413)
2645: 【悲報】 嫌儲民の8割、HDMIに手を出していることが判明… [471488408] (410)
970: コロコロコミック、500号記念で禁断の企画「うんこちんちん総選挙」を開催 現状ではちんちん派がややリード (3
2750: 【速報】工藤遥のFCバスツアーが女ヲタまみれすぎてじっちゃん無事他界www (396)
976: 【芸能/薬物】沢尻容疑者は完落ち間近、当局は「沢尻ルート」調査 (391)
2581: 沢尻出演NHK大河「麒麟が来る」 撮り直しが間に合わないので開始延期へ  [452836546] (39
927: おまえらどこのリュックサック使ってる?俺はアウトドーア (390)
915: おまえらの好きな80年代の曲を教えて (390)
990: 【脳科学者】<茂木健一郎氏>持論「沢尻さん1人を悪者にして糾弾しても仕方ない」 (383)
2679: 【悲報】フェミまんさんの正体、モテない女性が闇堕ちした姿だった [322297342] (382)
966: 【ぐう畜】習近平国家主席「ウイグル人に情け容赦は無用」 (381)
2623: 【画像】剛力彩芽、前澤と破局で激ヤセ [875850925] (379)
904: 12爪アイゼン2万ピッケル1万冬靴5万ハードシェル上下6万。風呂無し家賃3万無職ニコ生主に買える訳無い (37
1054: 【野球】 巨人・山口のメジャー移籍はFA契約時の条件だった (369)
988: 【中国専門家】文大統領が日韓GSOMIA終了を示唆、韓国という「コマ」うまく使えぬ米国[11/18] (361
1247: 【悲報】ポケモン剣盾さん、エンドロールにマウスカーソルが映り込む (358)
2532: おまえらクレカ何枚持ってる? [209247155] (357)
948: 織田信成さん、ハラスメント行為で関大女性コーチを訴える (350)
26: 【ヤクザ】蓮舫「え?安倍事務所が関わるお金のやり取り『ない』で済むと思ってるの?なに?」 (349)
925: ウンコまみれの武蔵小杉で有名な、自称、セレブの町 川崎 いまや無法地帯の人外魔境と化す (342)
975: 【芸能】新垣結衣に明らかな異変!結婚か、引退か… (341)
2523: 沢尻エリカの元夫「エイベックスの芸人は全員MDMAやってる」 [502016552] (340)
46: 情報ライブ ミヤネ屋 ★1 (339)
59: ◆◆◆11月の市況 その7◆◆◆ (333)
995: 【大河ドラマ】<NHK「いだてん」>第43話視聴率6・1%!前回0・2ポイント減... (332)
943: 【 #萩生田文科相 】「幸福の科学大学」へ名義貸し指南や偽装申請まがいの助言か (329)
2520: 【悲報】みずほ銀行、振込手数料を大改悪 今まで0円が220円になる大改悪 [502016552] (32
996: 【速報】「桜を見る会」 首相“前日の懇親会は領収書発行せず” (317)
943: ウイルスソフト、なに使ってる? (316)
1008: 【芸能】橋下徹氏が沢尻容疑者に言及 薬物依存絶った上で「チャンスは与えるべき」★3 (316)
976: 【独逸】大韓航空、ドイツでナミビア航空機と接触事故[11/18] (315)
2521: ローマ法王、ホームレスら1500人と昼食 バチカンに招待 [495152168] (307)
2790: 織田信成がモラハラで (304)
946: 【速報】野党議員もニューオータニで1万円以下のパーティーを開催していた 桜を見る会追及の前提崩壊 (303)
970: 【朗報】文春に立ち向かえ!欅坂ファン考案「#いつもありがとう欅坂46」3時間でトレンド1位の快挙 (296)
929: 【過剰ノルマ、死選んだ夫】自腹で年賀状、ゆうパック 自殺した配達員の妻訴え ★ 3 (293)
2706: 新川優愛、新木優子、山本美月に続いて川口春奈までヤリマン発覚wwwwwwwwwwwwwwww (291)
63: まんさん「飛行機乗るの難しすぎるという漫画を描きました」2.4万いいね (288)
2736: 【幸福の科学】新木優子ってなんで嫌われてるの?【カルト信者】 (284)
2559: RPGの終盤で訪れる雪の降る街の魅力 [209247155] (279)
19: 5億年ボタンあったら多分押すけど「5億年の方の俺」になったらガチで凹むよな (277)
69: 【悲報】ポケモンさん意味不明な進化条件が多すぎる (274)
940: 中井りかさん、実家が貧しかったことが判明 (273)
1009: オスふサイコー! (267)
1006: プロ野球の視聴率を語る6741 (260)
1021: 【芸能】宮根誠司、沢尻エリカ容疑者に「いい女優さんだった」 木村太郎氏ピシャリ「だから?」 (257)
1010: 【芥見下々】呪術廻戦79 (253)
929: 触尻エリカ容疑者、当初は別薬物での逮捕だったが自らMDMAを出して観念していた (253)
1226: 地方・中央応援スレ745 (248)
913: 麻薬中毒犯罪者 沢尻エリカ嬢 ドアのない留置場トイレでウンコを強いられ、麻薬ルート『完落ち』寸前 (245)
1231:  ゲーム史上最大の謎。どうして女のほうがゲームが下手なのか (244)
18: 沢尻エリカさんの聖人エピソードが続々出てくる [764086481] (238)
4: N国、立憲・小西ひろゆきの選挙区に同姓同名の小西ひろゆきを擁立へ [367148405] (237)
10: 【最新版】ハロプロ巨乳ランキング2019wwwwwwwwwwwwwww (237)
1247: 【朗報】今年の東京大賞典がフジテレビ地上波で初の生中継が決定!(BSフジでも同時放送) (236)
2615: 少子化が想定以上に加速している 一体なにが… [406978676] (235)
909: チョン「GSOMIA破棄の責任は日本にある」「ナントカシナケレバイケナイ(日本語)」 (232)
4: 【安倍首相】「疲れた」悲願の憲法改正を次に渡すのか ★4 (228)
2741: 海砂利水魚とバカルディって本当に改名してから売れたパターンなの? (225)
2547: 「生きたい人、死にたい人」深すぎる絵に7万いいね集まる [361222355] (224)
932: 【スクスタ】ラブライブ!スクールアイドルフェスティバル ALL STARS ☆103 (223)
975: フィギュアスケート好きな奥様 Part.1350 (222)
986: 【GSOMIA】菅官房長官「極めて遺憾だ」 韓国との協議が平行線に終わった事に関して[11/18] (221)
1023: 【芸能】沢尻エリカ容疑者26日まで勾留、交友関係にメスも (218)
7: 【音楽】WANDS、20年ぶり復活ライブ!新ボーカル上原大史が決意表明 (217)
987: 【野球】一茂 侍J稲葉監督に「短期決戦で通用しない選手もいた。人選も掌握して五輪につなげて」 (217)
955: 今や本店の主力が「峯岸チルドレン」で占められている件について (217)
1190: 【コング】1位剣、2位盾、3位剣盾ダブルパック、4位リングフィット、5位デススト (215)
940: 妻一人で夫と義両親3人介護し3人殺害 (213)
967: 【技術】充電1回で1年持つスマホ実現へ NTT、光半導体で連携拡大 ★2 (213)
2543: 蒙古タンメン中本がリニューアル セブンイレブン [659060378] (212)
53: パチンコ・パチスロ 帝都燃ゆ (208)
906: 江戸時代に作られた反射望遠鏡 鏡の精度は現代レベルと判明 (207)
1031: 【芸能】栗山千明が号泣、「めぞん一刻」生アフレコに感激 (204)
1030: 【芸能】宮根誠司 沢尻容疑者に「いい女優さんだった」 木村太郎氏「だから?」 (202)
31: 【芸能】薬物逮捕・沢尻エリカの前に狙っていた「女優X」の激ヤバ! (202)
2566: 無職ケンモジさん達、今日も特にやることが無い・・・・・・・  [254568327] (201)
999: 【五輪】韓国・釜山市 東京五輪の事前キャンプ誘致へ (201)
954: 【日米FTA案件】米国では義務化の遺伝子組み換え食品表示、日本は義務化“見送り”の理由 (200)
965: 【社会】岡山のがん患者、ファイザー製薬と病院を提訴 「リウマチ治療薬の副作用で癌になった。説明不足」 (194
1222: 音無調教師「池添君が今後の手本になる完璧な騎乗をしてくれた」 (193)
937: 【青森】神社から賽銭箱などを盗んだ無職女(23)を逮捕 (188)
56: (´・ω・`)ニート部 (187)
981: 【芸能】 捜査当局は「沢尻ルート」調査・・・芸能人芋づる式に逮捕の可能性 (187)
2691: [香港デモ]チャンネル桜、逮捕か [699551646] (186)
2584: 【悲報】エヴァンゲリオンの碇シンジくん、香港デモのシンボルになる [875850925] (186)
2663: 俳優 石黒賢さんってどんな印象? [876811395] (182)
2733: これどこ?って都内の駅あげたやつが優秀 (179)
12: 声優・代永翼、発声障害を告白 活動制限へ [673871665] (178)
2689: お前ら今日(11/18)からマックフライポテト全サイズ150円だぞ!!!!!!!!!!!!!!!!!!!!!
920: エミリアたん!あぁクンカクンカ!スーハースーハー!いい匂いだなぁ…くんくんんはぁっ! (177)
2637: なんで猫だけ「ちゃん」つけるんだろな?犬ちゃんとか言わないのに。 [298176652] (176)
903: 【速報】香港理工大学に治安部隊が突入 弓箭隊が迎撃中 (176)
2562: 電気グルーヴ 11月18日18時に何かを発表 [764086481] (169)
2518: 柴犬飼うと毎日こんな風に出迎えてくれるってマジ? [304868982] (167)
974: 【芸能】指原紹介 高級バター醤油ごはん (166)
59: 「 ク ソ 滑 っ て る C M 」←何のCM連想した?????????? (163)
1200: ポケモン50時間やってるけどエラーなんて一切出ないぞ (160)
1016: 【芸能】石黒賢 沢尻容疑者に怒り「一緒くたにされるのは残念」 (159)
5: FF14 チャH晒し雑談171【ワッチョイなし】 (159)
84: ブックオフに来たから>>5の漫画を5巻まで買うwwwwwwwwwwww (157)
1038: 【芸能】岡村隆史 結婚願望強すぎる行動に共演者悲鳴「怖っ!」 (157)
972: 【映画】「マッドマックス」40年 出演者との交流にファン興奮 (157)
65: 実況 ◆ テレビ朝日 58024 (156)
936: 横山ヲタ「ぱるるって焼肉屋でバイトするくらい暇なのに9期10周年公演出ないんだな」 (156)
703: 育児している奥様6476 (154)
2601: 【朗報】ニューオータニ、超優良ホテルだった 見積なし前金なし明細なしフリー領収書あり唐揚げプラン5000円(
19: 【サッカー】東京五輪代表「オーバーエイジ3枠」の“適任者”は? コロンビアに0-2完敗…見えた弱点 (742)
974: 【バーチャルYouTuber】有閑喫茶あにまーれアンチスレ800【774inc.】 (720)
579: 【ミリシタ】アイドルマスターミリオンライブ! シアターデイズ Part2694 (719)
39: 【芸能】沢尻エリカ容疑者「以前からMDMA使用」所持カプセルは「彼氏から預かった」 (705)
1040: 【芸能】『イッテQ!』“ババア連呼”に批判続出「どこからもクレーム来ないの?」 (692)
51: 粘着されてるコテしか書き込めないコテ雑 (663)
1213: 【自信】今週の鉄板レース2918【確信】 (654)
956: 【QR】LINE「一度LINE Payで支払って貰えば客と繋がる。店がクーポンや広告を送ることができる」 (6
997: 【視聴率】木村拓哉「グランメゾン東京」 第5話 閉店危機も12・6% (644)
905: ドワンゴの有名エンジニア、時給千円で私大講師を依頼されてガン切れ (641)
1018: □■2019□■F1GP総合 LAP2150□■アブダビ□■ (635)
36: 「低い評価で掲載された。侮辱ニダ!」韓国人シェフがミシュランを侮辱罪で告訴 (628)
61: 【速報】急騰・急落銘柄報告スレ12572 (626)
1039: 【芸能】元女優・高樹沙耶氏、沢尻エリカ容疑者出演の大河ドラマ「私は見たいと思う」 (623)
33: 【芸能】沢尻エリカ容疑者はすごい運転技術 2000万円の超高級車カスタム(BMW M6)で飛ばしていた (621
922: 【米国】ロサンゼルスの高校で銃乱射 生徒2人死亡 自分の頭を撃ち死亡した容疑者少年は日本人ハーフ (596)
3: ゴキ悲報 『スマブラSP』企業対抗ゲーム大会にSIEが参加wwwwwww (588)
973: 【Twitch】PUBG総合スレ part.256【Youtube】 (580)
67: 実況 ◆ テレビ朝日 58019 (564)
24: 【韓国SBS】日本がフッ化水素の輸出を許可・・・「WTO紛争に備えた小細工か?」[11/18] (548)
911: クレジットカード何枚もってる? (540)
2646: 清原「桑田と仲悪いよ。松井とは仲ええで」 [208148593] (524)
1014: 【芸能】剛力彩芽“破局”で激ヤセか? 最新写真に「やつれ過ぎ」と心配の声 (514)
2703: 安倍ちゃん桜を見る会前夜祭の明細書について会見で聞かれ「そんなものはない」と回答 (512)
971: 【生肉好きなら来いよ!】元横綱朝青龍、江尻逮捕に謎のツイート「くその顔隠した日本人やら!」 (507)
933: 【1953年11月18日】14インチ普及型テレビ17万5千円 庶民には高根の花 (503)
34: 【芸能】<沢尻エリカ容疑者>自らMDMAを申告!「もう隠せないと思った] (499)
1024: 【NHK大河ドラマ】沢尻激震NHK大河「麒麟がくる」異例の開始延期も ★2 (489)
2613: (*´ ん`)「株始めて儲けてやるぞ!ムフフ」===>(ヽ;ん;)「儲けるなんて無理だわこれ」 [256
939: NEC製のドローン、飛行試験中に暴走して行方不明に (476)
918: 【日本一かわいい“大学1年生”】GPは青山学院大学・中川紅葉さん「未だに実感がわかない」 ★2 (465)
978: 【中央日報】 韓vs日米、GSOMIAをめぐる異見確認…韓国国防長官 「歴史問題で難関」 [11/18] (4
969: 【芸能】正月恒例「芸能人格付けチェック」、沢尻容疑者の代役にかたせ梨乃 2019/11/18 (449)
1004: 【2019年】FA・ポスティング総合スレ part20 (445)
2708: ハロプロ研修生総合スレ Part1766 (444)
16: つるの剛士:桜を見る会追及はくだらない 原口:公金.行事の私物化.公選法違反をくだらないとは何だ! (439)
912: モーニングショーが誤報「立憲議員の見積でニューオータニ会場代275万円」→見積書を見ると38万円 (431)
7: 白いクスリずっとやってる、中学生からやってるから・・・沢尻エリカ「10年以上前から使用していた」 (421)
930: 【沢尻逮捕】ホリエモン「薬物所持ごときで一発アウトとかおかしいでしょ普通笑」 (418)
1046: 【芸能】木村太郎氏、橋下氏の薬物犯罪は被害者いない指摘に反論「被害者はいっぱいいる」★2 (415)
58: あさイチ「兄弟姉妹がひきこもり あなたならどうする?」 (413)
2645: 【悲報】 嫌儲民の8割、HDMIに手を出していることが判明… [471488408] (410)
970: コロコロコミック、500号記念で禁断の企画「うんこちんちん総選挙」を開催 現状ではちんちん派がややリード (3
2750: 【速報】工藤遥のFCバスツアーが女ヲタまみれすぎてじっちゃん無事他界www (396)
976: 【芸能/薬物】沢尻容疑者は完落ち間近、当局は「沢尻ルート」調査 (391)
2581: 沢尻出演NHK大河「麒麟が来る」 撮り直しが間に合わないので開始延期へ  [452836546] (39
927: おまえらどこのリュックサック使ってる?俺はアウトドーア (390)
915: おまえらの好きな80年代の曲を教えて (390)

上位板 人気

96: 【Win/Mac/Linux/Android/iOS】 Qt 総合スレ 18 (997)
21: くだすれFORTRAN(超初心者用)その6 (995)
11: くだすれPython(超初心者用) その37 (992)
160: 今までみた絶望的なソースコード (986)
110: Visual Studio 2015 Part8 (982)
772: 【Delphi】Embarcaderoオッチャ その34【C++ビルダ】 (980)
284: データ構造,アルゴリズム,デザインパターン総合スレ 3 (968)
434: 【えっ】Perlに未来はあるのか?【終わり?】 (962)
965: シェルスクリプト総合 その31 (962)
306: Pythonについて(アンチ専用) (950)
750: スレ立てるまでもない質問はここで 149匹目 (949)
84: (939)
1: 【論理】Prolog【初心者】 (933)
67: UNIXプログラミング質問すれ Part10 (926)
4: VBAなんでも質問スレ Part2 (922)
414: C#で仕事ある? (921)
286: 圧縮・復元 相談室 (919)
60: .Net Core / Net ASP Core (909)
168: OpenCLプログラミング#1 (899)
226: MSX-BASICの奥義を伝授するスレ (898)
133: 2 part forth (887)
218: なあ、再帰関数好きな人いる? パート3 (885)
292: proce55ing プログラミングアート全般 (880)
301: C#,C#の宿題片付けます。 (880)
115: 【モダン推奨】Perlについての質問箱 50箱目 (877)
97: くだすれDelphi(超初心者用)その57 (877)
41: 任天堂「今後C++は捨てJavaScriptで開発していく」 (875)
431: monazilla Part 6 (871)
167: 【GUI】wxWidgets(旧wxWindows) その5【サイザー】 (863)
820: PowerShell -Part 3 (863)
203: オブジェクト指向は愚かな考え。この世は計算式 ★3 (861)
174: 米国国防省の標準高等言語エイダ(Ada)を語れ! (856)
423: 集合論に基づいた言語を作りたい (854)
337: CVS導入スレ〜 Rev.3 (854)
959: プログラミングのお題スレ Part15 (854)
227: 【Delphi互換!?】FreePascal/Lazarus その2【GPL】 (849)
547: Windows 10 UWPアプリ開発 Part 2 (845)
245: リファクタリングをただのコード修正と思ってる人へ (845)
411: HTAをもっと流行らせる計画 Part2 (844)
186: OpenGL 2.0 専用スレ (825)
576: Git 16 (823)
308: C#は糞2.0 (823)
125: MVVMについて語ろう (823)
237: 【O3D】HTML5用 3D API WebGL 【Canvas:3D】 (814)
825: VBSで便利なプログラムを作れスレ 2 (809)
299: WindowsDDK各種についてのスレ (806)
268: pythonがこの先生きのこるには (803)
775: C++相談室 part138 (798)
433: 暇だから最強のメモ帳つくらね?【java】 (793)
83: 【License】ライセンス総合【利用許諾】 (791)
500: クラス名・変数名に迷ったら書き込むスレ。Part28 (787)
472: 【会津】パソコン甲子園2004【若松】 (787)
266: メガデモを語る fr-08 (783)
865: Ruby 初心者スレッド Part 65 (773)
347: 【汚物】痛い変数名・関数名【破廉恥】 (768)
428: Perlについて (765)
141: delphiで作った有名ソフトって何があるの? (757)
902: Visual Studio Code / VSCode Part6 (749)
304: JavaScriptは消滅すべきだったよな (748)
85: 【iPhoneも】Titanium Mobileスレッド【Androidも】 (745)
80: datファイルを共有するP2Pソフト o2on 17dat (732)
350: Java Web Application Framework総合 ver2 (730)
205: 【C++】マイナーGUIツールキット (724)
131: 静的型付け言語の潜在開発生産性は今の100倍 ×5 (723)
859: 文字コード総合スレ Part12 (719)
971: [RPA]PC自動化技術総合スレ[効率化] Part.6 (712)
281: 【計測】LabVIEW相談室【制御】 (709)
58: GCは失敗。メモリは自分で管理せよ! その2 (704)
69: VRプログラム雑談【Unity/UnrealEngine】【HTC Vive/Oculus Rift/その他VR
922: WPF(.NET4.x, .NET Core) GUIプログラミング Part23 (698)
116: 【JavaScript】スクリプト バトルロワイヤル55【php,py,pl,rb】 (696)
107: △△もっとStruts2の良さを教えてくださいSsssion6 (689)
722: C++でXML(主にxerces)やろう! (688)
379: 【上流社会】MSDNサブスクリプション総合【最先端】 (681)
229: 【SICP】計算機プログラムの構造と解釈 Part3 (677)
319: mallocの後にfree不要と言うバカいるの?Part2 (672)
327: Ruby>>>>>Java (670)
720: GARMIN社のGPSのプログラム (667)
172: 【アンチ】関数型言語は使えない【玩具】 2 (662)
429: sizeof(char)が必ず1でも、省略すべきではない (657)
251: ネットワークプログラミング相談室 Port30 (654)
103: テストしにくいコードをテストする方法 その2 (652)
331: C++/TemplateMetaProgramming (649)
326: こんなプログラミング言語は嫌だ! (645)
192: 【MACRO】Google Apps Script 質問スレ【DRIVE】 (644)
81: HSP総合スレ【part 10】 [無断転載禁止](c)2ch.net (638)
800: 自然言語処理スレッド その5 (638)
206: 「コンパイラ・スクリプトエンジン」相談室16 (638)
316: ■暗号技術【ROUNDsurea】■ (635)
884: 関数型プログラミング言語Haskell Part32 (635)
256: C++は難しすぎ 難易度:4 (635)
412: 俺主催囲碁プログラミングコンテスト (634)
699: プログラミング未経験→月4万 (633)
102: Smalltalk総合 Squeak Pharo (632)
146: Subversion r15 (629)
92: バージョン管理システムについて語るスレ10 (624)
86: 【入門】Common Lisp その11【質問よろず】 (620)
439: 【Java】Wicket【HTML】 (618)
367: Visual Studio IDE環境 (615)
82: 結局プログラム作るのってWinとLinuxどっちがいい? (612)
377: ***Javaのオススメ入門書*** 『創るJava』 3.0 (607)
52: C/C++の宿題片付けます 170代目 (607)
32: お前らプログラミング言語どうやって覚えたんや? (607)
430: 新言語を開発したい (607)
432: 今まで見た中で一番すげーコメント (605)
71: C言語なら俺たちに聞け パート0001 (605)
324: 【マック】Macintoshプログラミング質問箱 (603)
228: 【コメント】doxygen【コンソメ】 (599)
23: Cygwin + MinGW + GCC 相談室 Part 8 (599)
40: 3Dアルゴリズム全般 (598)
982: C++相談室 part145 (598)
354: 訃報: C 言語の開発者、デニス・リッチー氏が死去 (594)
647: 師匠!1週間よろしくお願いするぞ! (586)
608: Xamarin Part6 (584)
1000: オブジェクト指向ってクソかよPart5 (576)
298: Microsoft Silverlight その9 (570)
441: 国産オープンソースDIコンテナSeasar2 その16 (570)
738: BASICの宿題はお前にまかせた (562)
400: 日下部陽一著 作ってわかるCプログラミング(第6版) (557)
119: StackOverflowについて語るスレ (550)
805: UWSC初心者用スレ (547)
244: Message Passing Interface (MPI) 統合スレ (543)
118: 疑似乱数2 (543)
197: JavaScript情報交換所(プログラミング既習者専用) (543)
953: Rust Part7 (539)
9: ☆★Java質問・相談スレッド182★★ (539)
221: BrainFuck Part.3 (538)
195: GCCについて part10 (538)
61: Androidプログラミング質問スレ revision53 (537)
353: パチンコ、パチスロの基盤のプログラム 2 (517)
91: Julia Juno Jupyter part1 (515)
252: VisualBasic6.0 対 VisualBasic .NET 2003 (510)
897: Win32API質問箱 Build125 (509)
53: 【独学】一人で勉強する奴らのスレ【自習】 (507)
410: 簡単なプログラム言語って何? (505)
12: 古代VBプログラマ質問スレ(Ver.6.0 まで) part65 (496)
59: Perl初心者スレ(マジレス回答) (488)
401: COM (487)
362: 【Java】DIコンテナって本当に便利か? (484)
333: 【コボル】COBOL不要論【ただのDSLだよね?】 (481)
62: MATLABプログラミング 質問箱 その4 (481)
334: NullPointerExceptionを「ぬるぽ」と呼ぶスレ6 (477)
140: アセンブラ 13 (466)
352: 今だからこそ2ch代替サービスの実装を考えるスレ (459)
427: 【信者】C++の問題点【アンチ】 (452)
10: 人工知能ディープラーニング機械学習の数学 ★2 (449)
169: Java低速GUI Swing 10 (443)
988: Excel VBA 質問スレ Part63 (442)
320: D言語は多分コケると思っている人の数→ (438)
76: マルチスレッドプログラミング相談室 その9 (436)
6: Gtkプログラミング on Windows!!! (433)
875: Android Studio Part3 (433)
845: 【.cmd】 バッチファイルスクリプト %13 【.bat】 (430)
676: C言語相談室(上級者専用) (421)
179: CoffeeScript (420)
338: Python の宿題ここで答えます Part 2 (419)
253: TopCoder (396)
658: Excel Python 質問スレ (391)
435: 「OS自作入門」 (389)
123: Mathematicaプログラミング 質問箱 その1 (386)
265: 文字コードの種類は何故複数あるのでしょうか? (384)
36: スレを勃てるまでもないC/C++の質問はここで 25 [隔離病棟] (382)
344: Borland C++ Compiler オ ワ タ (381)
541: 本当に必要ものは人工知能ではなくて検索エンジン (381)
405: Borlandにはやられた... (379)
359: 逆コンパイラCodeReverseを作る (379)
345: JavaScript 4 (378)
780: 構造化プログラミングはまだ必要ではないのか? (377)
984: 【統計分析】機械学習・データマイニング26 (374)
79: 【Java標準GUIライブラリ】 JavaFX スレッド (373)
128: 【DI】Java Spring Frameworkを語るスレ 5.0 (371)
39: 懐かしのMS-DOSプログラミング ver.2 (370)
283: Google App Engine for java (369)
438: 0から始める2chブラウザfor超漢字 "2ch de BTRON" (367)
618: ねねっちと一緒にプログラムを勉強するスレ第3話 (366)
660: ExcelVBAで勤務表を作ろう (365)
833: pythonista総合スレ【IOSで勉強できる】 (365)
101: PHPがいかに駄目言語であるかをちゃんと説明 Part.2 (364)
279: くだらないアルゴリズムを考えるスレ (363)
381: Google NaCl プログラミング 2mol (361)
37: VB.NET質問スレ(Part44) (360)
340: プログラマー目指してるんだが色々と教えてくれ (360)
937: Kotlin 6 (359)
239: 2ちゃんねる互換P2P匿名掲示板の実装を考える 1 (359)
201: C/C++のライブラリ総合スレ (358)
376: 【分散型バージョン管理】 Mercurial 2【hg】 (357)
132: Android開発質問スレ (357)
8: MFC相談室 mfc23d.dll (353)
815: プログラマは大卒じゃないと就活厳しいってホント? (353)
271: プログラム関係の雑誌について (352)
300: GPGPU#5 (351)
624: おまいらはディープラーニングの検定試験受けるの? (345)
161: Boost総合スレ part10 (343)
74: NetBeans Part7 (342)
913: 【初心者歓迎】C/C++室 Ver.105【環境依存OK】 (338)


 

関数型プログラミング言語Haskell Part32 (635)

人気スレ 上位板 ブックマ-ク見る