mineel (@mineel5) header
mineel (@mineel5) profile picture

mineel

@mineel5

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

zenn.dev/mineel5
Joined May 2017
  • Tweets7.5K
  • Following599
  • Followers591
313Media
Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)Photo by mineel (@mineel5)
領域理論について zenn.dev/mineel5/articles/d6…
【コンピュータサイエンス】領域理論を紹介する【part1】

【コンピュータサイエンス】領域理論を紹介する【part1】

zenn.dev
1
10
46
15,861
STLC (Singly Typed Lambda Calculus)の伝統的教科書だ
ι (@i0ta_dev) profile pictureι@i0ta_devNov 1
Replying to @sigma5736394841
教科書として有名なのはこれです kindaikagaku.co.jp/book_list…
計算論 計算可能性とラムダ計算 | 近代科学社

計算論　計算可能性とラムダ計算 | 近代科学社

近代科学社で発行している書籍「計算論　計算可能性とラムダ計算」の詳細ページです

kindaikagaku.co.jp
1
3
255
Böhm木やD∞、近似定理などラムダ計算の重要トピックが書いてある教科書（書いてあるだけ）
1
1
138
別にこの本のアンチってわけじゃないどころか和書で1,2番を争うくらい好きな本なんだけど、これだけ読んで「なるほど！Böhm木やD∞についてよく分かったぜ〜！」ってなる人がいるなら見てみたい
1
1
117
部外者も参加できるんだっけ。エク帰のためだけに京都戻るまであるな
エクストリーム帰寮運営 (@shiranbasho) profile pictureエクストリーム帰寮運営@shiranbashoOct 18
みなさまお久しぶりです。熊野寮祭の時期が近づいてまいりました…🎉 というわけで今年もエクストリーム帰寮開催します！みなさまのご参加お待ちしてます🚗💨 #熊野寮祭2026 #エクストリーム帰寮2026
1
4
3,530
Xに実装が求められている機能第一位：検索機能
1
1
5
572
関係ないけど、上の辺にある入力した言葉とは無関係なポストをランダムで表示する機能は他ではあまり見ないけど一体何なのだろうか？
1
177
最近徒歩欲が高まってきてる、10-20km程度の散歩は仕事帰りなどに定期的にやってるけど久しぶりにちゃんと歩きたいな
1
312
謎解きをしてます ＃アルティメットビンゴ
3
293
なんかOpenAIの非売品グッズ手に入れて神
204
数学科の授業では、各概念に対する数学史を紹介して欲しいと思っていた 数学の概念は抽象的で意義が分かりにくいので、その概念を誰がどういった流れ・意図で導入したのかの数学史は欲しくなる いまはAIで数学史を整理しやすくなったから、教える方もそういう導入がしやすくなったと思う
3
34
12
282
58,353
テレビないけど朝ニュースを見れるといいなあって思いがあったから、毎朝6:30に自動でmac miniが立ち上がってAbema Newsを流して9:00に閉じて画面ロックするようにしてみた
2
5
441
東京駅来たし、山手線でも歩いて一周するか〜
Image from mineel (@mineel5)
2
4
645
山手線周り景色がめくるめく変わるからずっと新鮮で流石に楽しすぎる、足の痛み過去一でなかった
Image from mineel (@mineel5)
Image from mineel (@mineel5)
1
3
267
普通に遊園地の帰りくらい満足感あるんだけどなんでこれが無料なんだよ
167
初任給振り込まれたけど無能すぎて1300円やった涙
Image from mineel (@mineel5)
1
6
697
無能すぎて初任給使い切ってしまった、26円しか残ってない涙
Image from mineel (@mineel5)
259
社内勉強会みたいなの開催してラムダ計算とかの話とかしてみたいな〜、意外とプログラミングから入ってそういうのもちょっと興味出て来てるプログラマとか多いと思うんだよな
2
1
7
499
more replies
意味分からないという人にはラムダモデルなど意味論の話をして勉強のサポートをしてあげることもできる
1
333
型なしラムダ計算の話だけをすることで普段pythonなどを書いていて型に慣れていない人への配慮をすることも出来る
1
211
Load more