λx.x Profile Banner
λx.x Profile
λx.x

@lambda_x_x

461
Followers
1,061
Following
2,150
Media
48,681
Statuses

青い海と青い空が好きです あと、最近は standard products が好きすぎてます。

日本 東京
Joined March 2017
Don't wanna be here? Send us removal request.
@lambda_x_x
λx.x
2 years
@niwatori666 この件だけではなく、普段の言動行動から、にわとりさんがかっこいいのは見ている人は十分知っているので、つまらぬ輩は放置しましょw
1
0
354
@lambda_x_x
λx.x
3 years
いいかい学生さん、 トンカツをな、 トンカツを30超えるとそんなに食べたくならないんだ……。
0
7
37
@lambda_x_x
λx.x
7 years
優しい人は尊い
1
3
33
@lambda_x_x
λx.x
7 years
学生の間違いを(匿名でも)晒す人、間違いに非はあって本人に非は無い的なつもりなんだろうけど、20代前半の人間への労りがなさすぎると思う。
0
11
31
@lambda_x_x
λx.x
1 year
広末涼子氏の手紙を下世話な気持ちで見たら、字のバランスが良くて、ペン筆習いたいなという気持ちが湧いて下世話さが消えた。
0
5
27
@lambda_x_x
λx.x
5 years
#ある船頭の話 を武蔵野館で観てきました。 素晴らしすぎる作品。ずっと号泣してましたw 美しい自然映像、素晴らしい演技、かすかな自然音だけで人はここまで魅了され涙を流すのか...。 逆に、現代の映画は、無駄な台詞、無駄な映像、無駄な音楽、過剰な演技に汚染されているかもとも思った。
0
5
24
@lambda_x_x
λx.x
6 years
圏の定義に全く触れない圏論の講座、とても素敵でした 関手の様な抽象化をなぜ考えたいか?を具体的な例から解説する試みはとても良かったです(自分がいろいろ理解できてない事に気づけました) 演習問題もとても考えられてる感じがしました @unaoya さん、ありがとうございました #圏論の基礎の基礎
1
6
25
@lambda_x_x
λx.x
18 days
メタプラネット、5000円行くまでは全く売却考えていない。 5000超えても売るわけではなくて、そこから考え始める。
0
0
23
@lambda_x_x
λx.x
6 years
Φカフェで梅崎さん主催の数学について話す会にN.Yさんと参加して、そこでリングさんからベシ圏読む会があることを教えていただき、RKさん、ちゃんまおさんとベシ圏通じて友達になって、SさんからCoq勉強会誘ってもらって。。。 色々な出会いがある場所でした。 Φカフェありがとう! #Φカフェ数学デー
0
6
21
@lambda_x_x
λx.x
2 months
#ずんだもん kiddy land harajuku のグッズ、ほぼ売り切れてるので、明日行く予定の方はご注意を。。。
Tweet media one
0
13
20
@lambda_x_x
λx.x
7 years
学生時代に感じたのは、 大学の制度や社会に対する批判のツイートは、勉強になるなと感じることも多かったですが、学生の不理解を嘆いたり、間違いを晒したりするツイートは心底気持ち悪く感じました。
@minaokukita
Minao Kukita 久木田水生
7 years
大学教員のツイッターは愚痴が多いが,学生はあれを見てあんな先生に教わりたくないって思っているのだろうか.
0
9
10
1
14
20
@lambda_x_x
λx.x
5 years
自分は今AIを使って社会的課題を解決しようとする会社で働いているが、AIで退職予想や採用をするようになったら辞めるだろうなぁ。 今は、AIを健全な augmented intelligence として捉えてるし、課題設定も適切に感じるので、懸念はない。
1
8
20
@lambda_x_x
λx.x
7 years
関数を(第一級ていうのかな?)オブジェクトとして見なせる・扱える(抽象化)能力って、もはや標準的エンジニアリング能力の1つですよね。 そこを特殊性というなら、コーディングスキルは無いと認めないといけないくらいの。
0
13
19
@lambda_x_x
λx.x
6 years
数学の良さって何?と言われたら,情報量が多くて,式や定理に情報が圧縮されていること と私は答えるな...
0
6
18
@lambda_x_x
λx.x
5 years
いい話 イギリスの全国調査で判明 成人の34%がテディベアと一緒に就寝 - ライブドアニュース
1
10
18
@lambda_x_x
λx.x
5 years
蒲田駅、謎の綿が散乱していて本当信頼できる
Tweet media one
0
12
18
@lambda_x_x
λx.x
6 years
友人と話し合って出した結論ですが、メモリ8GB以下の環境で開発させられているソフトウエアエンジニアは舐められているので辞めた方がいいですよ。
0
7
18
@lambda_x_x
λx.x
5 years
今年一番泣いた映画は、ある船頭の話。
0
3
17
@lambda_x_x
λx.x
5 years
明日は我が身っての何事もそう。 僕も自分のために、介護や医療や失敗した時に起こしてくれる制度を応援したい。 ビッグイシューも見かけたら必ず買ってるけど、それは僕がホームレスになったときに、今ホームレスの方が必ずビッグになって逆に僕のビッグイッシューを買ってくれると信じているから!笑
1
3
17
@lambda_x_x
λx.x
7 years
巨大数勉強会&めしにしましょう会参加しました! 感想: ・みんな巨大数詳しい ・ふいっしゅさん半端ない。ミカヅキモさんもこていたんさんも ・こていたんさんのアバターを複数知っていたのであった…… ・ヒドラもっと勉強したい ・計算論の話題でよければ次の会で話してみたい
3
3
15
@lambda_x_x
λx.x
4 years
ヌオーママに会いたくて泣いてるウパちゃんがかわいいw
@zakochirashi
さばほっけ
4 years
216:wooper's school #1 日1ウパー
Tweet media one
2
139
414
0
1
15
@lambda_x_x
λx.x
3 years
個人に要求すんなよ。休日の制度整えてよ。 熱出て休む必要あるなら、ワクチン摂取しないと判断する人一定数いるでしょ。 > 特に2回目の接種後は安静にして、翌々日ごろまでは仕事や学校を休むことも検討してほしい
0
9
15
@lambda_x_x
λx.x
3 years
もう、ソフトウェアエンジニアとして、10プロジェクトくらいやってるし、4社くらいで働いてるけど、 適切な優先順で仕事をやる 以外に必要なソフトウェアエンジニアスキルないしそれだけでいい気がしてる。
1
1
15
@lambda_x_x
λx.x
6 years
何回かツイートしたことあるけど、戸田山先生の「論理学をつくる」は、情報系の学生ほど読むべきだと思っている。 例えば、確定記述句の消去(分解)のよう分析することで、記号処理に意義をもたせられるんだなという、論理プログラムの"仕様"に近い部分って、情報系の授業じゃあまり触れなさそうなので
1
1
14
@lambda_x_x
λx.x
7 years
自分の弱さに向き合えてない人ほど実は弱い
0
2
12
@lambda_x_x
λx.x
5 years
求人エントリー大量にさせる企業しかり、ガチャで破産させる企業しかり、退職予想するAIを作る企業しかり、 自社製品が社会に与える悪い影響というものを、エンジニア含めみんな考えないのかねぇ。。。
1
3
14
@lambda_x_x
λx.x
4 years
Kindle キターーー 現代思想2020年7月号 特集=圏論の世界――現代数学の最前線 | 西郷 甲矢人, 加藤 文元, 渕野 昌, 郡司 ペギオ幸夫, 谷村 省吾 | Kindle本 | Kindleストア | Amazon
0
6
13
@lambda_x_x
λx.x
4 years
論理学の問題、特に意味論的な問題を考えるの、いわゆる論理パズル的要素を全く感じないんだよな。だから楽しいんだけど。 論理パズル的なものを論理学と捉える人もいそうだけど。個人的に論理学はプログラミングと似ていて、構造と実態を構成するLEGO的クリエティブさが際立つ学問。
0
5
13
@lambda_x_x
λx.x
4 years
ソフトウェアエンジニアとしての道を極めるなら、CSだ!数学だ!みたいな科学(学問)への還元主義的発想に囚われてちた自分としてはそういう意見にはもう疲れ絶望しているが、 一方で、マネタイズを考慮した技術(習得)みたいなホーリズムにも相容れない自分がいて、人生つらいっす。
1
3
13
@lambda_x_x
λx.x
6 years
そいえば、今日のイグノーベル賞展で、これめっちゃ笑ったのでみんなもトライしてみて!笑
1
12
13
@lambda_x_x
λx.x
2 years
蒲田の路上で男が強く女殴ってた。 止めに入ったら、お前も殴るぞとか言われつつもワイ制止に成功!! 女性の方もめっちゃ俺に感謝言ってくれて、その後ダッシュで殴っていた男の方に戻って行きました(^ν^) またこのパターンか。。。
1
0
12
@lambda_x_x
λx.x
3 years
友達になりたい
Tweet media one
0
1
12
@lambda_x_x
λx.x
6 years
有限状態オートマトンの「有限の定義」について熱い議論がされていて嬉しい. #言語処理系勉強会
1
1
12
@lambda_x_x
λx.x
2 years
@niwatori666 ハードコア 好きな人はみんないい人よ。
0
0
12
@lambda_x_x
λx.x
6 years
数学の独学の話が話題になっていますが、独学は偉いとは全く思いません。 ですが、系統的体系で学んだ正統派という、ある種の特権階級が鼻に付くという気持ちはすごく共感できますね。 変わりつつあるとはいえ、大学をはじめとした学べる場に参加できるのが限られている日本のこの現状では。
1
0
12
@lambda_x_x
λx.x
6 months
mizuironoinu 全てを持っていった 泣いた
0
4
11
@lambda_x_x
λx.x
3 months
みなさんのおかげで、自分もディランさんとマイミクになった!!! メタプラネット応援📣
1
1
9
@lambda_x_x
λx.x
6 months
mizuironoinu の MC というかアドリブのセリフで泣いた。自分もあの2バンドには心を動かされてきた。 でも、今日一番心を動かされたのはあなた達でした。
0
5
11
@lambda_x_x
λx.x
3 months
現在進行形で btc が世界金融に大きな影響力もたらしている中で、メタプラネットは株価云々の前に応援したい企業だよね日本人として。btc だけでなく暗号資産一般に広げてもメタプラネットほど海外に発信力ある企業他にないでしょ。 株で儲かる儲からないはあるとしても、応援したい企業ではあるよ。
1
3
9
@lambda_x_x
λx.x
5 years
今日の GEZAN / envy の伝説(におそらくなりうるだろう)2マン、 3500円 で観れたという事実w まあ貧乏なのでお金の話だしちゃいましたが、結局はこの一夜がこの値段だということは、「お金では換算できない価値」が確実にあるということが本当によくわかる。
0
1
11
@lambda_x_x
λx.x
2 months
美味かった
Tweet media one
Tweet media two
0
2
9
@lambda_x_x
λx.x
6 months
ようやく冷静さを取り戻してきたw そのくらい良かった今日のライブ。 mizuirono_inu 冷静に思い返すと普通に演奏力高いと感じたし、ライブではCDよりも芸術とかロックな要素強く感じた。飛び道具的な音楽じゃないなと感じた。 あと、ギターの人も超かっこよかった。
0
3
10
@lambda_x_x
λx.x
3 years
もうiPhoneのUI、わけわかんねぇっす
Tweet media one
0
2
10
@lambda_x_x
λx.x
4 months
ソフトウエアエンジニア、休日も働いてます勉強してますって人多い。気持ちはわかるけど、エンジニア以外の職種の人は休みは休んでると思うので、そのムーブいい加減やめた方が良くない? 老後安心できる程の給与あるならいいけど。日本でエンジニアの平均給与、その働き方に見合う程あります?
2
2
10
@lambda_x_x
λx.x
5 years
やるやんけ
0
2
10
@lambda_x_x
λx.x
4 years
最近自分の中で一番良い言語は python に変わって、理由は誰でも読み書きできるので、DSの人やMLの人、場合によってはエンジニア出身の営業やCSの人とのコミュニケーションにも使えるからです。 日本人が英語をまず外国語として習うのと同じ。 本当みんなと共有できる以上の良さはないよ。
1
1
9
@lambda_x_x
λx.x
5 years
新卒で入った会社は、定時に1分でも遅刻したら給与引かれていた。大企業はどこもそんなもんと思っていたけど、転職した先で別の大企業から転職した人に話聞いたら、そんなことなさげだった。 単に元いたところが異常なまでに厳しいだけだったぽい。
0
3
7
@lambda_x_x
λx.x
6 months
自分は envy や TBH 自体よりもそのファンが好きな気がしてるので、その意味でその2つから影響受けた mizuironoinu が一番楽しみだ。
0
2
9
@lambda_x_x
λx.x
5 years
白石晃士監督の「怖すぎ」シリーズ、幽霊妖怪は暴力に弱く、ワンボックスカーで轢いて金属バットで襲えば良いという有用な知見が得られた。
0
2
9
@lambda_x_x
λx.x
5 years
普通に会社楽しいな。転職してよかった。
2
0
9
@lambda_x_x
λx.x
7 years
数学好きでプログラミングもできて英語もできる宝物が眠ってる。。。 フォロワーの皆さん、ぜひ面接のご検討を。
@N_Y_Big_Apple
N.Y(コミティア150 c08b)
7 years
バイト並みの給料で専門も能力も適性も完全無視した作業を割り当てられたら当然ミスは多発するのでは?(●´ω`●)
1
0
17
2
4
9
@lambda_x_x
λx.x
7 years
件の髪の色騒動で注意しなければならないのは、自毛なのに指導されたことが問題ではないということです。 例えば、若白髪で悩む子が髪の色を染めるのもダメですか?顔に傷がある子が化粧で隠すのもダメですか? また、そういう子たちは"特例で許可"になるのが妥当ですか?
1
2
7
@lambda_x_x
λx.x
3 months
目は光るんですが、髭が生えてないですね。。。
1
1
7
@lambda_x_x
λx.x
3 years
言葉の意味とは何かそして何であるべきか - (λx.xx)(λx.xx)
1
2
9
@lambda_x_x
λx.x
7 years
自分は健常者で、障害者や病気の人はアレって態度や考えの人、大抵あって話すとアレって感じがする。
0
2
6
@lambda_x_x
λx.x
4 years
電子書籍より物理本が良いと言う人いるけど、それはお片付けできる能力がある人の尊大な意見だと思う。 僕は幼少期にノンタン かたづけできるかな?を買ってもらえなかったので、お片付けできない。
1
2
9
@lambda_x_x
λx.x
5 years
夜学バー brat 行きました。 たのしかった。ネーポン最高
Tweet media one
Tweet media two
Tweet media three
0
2
9
@lambda_x_x
λx.x
6 months
自分がかっこいいと思うエモーショナルハードコアのバンドや生き様って、群れないと言う意味では孤独であるけど、それはナード性の肯定とか自認とかではないんだよなぁ。あと、友達がいないと言う意味での孤独とも少し違う。
@threepennie
naoki ando
6 months
あと、emoがnerd連中に突き刺さったというが、自分の観測範囲だと、働きたくない非モテ勉強もスポーツもできない友達がいない頑張りたくない強くなりたくない非エリート非ジョックというタイプはそもそもハードコアに近づいてない。勝手に日本がそう解釈してるだけだと思う。
1
6
104
1
2
9
@lambda_x_x
λx.x
1 year
45分並んだら成果 冷やし煮干しつけ麺醤油 つけ麺は多分昆布水に漬けてて、煮干し汁には玉ねぎとミョウガも入ってた。 宮元って店主の宮元さん迫力凄い感じだけど、料理(特に限定)は驚くほど繊細な調理が多くていつも感動する。
Tweet media one
0
1
9
@lambda_x_x
λx.x
4 years
いやいや、どちらも電話かけるとしか解釈できないだろ。。。 #badui
Tweet media one
0
1
8
@lambda_x_x
λx.x
6 years
人にはその人なりの過去(歴史)や事情があると気付いてから、人に腹立つことがかなり減った。
1
2
9
@lambda_x_x
λx.x
6 years
みんなに満員電車の苦痛を味わせたくない、苦しむのは俺だけでいいので、俺以外全員降りてくれ。
0
2
8
@lambda_x_x
λx.x
6 years
今年最後の圏論ゼミ!分からないなりにでも勉強になる事多くて,来てよかったと実感.皆さんありがとうございます. 他にも,AIや型理論についてお話できたり,帰りの電車で0本締めπ本締めからπ進数は離散的記号では難しいよねといった雑談したり,楽しい^^ 来年もよろしくおねがいします #数学デー
2
5
9
@lambda_x_x
λx.x
6 years
Slack に λx.x で登録したから @λx.x hogehoge とつぶやいても、簡約されると hogehoge なので、一生おれにリプライが届かない。
1
1
8
@lambda_x_x
λx.x
2 years
Tweet media one
1
0
8
@lambda_x_x
λx.x
6 years
小林先生の、この極限計算可能数学の記事、ほんと素敵。 20世紀の数学が直面した計算することの限界—神様のコンピュータは止まらない?— | サイエンス&テクノロジー | 研究・社会連携 | 京都産業大学
1
2
9
@lambda_x_x
λx.x
3 years
ごめんよ天さん。。。
Tweet media one
1
0
8
@lambda_x_x
λx.x
6 years
神保町駅付近で ビッグイシュー 販売していたので購入。 応援というよりも、明日は自分が支えて貰ってるという気持ちで買っている。
Tweet media one
0
1
8
@lambda_x_x
λx.x
4 years
別にソフトウェアエンジニアとして生きるなら、CSも数学もそんないらないけどそれはそれとして、CSも数学も楽しいよね!儲かる技術だけ追い求めても人生つまんないよね。 が今の価値観。
0
1
8
@lambda_x_x
λx.x
5 years
停止性問題とかそうだけど、証明(判定)ができなくても情報(量)をもたらさないわけではないんだよね。 停止性については、計算時間で非停止の確率を近所できるし。 現に、大抵のプログラマーは目の前の停止しないプログラムについて、数秒のループを眺めて、バグ(無限ループの存在)を察知する。
2
0
8
@lambda_x_x
λx.x
5 years
良い情報なので皆さんにシェア: 先日隣の高層ビルから Dive to earth したであろう肉塊(清掃前)を見た同僚が、「人間って意外とピンクの部分が多い」と教えてくれました。
1
0
8
@lambda_x_x
λx.x
7 years
数学はなぜ哲学の(ry 講演会感想: ・人多かった ・本の解説というより、むしろ本にないメタ情報を得られた(から、有意義だった) ・大西先生も述べられていたように、本書は話題が発散している感じあり、そこが難しい印象を与えている…けど、個人的にそういうものの方が、読書に閃きを与えるとも思った
2
2
7
@lambda_x_x
λx.x
5 years
知性は、その人本人のプリミティブな能力で視力等身体能力はそうでもないという、知性偏向な風潮が近代にはある気がします。それも先程挙げた漢字の変換などで��かに覆れてる気はします。 僕は、感情やその人存在それだけに価値を謳う社会が来て欲しいです。 AIにはそういうポジティブ覆し担ってほしい
0
3
8
@lambda_x_x
λx.x
2 years
だめだ、envyライブで見過ぎて、間奏のチューニングと音作りで次の曲がわかるようになってしまった。。。
1
0
8
@lambda_x_x
λx.x
5 years
既に、眼鏡という身体能力の拡張を本人の身体能力の一部とみなしたり、スマホでの漢字変換を本人の能力とみなしたりするのと同様に、意思決定もなんらかのツールで拡張できるものだと思う。もちろ程度はありますが。 最近は、AIを脳の模倣だけではなく、眼鏡同様の補助装置の捉え方もあるようですし。
1
2
8
@lambda_x_x
λx.x
6 years
聞いてたら、宮川さんから鈴木貫太郎さんの名前が! 宮川さんも数学好きなのか。なんか嬉しい。 そういえば、mathpower2018 での数学YouTuberのセッション、超面白かったなぁー。
1
1
8
@lambda_x_x
λx.x
5 years
次は、知的障害のある方が国会議員になると良いなぁ。
1
2
8
@lambda_x_x
λx.x
4 years
よく考えたら俺、できればプログラミングとかしたくなかったんだよなぁ。ゲームプランナーになりたかったけど、プランナーは、プログラマーかグラフィッカー兼任の人が多いからって理由で絵やCG苦手だからプログラミングしだしただけなんだよなぁ。。。 人生ってわからないものですねー。
1
0
7
@lambda_x_x
λx.x
5 years
1日で身体こんな回復の仕方するの謎い(解熱剤は飲んでない) 3.5℃も体温変わるのか……。
Tweet media one
Tweet media two
0
0
8
@lambda_x_x
λx.x
7 years
成績の良し悪しと本当に理解ができているか、学問に誠実か、テスト後も習ったことを活かせるか(あるいは興味を持ち続けるか)は別の能力に感じていて、前の席にいる人は、後者2つくらいに長けてる気がしてる。 そして、その能力こそ、学問において需要にも思う。
@marxindo
PsycheRadio
7 years
いちばん前の席で皆勤で楽しそうに聞いている学生の成績が悪い,というのもよく経験するラジね。
3
73
213
0
3
8
@lambda_x_x
λx.x
9 months
東京ダイナマイトの二郎さんが、爆笑問題はライブではテレビの比にならないくらい面白いって言ってたので、普通に人気のコンビだけど、玄人にはそれ以上の価値があるコンビなんだと思う。
0
0
1
@lambda_x_x
λx.x
5 years
なんだこの映像は...最高すぎる。 商業主義と無関係のフェスで、純粋に楽しさだけで集まってる観客もGEZANも最高すぎる。 GEZAN / BODY ODD 全感覚祭 2019 大阪
1
1
8
@lambda_x_x
λx.x
4 years
副作用のない人生なんてつまんない
0
1
8
@lambda_x_x
λx.x
4 months
メタプラネット来週マジやばそうだね。 投機としてのビットコインではなく、社会基盤として変革としてのビットコイン、ビットコイン事業には期待しております。
1
0
7
@lambda_x_x
λx.x
5 years
スライドを作らなければならない スライドを作らなければならない スライドを作らなければならない スライドを作らなけれスライドを作らなければならスライドを作らなければならないないばならないならないならない
0
0
7
@lambda_x_x
λx.x
7 months
mizuironoinu、これはガチのカオテイックハードコアでは。。。
1
2
7
@lambda_x_x
λx.x
5 years
めっちゃ面白い。このスライドみんな読むといいよ。 > AIの科学への導入は「異質な科学 alien science」を生み出しうる
1
5
5
@lambda_x_x
λx.x
4 years
この歳になると、好きな人も嫌いな人も、それぞれ計り知れないくらいの深い人生を歩んできて、いろんな悲しみを味わってるんだなぁと言うことがわかる。 権力の座にある人以外、簡単に批判できない気持ちになる。
1
1
7
@lambda_x_x
λx.x
2 years
この記事を読まずに共有しようとした自分がいてハッとした。 最後は笑ったw あと、これもなるほどなぁ。 > 親しい友達に共有した場合の方が、知らない他人に共有した場合よりも、その記事の内容を「知って」いると感じる程度が高くなっていたそうです。
@myuuko
Yuuko Morimoto
2 years
Modern Timesの記事が公開されています。読んでいない記事でも共有しただけで内容まで知っている気がしたり,Googleで検索しただけで自分には知識があるような気がしたりする現象について書きました。 読んでいない記事についてすら「知っている」つもりになってしまう人々
0
32
80
1
3
7
@lambda_x_x
λx.x
3 years
あらゆるサービスの検索結果にひろゆき関連のもの出さないでほしい。 彼の意見はそんなに参考にならない。 なんで出てくるんだろう。。。邪魔だなぁ。
0
0
7
@lambda_x_x
λx.x
2 months
愛が強い人、本当にごく僅かだけど世の中にいるよね。 慈悲深いというか。 そういう人は本当に尊いし、そういう人が幸せになってほしいと常に思ってる。
1
1
5
@lambda_x_x
λx.x
1 year
ADHD的な傾向、自分はそんなにないけど、そんな自分でも少し前まで、郵便受けを見たり等やりたくないことをやるときのストレス凄かった。 ランニング始めてからは、多少のストレスありつつも郵便受けの確認や家の掃除等こまめにできてるから、運動がADHD改善するっての本当ありそう。
2
3
6
@lambda_x_x
λx.x
3 months
明日仕事とかゲロ吐きそう
1
0
7
@lambda_x_x
λx.x
5 years
ニューバランス、かっけー 素敵😆💕 #KuToo : Japanese women submit anti-high heels petition | Japan | The Guardian
0
1
6
@lambda_x_x
λx.x
4 years
Tweet media one
1
0
7
@lambda_x_x
λx.x
2 years
出汁を取る習慣ついてから、湯豆腐ばかり食ってる。 真昆布で出汁を取って、春菊と三つ葉と絹豆腐とポン酢で食べる湯豆腐、人智を超えた美味しさがある。
1
0
7