All Posts

Hold/No ActionになっていたAI

ごめんなさい。 一度は採択されてドラフト入りしたものの、その後取り消されたAIをいくつか見落としていました。

Read more ...


Same_Objectの行方

Ada.Containers.Doubly_Linked_Lists.Same_Object がしれっと無かったことになってませんか。 'Has_Same_Storage 属性を使うようになっています。

Read more ...


gcc 10の変更点

  • 2020-05-18(Mon)
  • Tag: gcc

gcc 10がリリースされました。 早速何が変わったのかを見てみましょう。

Read more ...


Ada 2020 (48日目) - 3月11日の電子会議の結果

3月11日に行われた電子会議の議事録が公開されました。 次の会議は6月ではありませんでしたっけ?あれ? それに私どんな風にこれ書いてましたでしょうか、すっかり忘れてますね。

Read more ...


Ada 2020 (47日目) - 1月15日の電子会議の結果

1月15日に行われた電子会議の議事録が公開されました。 結果これまで書いたことに訂正が必要になりましたので47日目です。

Read more ...


ablogでの同日記事の並び順

  • 2020-01-17(Fri)
  • Tag: ablog

このブログでは年と月でディレクトリを作ってURLをYYYY/MM/DDっぽく見せています。 後ろに「_1」を付けたのは同じ日に複数の記事を配置する場合のことを考えてました。 ただ実際に「_2」を試したわけではなかったのでやってみようかと。

Read more ...


Ada 2020 (追記2) - 非互換性

Ada 2020で挙動が変わるコードの考察。 引き続きこのページも妄想でできています。

Read more ...


Ada 2020 (追記1) - 未解決問題

あれはどうなったの?集。 このページは妄想でできています。

Read more ...


Ada 2020 (46日目) - Wording Changes

最後に残りました規格の文面やサンプルコード等のみの修正をリストアップしておきます。

Read more ...


Ada 2020 (45日目) - その他のその他の変更

まとめていきます。 目指せ完結。

Read more ...


Ada 2020 (44日目) - その他の式関連の変更

終わらないその他シリーズ。

Read more ...


Ada 2020 (43日目) - その他のgenericの変更

いくら細部が重要と言っても細部過ぎて既に意味わからない領域ではないかと思います。

Read more ...


Ada 2020 (42日目) - その他のaccessの変更

神は細部に宿るらしいです。 (意味分かんないで使ってる。)

Read more ...


Ada 2020 (41日目) - その他のrecordの変更

あまりにも細かいやつは紹介しなくていいとは思うのですが、実際書き始めると自分でも案外発見があったりしますので一応見ていきます。

Read more ...


Ada 2020 (40日目) - その他のprotectedの変更

ここまで拾えていなかった変更点を駆け足で追いかけています。

Read more ...


Ada 2020 (39日目) - その他の契約関連の変更

ここに書いているのはあくまで現時点での情報です。 確定ではありません。 今後変わる恐れもあります。 実際変わりそうです。 (今更。)

Read more ...


Ada 2020 (38日目) - 実行時チェックのタイミング

実行時チェックが挿入されるタイミングにも細かい修正が入っています。

Read more ...


Ada 2020 (37日目) - 実行時チェックの抑制

本シリーズはAda 2012までの知識と唐突に他言語の雑談が混じっても流せる柳の心を前提としています。 (今更。)

Read more ...


Ada 2020 (36日目) - 一時オブジェクト

対訳表を作っておくべきだった気もしてきました。 そんな厳密なの期待されてないですよね、ね。

Read more ...


Ada 2020 (35日目) - 標準ライブラリ

標準ライブラリの変更を俯瞰します。

Read more ...


Ada 2020 (33日目) - pragma Restrictions/pragma Profile

既に大ネタは出し終わり後はもう細かすぎて伝わらないのではないか感。 AIの数で言えばまだ半分いってないんですぜ……。

Read more ...


Ada 2020 (32日目) - Atomic

終わらない……。

Read more ...


Ada 2020 (31日目) - スケジューリング戦略

わずか一ヶ月とはいえ最初の方を読み返すと自分で文体が笑えますね。 リハビリの成果はあったのでしょうか。

Read more ...


Ada 2020 (30日目) - ‘Object_Size

たまにはGNAT以外のコンパイラからの逆輸入があってもいいと思います。

Read more ...


Ada 2020 (29日目) - No_Controlled_Parts

細かい変更点まで見ていきましたら一向に終わりそうにないです。 怖い。 とりあえず新機能を紹介してしまうのが目標。

