cangoxina

生産性向上見習いのブログ的な何かです

2020-02-01から1ヶ月間の記事一覧

サイボウズの製品ってそもそもどんなもの? 〜エンジニア職の学び方例〜

多くの学生はサイボウズ製品を使ったことがない上に、詳しくも知らないと思います。僕がどういう風にサイボウズ製品を調べたかを記します。

VDM++における合成型(Compound Types) | 集合(Set)と配列(Sequence)

本記事はVDM++の型の組み合わせによってできる型、合成型(Compound Types)の中でも、集合(Set)と配列(Sequence)の簡単なまとめです。

VDM++における基本データ型(Basic Data Types)

VDM++の型の中でも基本となる、基本データ型(Basic Data Types)の簡単なまとめ


スポンサーリンク