Yoshihiro Imai
@yoshihiro503株式会社 @proof_ninja の代表取締役です。 CoqやOCaml, Scalaなどのお仕事ください。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/トップSE/名古屋大 ワクワク数学トークという放送をしています: https://t.co/hQwcLqVEcS…
Similar User
@kmizu
@blackenedgold
@keigoi
@nobsun
@xuwei_k
@t6s
@dico_leque
@camloeba
@masahiro_sakai
@bleis
@ksknac
@hatsugai
@gab_km
@athos0220
@ruicc
OCamlでEthereumのスマートコントラクトを開発できるようにする ocaml2evm という処理系を作っています。 qiita.com/mrkbc/items/64… github.com/dmm-web3/ocaml… #ocaml #Ethereum #smartcontract #ocaml2evm
ワクワク数学トークという放送をpodcastやyoutube, ニコニコ動画などで配信しています。 podcasters.spotify.com/pod/show/wakuw… nicovideo.jp/user/125062005… youtube.com/@math-talk #数学 #ワクワク数学トーク
coqtokyo 第45回MathComp Book勉強会 に参加を申し込みました！ readcoqart.connpass.com/event/337165/?…
福岡市地下鉄様との実証プロジェクトに関するお知らせです。 昨日から #エスカレーター見守り君 による注意喚起を開始しました。踏段上移動や片側偏重を検知すると音声で注意します。名古屋では上りのみでしたが、下りにも対応しました。博多駅中央改札口付近で体験できます。 kurusugawa.jp/fukuoka-city-s…
TeXで絵文字も書けるらしい…。
From #CTAN: Takayuki Yato submitted the bxcoloremoji package. Version: 1.0 2024-11-11 License: mit Summary description: Use color emojis more conveniently ctan.org/pkg/bxcoloremo… #TeXLaTeX
「定理 自動運転車は安全である」
数学通信（日本数学会発行）の最新号に「数学基礎論の産業応用」という記事を書きました． mathsoc.jp/assets/file/pu… 割と長いのですが，中身（の心意気の部分）や，産学連携のコツ（値付けなど），かなり踏み込んだつもりです．ぜひごらんください．
数学通信（日本数学会発行）の最新号に「数学基礎論の産業応用」という記事を書きました． mathsoc.jp/assets/file/pu… 割と長いのですが，中身（の心意気の部分）や，産学連携のコツ（値付けなど），かなり踏み込んだつもりです．ぜひごらんください．
Coq Tokyo ベマ アルキゅフ アモフジ シ セミニキょフレミ オ ゼンチょフアミ ムタッセウモ！ 翻訳をみる → proof-ninja.github.io/albhed?lang=al… #アルベド語
今年のTPP2024のプログラムが発表されましたね！ math.nagoya-u.ac.jp/~garrigue/tpp2… #tpp2024 #TPP
OCamlで日本語を一文字ずつ扱う方法です。 qiita.com/yoshihiro503/i… #Qiita #OCaml #jsoo #日本語 #UTF8 トーチャレウ ベ クぁミハウクぁンサギー オ ワウゼゴゾ ロンタルチ ムギッホフキヤキサ 翻訳をみる → proof-ninja.github.io/albhed?lang=al… #アルベド語
記事を投稿しました！ OCamlで日本語を一文字ずつ扱う on #Qiita qiita.com/yoshihiro503/i…
Javaプログラマで趣味で原子力発電をやろうとしている人、Javaは原子力の制御に使っちゃいけないので注意してくださいね（そんなやつおらんやろ
OCamlでファイナルファンタジーの人工言語アルベド語翻訳器を実装しました。 #ocaml #jsoo 翻訳をみる → proof-ninja.github.io/albhed?lang=al… #アルベド語
東京の航空レーザー点群データが、ついにオープンデータとして公開されました👏 23区全域という規模感もさることながら、街路樹や横断歩道の縞模様の1本まで忠実に位置が再現されていて凄いです❗️…
東京都が23区の点群データを公開。 グリッドデータDEM（0.25m）をダウンロードなう。 GeoTIFFはありがたい、さすが東京都。 CS立体図を作成しようかしら👀 geospatial.jp/ckan/dataset/t… #東京都 #点群データ #CS立体図
coqtokyo 第44回MathComp Book勉強会 に参加を申し込みました！ readcoqart.connpass.com/event/335748/?…
coqtokyo 第43回MathComp Book勉強会 に参加を申し込みました！ readcoqart.connpass.com/event/334346/?…
Coqで書いたアルゴリズムをExtractionしてOCamlで使う小さいduneサンプルプロジェクトです。 自分のプログラムを形式証明したいときなどお使いください。 gitlab.com/proof_ninja/co… #Coq #OCaml #Extraction #dune
明日友達が泊まりに来るから家の掃除をしてたんだけど、冷凍庫から3ヶ月前に入れた実践プロパティベーステストが出土した
coqdocではforallが∀になるなどいくつかのキーワードが自動でUnicode文字に表示されるけど，具体的にはCoqのこのコードで処理しているっぽい github.com/coq/coq/blob/2… #Coq #coqdoc
United States Trends
- 1. Mika 43,4 B posts
- 2. $CUTO 12,3 B posts
- 3. #IDontWantToOverreactBUT N/A
- 4. DeVito 11,9 B posts
- 5. Morning Joe 25,4 B posts
- 6. Drew Lock 1.765 posts
- 7. Tommy Cutlets N/A
- 8. #MondayMotivation 16,6 B posts
- 9. Good Monday 50,4 B posts
- 10. Victory Monday 2.415 posts
- 11. Ratings 23,2 B posts
- 12. TABLO 11,4 B posts
- 13. Spirit Airlines 3.992 posts
- 14. DeFi 131 B posts
- 15. Joe Scarborough 22,1 B posts
- 16. #MondayVibes 2.914 posts
- 17. #18Nov 3.328 posts
- 18. Mitch 7.214 posts
- 19. WWIII 224 B posts
- 20. Margaret Thatcher 6.403 posts
Who to follow
-
kmizu
@kmizu -
κeen
@blackenedgold -
Keigo Imai
@keigoi -
Nobuo Yamashita
@nobsun -
Kenji Yoshida
@xuwei_k -
Takafumi Saikawa
@t6s -
でこれき
@dico_leque -
Jun Furuse 🐫🌴
@camloeba -
Masahiro Sakai
@masahiro_sakai -
ぶれいす
@bleis -
Κeіsuke Νakanο
@ksknac -
hatsugai ∈ PRINCIPIA
@hatsugai -
安心沢ガブ美
@gab_km -
athos))))))))
@athos0220 -
ruichi
@ruicc
Something went wrong.
Something went wrong.