Go を書きながら定理を書く安心開発スタイル【DeNA TechCon 2021】/techcon2021-13

テクノロジーカテゴリーの変更を依頼記事元:

speakerdeck.com/dena_tech

8users がブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

Go を書きながら定理を書く安心開発スタイル【DeNA TechCon 2021】/techcon2021-13

Go では slice の capacity を宣言できますが、この指定に悩む時があります。例えば直感では入力の slic... Go では slice の capacity を宣言できますが、この指定に悩む時があります。例えば直感では入力の slice より短いはず、と思っても本当にそうなのか不安な時があるでしょう。このとき、定理証明支援系 Isabelle を開発で併用していると自分の仮説を証明しながら安心して開発できます…

ブックマークしたユーザー

buell2025/09/14
yaaamaaaguuu2025/07/15
t_ashula2022/12/31
ryskosn2021/03/08
kwhrtsk2021/03/04
bootJP2021/03/04

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx