Trello の内容を kintone アプリに同期するシステムを作ったよ

こんにちは。生産性向上チームの平木場です。

kintone はすばらしいサービスでさまざまな業務効率の改善を助けてくれます。例えば、プロセス管理等の機能を利用することで、タスク管理アプリを作ることが可能です。しかし、タスク管理ツールとしてはカンバン方式でタスク管理ができるサービスである Trello を使う方が便利な場合が多いと思います。

なので僕が所属するチームでは、kintone を使いつつ、タスク管理には Trello を使っています。しかし、kintone の情報は kintone に、Trello の情報は Trello に閉じ込められてしまうので、「情報がバラバラになってしまう」「情報が他チームから見えなくなってしまう*1」という問題も起こってしまっていました。

今回は、上記のような問題を解決するために Trello の内容を kintone アプリに同期するシステム Trekin を作った話をします。

この記事はkintone 2 Advent Calendar 2020 の 11 日目の記事です 🎅🎂

*1:チームで使っているTrelloボードを閲覧する権限がないため

モブプロで役立つ？？git rebaseでsquashする時にそれまでの著者をCo-authored-byに自動で追加するgit hookを作りました🎉

こんにちは。生産性向上チームで日々生産性を上げている平木場です*1。

いきなりですが、みなさんモブプロしてますか？

モブプロをしていると複数人が作ったcommitをsquashでまとめる時があるのではないでしょうか？しかし、squashをすると、それまでcommitした人の貢献がなかったことになってしまいます。

そこでgit rebaseでsquashする時に、それまでの著者をCo-authored-by*2に自動で追加するgit hookを作りました。

auto-insert-co-author-githookが動作している様子

*1:社内ではきばちゃんと呼ばれてます

*2:commitメッセージに追記することで共著者として登録できる。 https://docs.github.com/en/github/committing-changes-to-your-project/creating-a-commit-with-multiple-authors#creating-co-authored-commits-on-the-command-line

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

こんにちは！ サイボウズ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コマンドを作りました。