はすじょい (hsjoihs)

311.5K posts

はすじょい (hsjoihs)

@hsjoihs

セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部（数学・物理学）・修士（応用・工学物理学）卒業；NandGame和訳；ZEN大学教員「オートマトンと形式言語理論」「論理回路概論」@sosoBOTpi と同一

@sosoBOTpi と同一 Katılım Ağustos 2015

8.3K Takip Edilen10.7K Takipçiler

Sabitlenmiş Tweet

はすじょい (hsjoihs)@hsjoihs·4 Eyl

本日発売！　私がレビューした本が本日発売されます！プログラミングと証明に興味がある人にかなりおすすめの一冊です今回登場するトピックは「整数の足し算・引き算・掛け算・不等号」なので、「数学とか証明に興味はあるけど、あんまり自信ないなぁ」という人も、気兼ねなくお買い求めください

lambdanote@lambdanote

お知らせを公開しました "新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を9/4に予定しています lambdanote.com/blogs/news/lean

日本語

269

69.3K

はすじょい (hsjoihs) retweetledi

猫山課長@nekoyamamanager·12h

父は以前から糖尿病だったんですけど、昨年末に骨折して手術したんですね。そこで糖尿病の恐ろしさを知りました。傷が、塞がらないんです。手術跡の皮膚がいつまでも形成されなくて、すぐに膿んだりしていた。術後3ヵ月経とうとしていたのに。また、骨折の治りも悪い。医者からは「3ヵ月してくっつかなかったら、もうくっつかないでしょうね」と言われる始末。僕ね、もう目を見開いて話聞いてましたよ。糖尿病ってそんなことになるんかと。皆さん、気をつけましょう。

Yahoo!ニュース@YahooNewsTopics

【コージー冨田糖尿病放置した後悔】 news.yahoo.co.jp/pickup/6576272

日本語

272

4.9K

17.9K

3.4M

はすじょい (hsjoihs) retweetledi

wakatono, Ph.D.(JK)@wakatono·9h

その昔、万策尽きた時に使うedというエディタがございましてですね… viやemacsみたいなフルスクリーンエディタと違って、デフォのエコーバックの分量が大変少なかったので、（kbpsでもMbpsでもない）数bpsの帯域しかないNW環境でも、きちんと編集ができました。

S𝓱𝓲𝓰𝓮𝓻𝓾 F𝓾𝓳𝓲𝓽𝓪@shigerufujita

VimとEmacsの区別をつけない利用者？いるかもしれないおじさんが使っているエディタという枠組み orz

日本語

184

21.9K

はすじょい (hsjoihs) retweetledi

Tim the Shitposting Linguist@LinguisticsShi1·9h

The fact that the IPA has separate symbols like <ɧ> and <ɫ> but not for [tˤ] is a total European Cultural Victory

J Pystynen ✽🫐 🗒☕⌘🚯🧦ᴤ@JLingPystynen

in that likely familiar languages like Swedish, English, German, Russian, French tend to have lots of heavy (C)CVC(C) words; while Finnish tends to have plenty of words with many-but-light syllables, CVCV or CVCVCV; kala 'fish', kivi 'stone', vesi 'water', tuli 'fire'.

English

100

6.1K

はすじょい (hsjoihs) retweetledi

림오정@wonhwa_koKP·7h

たぶん、日本人が韓㐎専用文読むときの（国漢文混用に比べた）しんどさと、韓国人が国漢文混用読むときの（韓㐎専用文に比べた）しんどさが同じくらいだと思う。

日本語

493

はすじょい (hsjoihs) retweetledi

猫頭@nekogashira·20h

運賃据え置き動機もヲタの戯言だと思ってたのですが、こんなもん作って、まぢで値上げしたJRのシェアを食いに行こうとしてます？？？ tokyometro.jp/info/files/202… 株式会社ですなあ…。

日本語

224

797

100.5K

はすじょい (hsjoihs) retweetledi

Maxしぐれん@Sigureya·13h

中央線および京王線複々線化の話でもする？混雑は開所できるけど民間企業が利益享受者となるから現行法では枠組みが無い話。あるいは予算投下したのに、違うことに使われた京葉線と千葉県の話でもする？

日本語

155

14.3K

はすじょい (hsjoihs) retweetledi

頻子@_hnkhnk·1d

ロッキー宇宙飛行士の記録：ぼくは次にくるエリディアンのために記す。ぼくは星の記録をできる限り集めた。仲間の死の手がかりも残す。この記録を見つけたエリディアンは、ぼくらの意志を受け継いで、どうかエリドを救ってほしい。続・ロッキー宇宙飛行士の記録：解決。これから帰る。

日本語

275

2.1K

59.7K

はすじょい (hsjoihs) retweetledi

Meme-Meme@Meme_Meme_·10h

「詞典」は当然日本語読みすれば「してん」となるが、日本語インプットメソッドで入力する読みとしては候補が多くなって具合が悪いので、ATOK for iOSではいつの間にか「ことばてん」から変換した学習候補が定着しつつある。

