このアカウントは、notestockで公開設定になっていません。
らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)の投稿
このアカウントは、notestockで公開設定になっていません。
DubSubHubbub (fediverseジョーク) (違法ジョーク)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
状態がどこまで明示的かの話でしかなくて、たとえば操作的意味論を素朴に “純粋関数型” 言語で実装しようとしたら、たぶん処理系 (あるいはコンピュータやユーザ) すべての状態を表現するようなクソデカ “環境” オブジェクトを作ってそれに操作を加えるということになると思うんですよ (突然の空リプ)
ほんでオブジェクトに対する変更というのは、 immutable data structure を想像してもらえばわかるように、あるいはループを fold や末尾再帰で書き換えることを想像すればわかるように、破壊的変更を行わない形で書き直すことができるわけです
なので、状態数やパラメータ (時間、座標、etc.) がクソでかい “環境” を明示的に扱うか暗黙に扱うかの差でしかないと思っていて、暗黙な状態を弄るとき副作用が云々という言い方で表現しているだけ
FRP (functional reactive programming) あたりのあれこれを調べても、世界をどう扱うかについての示唆は得られそう
世界をイベント列にしてやれば、 “純粋関数型” 言語で実世界とのインタラクションを実装できるわけですよね。あとは持ち越す状態を (ループを末尾再帰にするように) 引数化して次の呼び出しに渡してやればいい
「モデルの問題でしかない」ということ。
処理:: (コンピュータの状態, 入力) → (コンピュータの状態, 結果)
という関数は “純粋関数型” 言語で書けるだろうし、ここでコンピュータの状態を暗黙にすれば
処理:: 入力 → 出力
(ただしコンピュータの状態に変化があるものとする)
になる。それだけ。
後者の「副作用のある」プログラムを前者に直すことは (アクセスされうる世界の状態をすべて型に詰め込めれば) 明らかに可能だし、その意味で「“純粋関数型言語” で意味のあるプログラムは書ける」といえる
まあ時系列データをどう扱うのみたいな部分で「型に詰め込む」の方法論が非自明な場合はあるかもしれない (というか、たぶん一般にそう)
函数型かどうかって言語などに紐付くというよりは、計算の記述として宣言的<->手続的に書くかの話で、宣言的に書けば函数型寄りですね、みたいな
翻訳:プログラミング言語Lazy_K
http://legacy.e.tir.jp/wiliki?%CB%DD%CC%F5%3A%A5%D7%A5%ED%A5%B0%A5%E9%A5%DF%A5%F3%A5%B0%B8%C0%B8%ECLazy_K
たとえば副作用を認めない “純粋関数型言語” である Lazy K のドキュメントでは「インタラクティブなプログラムには気をつけてね」という例があって、結局これは「オメーの脳内状態(認識)がプログラムにとって暗黙である」という話
というか、時系列データがほしいのに時間情報なしで勝手に順番を想定しているのがおかしい (モデル化が噛み合ってないだけ)
入力すべてに時間情報を付けて、出力にも時間情報を付けて、という入出力で実装すれば、擬似的にインタラクティブなものは書ける。ただ実時間でのインタラクションではないだけで 🙃
それはそれとして Haskell なんかは記述が宣言的かどうかという以外に先に数学的なモデリングや抽象の実践と実証という目的があってそれで妥協せず Monad のような道具まで作り出したんだろうし、逆に C は単に当時の計算機を操作するためだけに工学的な実践の要請で生まれたのだろうから「手続的」というのに当時はとくに数学的モデルは無かっただろうし
実時間でのインタラクションが擬似的なインタラクションと異なるものに見えるのは、オメーがプログラムの中に入っていないからだという話で、その意味では「プログラムの中に入れないオメー」と「プログラムから見たオメー」を中継して翻訳する存在がどうしても必要で、それがたとえば言語のランタイムだったりする
その「モデル化した世界は扱えるけど、オメー自身がモデル化された情報になれるわけじゃないじゃん」という立場でプラグマティックに捉えれば、副作用なく “実用的” なプログラムは書けない、というのも間違いではない
その立場で物を考えると、そもそも「オレ自身は絶対にコンピュータや言語の意味論の中の抽象存在にはなれないから、オレに干渉するには絶対に “副作用” が必要だぜ」という、まあ傲慢っちゃ傲慢な前提が立ってるわけです。
この場合、議論の余地なく “副作用” は実用的なプログラムに不可欠。だってそうなるような前提として “副作用” を定義したんだから。
ランタイム等によって言語内概念に翻訳された世界を “実世界” と等価であると認めて潰すか、翻訳は翻訳であって “オレ” の認識はモデル化された世界にはないとするか、そういうスタンスの差異でしかないんじゃないかと思います。
どちらの立場にも一理あるけど、どちらの立場か表明せずに “副作用” と “実用性” について語るのはナンセンス
プログラミング言語理論の授業でパラダイムの話は詳しく解説されてたので、まあそういう授業もある (哲学にどこまで踏み込むかはまた別の話だけど)
意味論の授業もあったし、まあｽﾞｮｯﾎｰ工学の話だけで満足できるならｽﾞｮｯﾎｰ工学の大学院はありだと思う (個人の感想) (YMMV)
@orumin はい、正直なんか変なこと言ったなと思いました
https://mastodon.cardina1.red/@lo48576/105305885275085281
https://mastodon.cardina1.red/@lo48576/105305893822295417
これらに加えて
「時間情報が付いたデータ列を見た我々は一般に “我々は時間の流れに沿ったデータの入出力を利用している” と認識できないので、そこにモデル化された世界と実世界のギャップがある」
みたいなことを言いたかったんだけど、言葉が崩壊して、こう <https://mastodon.cardina1.red/@lo48576/105305871361581482> なった
早口で喋ってると途中で必要だった説明が全て吹き飛んで滅茶苦茶なこと言ってることになるみたいなやつやりがち
https://twitter.com/lo48576nsfw/status/1176047540396945408
H30年度 | 関数型プログラミング - TOKYO TECH OCW
http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&GakubuCD=4&GakkaCD=342222&KeiCD=22&course=22&KougiCD=201804054&Nendo=2018&lang=JA&vid=03
> 少なくとも一つのプログラミング言語を巧みに使えること．
> その他
>
> 骨のある授業です．
「少なくともひとつの言語を †完全に理解† してえな……」とか言って近隣でネタにされてた
このアカウントは、notestockで公開設定になっていません。
ジャが ja でなく zya になるのとか、ちょっと好きになれない >訓令式
たとえば sinbun と shimbun だと後者のほうが自然かな……などと思ってしまうのでヘボン式派です
ズとヅは口頭だと実際区別されてるかぁゃιぃので、まあ両方 zu になっても致し方ない気はしてる
このアカウントは、notestockで公開設定になっていません。
感動するだけで実用するわけではない、とてもわかる
私もλ計算を知って感動したものだが、研究でしか使わなかった ()
まあ言うていわゆる関数型言語のイディオムわ知っておくと近年のマルチパラダイム言語では確実に活かす場面があるので、常用しないからといって感動だけで終わったともいえないところはある
昔のｼﾞｬｯｳﾞｧがどうだったかは知らんが (Java のバージョンには詳しくないので)
このアカウントは、notestockで公開設定になっていません。
結局音韻論をおべんつよせずここまで来てしまったので、発音記号とかふんわりとしかわかってないんだよな……
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
かといって電子書籍は DRM 付いてるから絶対買いたくないし……
私が一番好きなラノベが『時載りリンネ！』というシリーズで5巻まで出て止まってるんですが (作者ブログによれば続きを書く気はあるらしい)、紙だと中古でしか手に入らないのに電子書籍で合本版が出ていて泣いた (DRM 付きなのでもちろん買わない)
オンデマンドで高くなってもいいから物理書籍か DRM フリーな電子書籍で貢がせてくれ〜〜〜！！！！！
たとえば子供に相続できないでしょ大抵の場合は
まあ子供おらんし予定もないが
DRM が嫌いなのは思想的な問題もあるし、サービスのアカウントを消せなくなるのが嫌というのもあるし、単に「ビューアとして洗練されていないソフトウェアの利用を強要される」という実用上の不自由のが嫌いなのもある
プログラミングというかITが理解できない。 https://anond.hatelabo.jp/20201130214610
コンピュータ (CPU, メモリ, etc.) が何故動くのかの説明と、プリミティブな操作でどうやって高度な応用に辿り着くのかは、べつに最新の知識は必要ないので根気よく低レベルを勉強してくださいという感想だ
さしあたり電子部品とデジタル回路とか、アセンブリ言語とマイコンとか、その辺りを漁れば欲しい知識は手に入ると思う。現代だと CPU 自作情報もたくさんあるし。
あとは奇を衒いたいならシーケンス制御とかを勉強しても得るものはあるだろうし
DRM は邪悪な文明だし、そんなものに金を出して許容の姿勢を表明しても我々にとっての不都合が大きくなるだけ
「小学生、全員助かってよかった！」 いやいや、船に揚げるってそんなに簡単じゃありません(斎藤秀俊) - 個人 - Yahoo!ニュース
https://news.yahoo.co.jp/byline/saitohidetoshi/20201201-00210378/
「数学が理解できない」とか言うて森羅万象を一気に理解しようとするのが無茶なのは言うまでもないし、 IT も同様なので、とにかく一番原始的な問からひとつひとつ集中的に解決してくださいとしか
私は実世界で何かをすることを動機として魅力的に感じない性質なので、特に目的もなくボトムアップで知識を得ていくスタイルでした
知見をトップダウンに掘っていくかボトムアップに積んでいくかというのはかなり人によって分かれそうな気はする(僕は前者)
そもそもトップダウンで「適切な分割」をするには良質な教育者なり先達なりが必要なので、雑に独学するにはあまり向いてなさそう
(一方、十分広く知られている分野は道が整っているのでトップダウンの情報の方が入門しやすそうでもある)
自分の生活が自分の性欲に支配されすぎているのではないかと常々思っていて、自慰/性行為について言及しない人々がどれぐらい性欲が発生し発散しているのかというのを知りたい
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
[野菜の小売価格 安値続く レタスなど平年より40％余り安く]
主な野菜の小売価格は、天候に恵まれ、生育がよかったことなどから、先週の時点でレタスや白菜などが平年を40％余り下回るなど、安値が続いています。
http://www3.nhk.or.jp/news/html/20201202/k10012741271000.html
[＃21 | メイドさんは食べるだけ - pixivコミック](https://comic.pixiv.net/viewer/stories/85562)
北山結莉[Ｗｅｂ版『精霊幻想記』の取り下げについてのご報告]
https://mypage.syosetu.com/mypageblog/view/userid/388068/blogkey/2670146/
完結してからまとめて読もうと思ってたらこういうことがあるから、なろうは油断できない……
いや、なろうはまだマシで、ｱﾙﾊﾎﾘｽとかは溜めるどころではないので最初から読まないことにしてる
Salesforce、Slackを2.9兆円で買収 Microsoftに対抗: 日本経済新聞
https://r.nikkei.com/article/DGXMZO66890760S0A201C2000000
> ただ、新型コロナウイルス禍で追い風が吹いたのはマイクロソフトのほうだった。「エクセル」などの継続課金サービスを契約していれば追加料金がかからない仕組みが受け、在宅勤務を迫られた企業が続々とチームズを使い始めたためだ。
そういうことだったのか……
Hello · Issue #1 · uhyo/please-star-first
https://github.com/uhyo/please-star-first/issues/1
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
メルペイの開発者?さんもそういう方向性なんだと理解してるからやっぱり深夜言ってたようになるのかな
Naoki Aoyagi @メルペイさんはTwitterを使っています 「Kyashによる「チャレンジャーバンク宣言」と受け止めました。決済利用が必須、付与するのはポイント、という法的整理をしながらも、記者発表では「利息」という表現をあえて使うことで、バンキングに挑戦する意志を表明していますよね。おもしろい！」 / Twitter https://twitter.com/naoki/status/1333961152347312128
このアカウントは、notestockで公開設定になっていません。
合法で倫理的に問題がなくただ不快な広告が許せないなら、そいつを受信者側が技術的にブロックするなり、そういう広告を出すサービスをボイコットするなり、それがまず最初に進むべき道だと思うんですよ (送信者を規制せず受信者側が自分専用のカスタマイズを施せという思想の持ち主なので)
軽率に「生理的に不愉快だから規制しろ」という意見は言論弾圧や表現規制に一直線だし、既に一線を越えていると思うので反対
広告ネットワークの顧客であるところの web サイト管理者が要望を出すのであればまだわかるけど。それは契約やビジネスの話なので。
このアカウントは、notestockで公開設定になっていません。
tootctl accounts cull は「今は消えてしまったサーバのアカウントだが、昔 boost したことのある投稿もあるのでそれは消さないでほしい」という要求が満たせないので嫌い (昔 issue 立てたけど一蹴された、イシューだけに)
消えるべきもの以外の全てが残っていてほしい (少なくとも自分では参照できる状態であってほしい) 派です
自己引用しがちなので (まあ SNS 以外の場所にまとめろという話かもしれんが……)
残す主義の人、notestockのログを一般公開に設定しておいて欲しさがある＞＜
(特におひとりさま運用な方々とか、あとさらに特に特に鯖よく飛ばす傾向がある方々)
公開設定とかあったっけと思ったけど tootlog だった
Yorung's Hotfix: DirectXとOpenGLとrow majorとcolumn majorのまとめ https://glhub.blogspot.com/2016/02/directxopenglrow-majorcolumn-major.html
ハァ～～～～～～～～～～？？？？？？？？！！！！！
CPU とシェーダ (のデフォルト) で行列表現が違うやつなぁ
ワイも研修課題で引っかかったわ
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
なんか天井に虫がとまってるんだけど…… (網とか持ってない)
ComPtr は shared_ptr 相当なので move semantics もクソもなくない？
このアカウントは、notestockで公開設定になっていません。
Twidere が Play protect に拒絶されてる、草
GPU のスペックが足りてないっぽくて2枚目のモニタが途中で消えるので泣いてる。
カーソルだけは端まで自由に動けるが、背景やウィンドウはこの境界より先いっさい表示されない。
2560x1440 + 2560x1440, 60Hz, GeForce GTX 1660
このアカウントは、notestockで公開設定になっていません。
空の ComPtr を用意して初期化関数に参照で渡すやつか (あと UUID とかも一緒に……)
互換性とかいろいろ気にするとああなるのかもしれないというのはわかるけど、私はあれ嫌いですね。
「何物でもない (空の) ポインタが初期化より前に存在できる」というのが駄目。
ヒントが見えてきたな。モニタサイズに対して X のキャンバスサイズ (?) が変化してないっぽい
こういうときどこが原因かもわからないのに真っ先に nvidia への疑念を募らせることになるので本当にクソ、 #MyNextGpuWontBeNvidia
X screen のサイズはちゃんと変化しとるが……てことは i3wm の問題？
はいわかりました、 picom compositor を終了したら動くようになった (マジか)
picom がないとターミナルからおたく壁紙の背景透過ができないんだけど……
再度 picom を起動しても問題なく両スクリーン使えてる、ということはスクリーンサイズを変更するたびに picom を再起動するのが workaround ということでいいか
このアカウントは、notestockで公開設定になっていません。
多様性を盾にして均一化を要求する連中、悪意があるのかないのか知らんけど悪質すぎる
結局オメーの考える「かくあるべし」を押し付けたいだけなのが見え見えなんだよなぁ
どうやら 4K+4K マルチモニタに成功したのでよかった
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
まって、今まで LG の 27UL650 で 4K 60fps 表示ができない (PC 側から 60 fps に見えていてディスプレイ側での情報もそうなっているのに、実際は 30fps で表示されている) のが GPU のせいだと思ってたけど、 DELL の S2721QS だと 4K 60fps 普通に出てる……
両方とも 4K 60 fps 対応のはずで FreeSync 対応かつ G-SYNC 非対応のはずなんだけど、なんで LG の方は G-SYNC mode が使えなくて Dell の方は使えるの？
はいわかりました、ディスプレイ側で FreeSync を無効化してた
G-SYNC 有効化しても結局 4K 60fps 出ないやんけ！ 使えねー！！！
結論: Linux で nvidia-drivers (最新) を使っても、 LG の 27UL650-W ディスプレイで 4K 60fps の出力はできない。
G-SYNC を有効化してもやっぱりできない。
製品としては対応していると謳っているし、 (どうやって確かめたかは知らんが) Mac でできていると主張する Amazon レビューもある。謎。
Audio Video Sync Test 60 FPS - YouTube
https://www.youtube.com/watch?v=TjAa0wOe5k4
ちなみに私はここからリンク張られてる twitch の動画で確認した (<http://link.twitch.tv/synctest-h264>)
この動画、フレームレートだけでなく音声遅延も確認できるクッソ便利なやつなのでおすすめ
とりあえず私からは、安い 4K ディスプレイを買うなら LG ではなく Dell の方がいいと言っておきます
4K ×2 のデュアルモニタの全体キャプチャが PNG で 4.7 MiB 、いいですね
Force Composition Pipeline を無効化することで 4K 60FPS での描画ができた、 tearing は compositor 側だけで解決しましょう (G-SYNC も効果あるのかな)。
https://mastodon.cardina1.red/@lo48576/105311024976448102
やっぱ LG でも問題なさそう。
設定をミスる恐怖に打ち克てるなら。
？？？「プログラムを読んだり書いたりすることが、そんなにむずかしいことだろうか」
いや文章読めねえのは勘弁してくれと思うし関わりたくないけど、それはそれとしてできないことに本質的な不自然さがあるかといえばそんなことはなく、純粋に頭が悪いだけ
識字できるのに文章読解できないやつの方が厄介、やつら自分ではできるつもりでいるので
ヒト - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%88
そういえば人間ってホモ・サピエンス・サピエンスなんだけど、学名レベルでめちゃくちゃ賢いアピールしててウケる
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
学名つける人々、大事なことを二度言いがち (ゴリラ・ゴリラ・ゴリラを見ながら)
このアカウントは、notestockで公開設定になっていません。
Twitter 見てると結構いるよね、実質 ELIZA
対面で見たこともないし存在するとも思ってなかったレベルの人が沢山いるっぽくて、怖くて泣いちゃった
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
人が密集すると干渉して体が動かせなくなるの、詰みじゃん
嫌すぎる
