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

こんにちは！ サイボウズ2020内定者のヒラコバです！

いきなりですが、サイボウズの製品はBtoO製品だと僕は考えています。

注）BtoOはBusiness to Organizationの略です。造語です。

そのため、多くの学生はサイボウズ製品を使ったことがない上に、詳しくも知らないと思います。

僕がどういう風にサイボウズ製品(特にkintone)を調べたかを記します。

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

VDM++は形式仕様記述言語と呼ばれる言語で、仕様を記述するための言語です。

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

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

VDM++は形式仕様記述言語と呼ばれる言語で、仕様を記述するための言語です。

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

Overture Toolのサイトで公開されている、VDM-10 Language Manualを参考にしています。

また、本記事は、自分が以前書いたVDM++における型定義という記事をリファインした記事です。

今年も1年生に自分語りしてきました

去年の1月に、1年生向けにこれからのキャリア形成についてプレゼンしましたので、

今年も自分語りしてきました。

LaTeXでwarningを出してくれるTODOコマンドを2行で作った

卒論、修論シーズンですね。 僕も現在修論をゴリゴリ書いています。

後で記述したいことや、後で直したいことをTODOみたいにとりあえず書いておきたいことってありませんか？

コメントを使うことでTODOを入れることは可能ですが、もしかしたら書いたまま忘れてしまうかもしれません。

今回は、warningを出力してくれるTODOコマンドを作りました。

LaTeXでWarningをignoreする

LaTeXを使って修論を書いていたところ、謎のwarningがでました。

LaTeX Font Warning: Some font shapes were not available, defaults substituted.

LaTeX Font Warning: Font shape `JT2/mc/b/n' undefined
(Font)              using `JT2/mc/m/n' instead on input line 130.

LaTeX Font Warning: Font shape `JY2/mc/b/n' undefined
(Font)              using `JY2/mc/m/n' instead on input line 130.

〜〜似たようなwarningが続く〜〜

放置してても問題は無いようですが、嫌になったので、warningを見えなくしました*1。

*1:warningそのものを取り除くべきだと考えたのですが、何十行か追加しなければならなかったので止めました。

GitHub ActionsでGitHub Package RegistryにJavaパッケージを公開する

GitHub Actions Advent Calendar 2019 18日目の記事です。

Javaのパッケージ(jar)はMaven Centralにアップするのが主流でした。しかし、GitHub Package Registryがリリースされて、Javaパッケージの公開のハードルが下がったような気がします。

今回は、GitHubにtagをpushすることで、GitHub ActionsでGitHub Package RegistryにJavaパッケージを自動で公開する方法を記します。