mineel

情報学研究科/男/計算, 意味, 論理/web開発

[mineel @mineel5]

領域理論について

https://t.co/MMrRJDVi7D

[mineel @mineel5]

関係ないけど、上の辺にある入力した言葉とは無関係なポストをランダムで表示する機能は他ではあまり見ないけど一体何なのだろうか？

[mineel @mineel5]

Xに実装が求められている機能第一位：検索機能

[mineel @mineel5]

最近徒歩欲が高まってきてる、10-20km程度の散歩は仕事帰りなどに定期的にやってるけど久しぶりにちゃんと歩きたいな

[mineel @mineel5]

謎解きをしてます

＃アルティメットビンゴ

[mineel @mineel5]

なんかOpenAIの非売品グッズ手に入れて神

[きいねく @Keyneqq]

数学科の授業では、各概念に対する数学史を紹介して欲しいと思っていた
数学の概念は抽象的で意義が分かりにくいので、その概念を誰がどういった流れ・意図で導入したのかの数学史は欲しくなる
いまはAIで数学史を整理しやすくなったから、教える方もそういう導入がしやすくなったと思う

[mineel @mineel5]

テレビないけど朝ニュースを見れるといいなあって思いがあったから、毎朝6:30に自動でmac miniが立ち上がってAbema Newsを流して9:00に閉じて画面ロックするようにしてみた

[mineel @mineel5]

@seydlitz114514 たった約半日（14時間）で終わる神の遊び

[mineel @mineel5]

東京駅来たし、山手線でも歩いて一周するか〜

[mineel @mineel5]

普通に遊園地の帰りくらい満足感あるんだけどなんでこれが無料なんだよ

[mineel @mineel5]

山手線周り景色がめくるめく変わるからずっと新鮮で流石に楽しすぎる、足の痛み過去一でなかった

[mineel @mineel5]

無能すぎて初任給使い切ってしまった、26円しか残ってない涙

[mineel @mineel5]

初任給振り込まれたけど無能すぎて1300円やった涙

[mineel @mineel5]

@nkawagashira ありがとうございます！記事の方も見て下さったのめちゃくちゃ嬉しいです😆

個人的にも記事で書くトピックは凄く面白い内容だと思っており、どこかで話す機会があれば楽しそうな気はします…!!
(ところでメンション先微妙に間違っています…笑)

[mineel @mineel5]

社内勉強会みたいなの開催してラムダ計算とかの話とかしてみたいな〜、意外とプログラミングから入ってそういうのもちょっと興味出て来てるプログラマとか多いと思うんだよな

[mineel @mineel5]

@nkawagashira ･対面で話したい
･社内から同胞を炙り出したい
･社内での（私の）認知を広げたい

という目的があり、あまり社外は乗り気じゃないですね〜…
オンライン勉強会も参加経験ありますが少し苦手でして…

外向けには読みたい人が読みたいときに読めるように書いてるのでそれで十分という気持ちです！

[mineel @mineel5]

型なしラムダ計算の話だけをすることで普段pythonなどを書いていて型に慣れていない人への配慮をすることも出来る

[mineel @mineel5]

意味分からないという人にはラムダモデルなど意味論の話をして勉強のサポートをしてあげることもできる

[mineel @mineel5]

あれ、lambek&scottもいつの間にかスキャンが落ちてる。これ見てもいいやつなのか？？？

[mineel @mineel5]

あれtopology via logicの誰でも見れるpdfがネットに落ちてるけどいつの間に？？？

[mineel @mineel5]

数年前大学のライセンスありでも読めるところがなかったから腹括って一万数千円出して紙の本買ったのに