日本語

473

はすじょい (hsjoihs)@hsjoihs·10h

「なんで kào じゃなくて bào 書いてるんだろう」と思ったけど、読みが kào の字って他にほぼないからㄎㄠˋ じゃなくてㄅㄠˋ を書いたってことか

さや | VTuber🇯🇵🫶🏻🇹🇼台湾出身帰化者@SayaVTuberJP

台湾人は小学校で注音符号と対応する漢字を学ぶけど、これがなかなか大変なんだよね😂 どうやって乗り越えたんだろう。たくさん書いて覚えたのかな😂 今回の写真の正解は「靠攏」でしたよ☺️ 「靠攏」の意味は近づく・接近する・寄る〜

日本語

797

はすじょい (hsjoihs) retweetledi

さや | VTuber🇯🇵🫶🏻🇹🇼台湾出身帰化者@SayaVTuberJP·11h

日本語

5.3K

はすじょい (hsjoihs) retweetledi

大澤裕一@HirokazuOHSAWA·12h

手を動かして学ぶeml ※以下の論文の最終ページに書き込んでいます。 arxiv.org/abs/2603.21852 これ、面白いですね。手を動かしたくなった方はリプをご覧ください！

日本語

104

669

52.4K

はすじょい (hsjoihs) retweetledi

J Pystynen ✽🫐 🗒☕⌘🚯🧦ᴤ@JLingPystynen·10h

But, while words that look even roughly something like _kala_ or _ika_ or _sakana_ are rare in large European languages… they're still easy to find in most languages of the world! It's the Standard Average European bunch that does something unusual here, not Finnish (or M or J).

English

1.5K

はすじょい (hsjoihs) retweetledi

J Pystynen ✽🫐 🗒☕⌘🚯🧦ᴤ@JLingPystynen·10h

English

はすじょい (hsjoihs) retweetledi

J Pystynen ✽🫐 🗒☕⌘🚯🧦ᴤ@JLingPystynen·10h

This exchange reminds me of a phenomenon: Finnish people will often remark that some fairly different language, e.g. Māori or say Japanese, has "a lot of words that sound like Finnish". This is obviously not true in the big picture, but could be true by European standards:

J Pystynen ✽🫐 🗒☕⌘🚯🧦ᴤ@JLingPystynen

@lumiferrous @ChrisExpTheNews "häkä, not haka; though that's also a word in Finnish actually which means 1. 'latch', 2. 'pasture'"

English

117

10.1K

はすじょい (hsjoihs) retweetledi

neo@neo_ssbu_pad·23h

この方法だと、例えば通学時間や休憩時間などのスキマ時間にスマホで書いて、完成したのをwordに張り付けて提出してる人が不当な損害を受けるので、適切な判定方法ではないね

IROIROKANGAETEMIRU@PageMakerAI

@tomatoha831 私はWordでの提出を義務付けてるんですが、Wordって書類の総編集時間を表示してくれるので、２分とかの人はほぼAIと見当をつけられて便利。

日本語

1.4K

37.4K

4.6M

はすじょい (hsjoihs) retweetledi

あねてあ™ @ yr32.net@yanorei32·11h

【AI時代のレポート作成に！】あなたが4時間30分もかけて完成させたレポート😞 まるで、AIで「たった1分で」書いた様に見せかけられるツールを⚒️開発⚒️しました✨️ OSSです！レポジトリはリプに！

IROIROKANGAETEMIRU@PageMakerAI

日本語

354

45.2K

はすじょい (hsjoihs) retweetledi

金色の粉@paburonsukisuki·17h

@MAMAAAAU エスカレーターですね多分

日本語

2.6K

はすじょい (hsjoihs) retweetledi

まくるめ@MAMAAAAU·17h

たとえば駅の公式はエレベーターを両側使うようにアナウンスしてたりするけど、ほとんどの日本人が暗黙の「片側開けルール」に従っており、あれを合理的だと自画自賛している。似たようなローカルルールの優越が社会全体にある

日本語

286

24.8K

はすじょい (hsjoihs) retweetledi

Sagir Ahmed สกิรอาห์เมด@SagirAhmed98·21h

Assamese word of the day — পাঁজি [pä̃'zi] "calendar" Etymology: From OIA পঞ্জী (pañjī) "cotton ball, calendar, almanac", borrowed from Dravidian (cf. Tamil பஞ்சி (pañci, "cotton"), Malayalam പഞ്ഞി (paññi)). Usage: Not common, being replaced by কেলেণ্ডাৰ [kɛˈlɛndäɹ].

Eesti

2.7K

はすじょい (hsjoihs) retweetledi

そら@Sora_CLily·12h

国立国会図書館とか行って調べ物するだけで、インターネッツより興味深いものに当たるしな。なんならOCRのおかげで、気が付かなかった文献に当たることもある。

日本語

621

Keşfet

@MAMAAAAU @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA @nikifrancismediavine