Read more ...


Ada 2020 (28日目) - Is_Basic/To_Basic

文字コード話はネガティブにならざるを得ないのでさっさと終わらせましょうね。

Read more ...


Ada 2020 (27日目) - Iterator_View

気分を変えて再びイテレータの話。

Read more ...


Ada 2020 (26日目) - 契約と継承

一番理解も説明も難しいところが来てしまいました……。 怪しい箇所がありましたらご指摘ください。 遠慮なく。 ええもう本当に。

Read more ...


Ada 2020 (24日目) - ‘Index

休憩。 今までで一番短いです。

Read more ...


Ada 2020 (23日目) - Stable_Properties

契約プログラミングの続き。 引き続き理解が怪しい箇所がありましたらご指摘ください。

Read more ...


Ada 2020 (22日目) - Default_Initial_Condition

検証の流れに戻って今回から契約プログラミングです。 引き続き理解が怪しい箇所がありましたらご指摘ください。

Read more ...


Ada 2020 (21日目) - user-defined literal

息継ぎがしたいので寄り道回入れていいですか。 と言いましても割と大きな変更になります。

Read more ...


Ada 2020 (20日目) - Globalその2

続き。 今回理解しきれているか自信がありません。 おかしいところがありましたらご指摘ください。

Read more ...


Ada 2020 (18日目) - pragma Conflict_Check_Policy

引き続きスレッド検証。

Read more ...


Ada 2020 (17日目) - Nonblocking/Yield

後半戦、メインディッシュは検証関係になります。

Read more ...


Ada 2020 (16日目) - static function

12月は31日までありますので折り返しは今日でした。 目玉を持ってくるならここですよね。 (意味不明。)

Read more ...


Ada 2020 (15日目) - ‘Image

折り返し? お、折り返しでしょうか? まだまだ終わりそうにないのです?

Read more ...


Ada 2020 (14日目) - Unify record syntax

タイトルはAda 2012 Issues(以降AI)のまんまです。

Read more ...


Ada 2020 (13日目) - ‘Enum_Rep/’Enum_Val

今回こそは簡単なやつ。

Read more ...


Ada 2020 (12日目) - procedural iterator

今回、構文糖ですので簡単だぜと思ってましたら分量的には今までで最長に……何故だ。

Read more ...


Ada 2020 (11日目) - parallel

ランデブーはAdaの代名詞ではあるのですが、いつの間にかスレッドプールと自動並列化の時代になりまして。

Read more ...


Ada 2020 (10日目) - reduction expression

aggregate式シリーズもそろそろ大詰め。

Read more ...


Ada 2020 (9日目) - declare expression

日が変わる前に間に合ったからセーフ。

Read more ...


Ada 2020 (8日目) - iterator filter

順調に投稿時刻が後にずれていっております。 なお毎日のリハビリですので書き溜めはしないようにしております。

Read more ...


Ada 2020 (7日目) - Ada.Streams.Storage

脈絡のない休憩寄り道回。

Read more ...


Ada 2020 (6日目) - container aggregate

では大物いきますか。 ユーザー定義コンテナのaggregate式です。

Read more ...


Ada 2020 (5日目) - delta aggregate

そろそろ疲れが出てきました。 簡単なので済ませます。

Read more ...


Ada 2020 (4日目) - target name symbol

昨日の使われてなかった記号を使うようになった話の流れで残る @ を先に片付けます。 適切な説明の順番? 脳内で並び替えてください。

Read more ...


Ada 2020 (3日目) - generalized array aggregate

Ada 2020ではaggregate式に大幅な手が入ってます。 その中でも、昨日少し触れましたように今回紹介するこれが一番影響が大きいのでさっさと済ませます。

Read more ...


Ada 2020 (2日目) - parameterized array component association

というわけで、一番お気に入りの新機能から行きます。 説明を考えたら順番はgeneralized array aggregateの後の方がいいのですが、好きな順で。

Read more ...


Ada 2020 (1日目) - Wide_Wide_File_Names

文章を書くリハビリを兼ねてAda 2020の変更点を書いていきます。 まずは簡単なところから。

Read more ...


テスト

  • 2019-11-14(Thu)
  • Tag: ablog

投稿のテスト。

Read more ...


First Post

World, hello again! This very first paragraph of the post will be used as excerpt in archives and feeds. Find out how to control how much is shown in Post Excerpts and Images. Remember that you can refer to posts by file name, e.g. :ref:`first-post` results in First Post. Find out more at Cross-Referencing Blog Pages.

Read more ...