日本語構造化仕様記述言語 Re:Mind（リマインド） Advent Calendar 2023

2 participant

10 subscriber

61 likes

Category：Programming language

Creator：

@mylifewithviolin

今年初めてカレンダーを作成します

主なテーマは、要求仕様など仕様を書くときに、自然言語の構造化されていない日本語で書くことが多いと思いますが、数学的形式言語を使わないとしたらその代替として構造化された日本語プログラミング言語の利用を考えていこうかな　という感じです。

このテーマへのご意見・感想・反証であれば、Re:Mind（リマインド）に直接関係ある必要はございません。

Re:Mind（リマインド）とは

2023年にQiita上で仕様が公開された日本語プログラミング言語ファミリーです。

カテゴリ	用途	現状	備考
日本語構造化仕様記述言語	要求仕様記述	企画中
日本語ロジック仕様記述言語	内部設計記述	設計中	オープン
日本語トランスコンパイラ言語	実装・開発	試作中	オープン

テーマの補足

システムの開発現場
実装言語のソースコードとしてコメント以外で日本語を導入することに抵抗がある
システムの設計現場
自然言語の日本語であいまいな表記が多用されており、数学的形式言語は上流工程の予算が潤沢または使用が必須に近い案件に限られている
英語由来の数学的形式言語では日本語識別子を多用して、構造化日本語仕様書としている場合がある
　　　　　
ドメスティックなシステム開発案件の共通言語として構造化されている日本語すなわち日本語プログラミング言語が導入できないか　　検討

カレンダーへの参加方法はこちらです

日本語プログラミング言語ユーザーの方や、そうでない方、日本語プログラミング言語が嫌いな方も大歓迎です。ご意見ご参加をお待ちしております。

How to join the calendar

You can join the calendar by selecting an available date and registering the URL of the article you wish to link to. If a slot is available, you can go back to a past date to join!

Series 1

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
26	27	28	29	30	@mylifewithviolin 美しい数学はお好きですか？数学的形式言語の事前条件・事後条件を構造化形式言語で書き換えてみる Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（ブロック文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin 形式記述言語VDM++の制御構文（if文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（コメント文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（for文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（例外処理）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（while文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin あなたの書いた日本語の設計書はコンパイルできますか？ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@Syuparn 日本語プログラミング言語をトランスパイルする際迷うことを考えてみる Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入する Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの対応方法） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの補足） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（上流工程の対象業務イメージ） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（cases文）をJava C# Re:Mindの（switch文）と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（ユビキタス言語） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化される日本語プログラミング言語とは Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin システム開発上中流工程でユビキタス言語化される日本語プログラミング言語の工程別ソースコードの違い Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入のメリット・デメリット Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（代入文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（return文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語の対比 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（call文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語のソースコード対比 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@Syuparn 日本語プログラミング言語の開発者体験を上げるために考えたこと【Re:Mind / VSCode Extensions】 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin Re:Mindのアドベントカレンダー2023最終日 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	26	27	28	29	30

@mylifewithviolin
美しい数学はお好きですか？数学的形式言語の事前条件・事後条件を構造化形式言語で書き換えてみる
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（ブロック文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（if文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（コメント文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（for文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（例外処理）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（while文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
あなたの書いた日本語の設計書はコンパイルできますか？
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@Syuparn
日本語プログラミング言語をトランスパイルする際迷うことを考えてみる
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入する
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの対応方法）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの補足）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（上流工程の対象業務イメージ）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（cases文）をJava C# Re:Mindの（switch文）と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（ユビキタス言語）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化される日本語プログラミング言語とは
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化される日本語プログラミング言語の工程別ソースコードの違い
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入のメリット・デメリット
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（代入文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（return文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語の対比
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（call文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語のソースコード対比
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@Syuparn
日本語プログラミング言語の開発者体験を上げるために考えたこと【Re:Mind / VSCode Extensions】
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
Re:Mindのアドベントカレンダー2023最終日
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
26	27	28	29	30	@mylifewithviolin 美しい数学はお好きですか？数学的形式言語の事前条件・事後条件を構造化形式言語で書き換えてみる Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（ブロック文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin 形式記述言語VDM++の制御構文（if文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（コメント文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（for文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（例外処理）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（while文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin あなたの書いた日本語の設計書はコンパイルできますか？ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@Syuparn 日本語プログラミング言語をトランスパイルする際迷うことを考えてみる Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入する Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの対応方法） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの補足） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（上流工程の対象業務イメージ） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（cases文）をJava C# Re:Mindの（switch文）と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（ユビキタス言語） Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化される日本語プログラミング言語とは Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin システム開発上中流工程でユビキタス言語化される日本語プログラミング言語の工程別ソースコードの違い Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入のメリット・デメリット Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（代入文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（return文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語の対比 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin 形式記述言語VDM++の制御構文（call文）をJava C# Re:Mind(自作言語)と比較 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語のソースコード対比 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@Syuparn 日本語プログラミング言語の開発者体験を上げるために考えたこと【Re:Mind / VSCode Extensions】 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@mylifewithviolin Re:Mindのアドベントカレンダー2023最終日 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	26	27	28	29	30

@mylifewithviolin
美しい数学はお好きですか？数学的形式言語の事前条件・事後条件を構造化形式言語で書き換えてみる
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（ブロック文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（if文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（コメント文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（for文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（例外処理）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（while文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
あなたの書いた日本語の設計書はコンパイルできますか？
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@Syuparn
日本語プログラミング言語をトランスパイルする際迷うことを考えてみる
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入する
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの対応方法）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（レイヤードアーキテクチャの補足）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（上流工程の対象業務イメージ）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（cases文）をJava C# Re:Mindの（switch文）と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入（ユビキタス言語）
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化される日本語プログラミング言語とは
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化される日本語プログラミング言語の工程別ソースコードの違い
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
日本語プログラミング言語をモデリング言語としてシステム開発上中流工程に導入のメリット・デメリット
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（代入文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（return文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語の対比
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
形式記述言語VDM++の制御構文（call文）をJava C# Re:Mind(自作言語)と比較
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語のソースコード対比
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@Syuparn
日本語プログラミング言語の開発者体験を上げるために考えたこと【Re:Mind / VSCode Extensions】
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@mylifewithviolin
Re:Mindのアドベントカレンダー2023最終日
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use

You can increase the number of series when Calendar 1 is filled with more than 10 articles.