論理学の議論スレッド

1774-Trash2021/07/21(水) 18:08:24.95ID:ZQPlWh+wM
VIPのスレ↓から派生しました

大学行く(´・ω・`)
https://hebi.5ch.net/test/read.cgi/news4vip/1626847853/

このスレは>>1とID:4ocU5SAy0が使います
ただし時限付きです

148774-Trash2021/08/29(日) 22:14:48.54ID:WT85OmxH0NIKU
>>147
いつもの人じゃない人がまさかこのスレに来るとは…(´・ω・`)
ウェルカム!Schemeについては全く知らないので何とも言えんな
あと俺は論理学ガチ勢では無いのでコアな話は分からんぞ

149774-Trash2021/08/29(日) 22:25:15.96ID:WT85OmxH0NIKU
ubuntu pastebin がログイン必須になってるな…
以前はアカウント無しで使えた気がするが

150774-Trash2021/08/30(月) 05:11:50.25ID:kLvffr9l0
>>147
検索で来た人だろうか?論理学で検索したのかな?

Schemeは知らんけど、最近の言語系の応用だとRustのunsafeな部分を定理証明で安全性証明するパッケージの設計図としてsemantic domainが定義されてる例を見かけた。(まだ読んでないけど)
https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf

151774-Trash2021/08/30(月) 05:12:33.21ID:kLvffr9l0
>>147
他には領域理論的測度論を構成する試みが25年前に出てきてて
http://www.doc.ic.ac.uk/~ae/papers/int.pdf
数年前に出た論文で計算機言語のsemantic domainにデフォで確率プログラミングの下地を仕込むとかいう面白い話を見かけた気がする。機械学習のモデル設計などで非常に楽が出来るとか言ってた気がするな。

152774-Trash2021/08/30(月) 05:13:28.32ID:kLvffr9l0
>>147
あと、関数型プログラミングでお馴染みの構造(state monadとかstored comonadとか)がElmだのReactだのの実用で使われ出してるけど、あそこら辺の背景にある具体圏は型とプログラムの圏で、それはつまりsemantic domainの圏。(俺は圏論から領域理論に手を出してる口です。)

153774-Trash2021/09/03(金) 22:59:11.08ID:hR2zsYiO0
ネットワークの勉強のためにLinux入れたぜ

154774-Trash2021/09/04(土) 09:57:45.37ID:E7lnPXgv0
Linuxは良いぞ(´・ω・`)b

新着レスの表示
レスを投稿する