larch

Japanese: larch
larch

...It has local names such as Fujimatsu (illustration). It is a large deciduous tree of the pine family that grows in sunny areas in the highlands of Japan, and is beautiful both in its new green and yellow leaves. It is said that gardeners began calling it Karamatsu in the late Edo period because the shape of the new leaves resembles the pines in Chinese paintings. It reaches a height of 30m, and the bark on the trunk is peeled off in dark brown scales. It has a conical shape, and several thick branches grow in whorls. There are long branches and short branches 3-4mm long, and the long branches have spiral-shaped, linear needles 1-3cm long, while the short branches have bundles. Flowers bloom at the tops of 2-4 year old short branches at the same time as the new leaves appear in early spring. ...

From [Programming Languages]

...This is called the implementation of an abstract data type. Some languages ​​(such as Larch, OBJ, and IOTA) attempt to formally describe the behavior of abstract data type values ​​based on the idea of ​​algebraic specification description and to use this information for verification. However, most languages ​​only handle method signature information as type specifications. ...

*Some of the terminology explanations that mention "larch" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

Japanese:

…フジマツなどの地方名がある(イラスト)。日本の高地の日当りの良い土地に生えるマツ科の落葉大高木で,新緑,黄葉ともに美しい。新葉の形が唐絵のマツに似るので江戸末期に植木屋が唐松と呼び始めたという。高さ30mに達し,幹の樹皮は暗褐色のうろこ状にはげる。円錐形の樹形をなし,太枝は輪生状に数本ずつ出る。長枝と長さ3~4mmの短枝があり,長枝にはらせん状,短枝には束生状に長さ1~3cmの線形針葉をつける。早春新葉と同時に2~4年生の短枝頂に花を開く。…

【プログラミング言語】より

…これを抽象データ型の実装と呼ぶ。 言語によっては代数的仕様記述などの考えに基づき,抽象データ型の値の振舞いを形式的に記述し検証などに役立てることを試みているものもある(Larch,OBJ,IOTAなど)。しかし多くの言語では型の仕様として単にメソッドのシグニチャー情報のみを扱う。…

※「larch」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社世界大百科事典 第2版について | 情報

<<:  laras sléndro (English spelling) larasslendro

>>:  Lardizabalaceae

Recommend

upland rice

…It is said that straw is more palatable to lives...

Emperor Wenxuan (English: Emperor Wenxuan)

529‐559 The first emperor of the Chinese dynasty o...

Interstitial animals - Interstitial animals

…Sandy beaches are home to large in-fauna such as...

Ability test - nouryokukentei

Quantifying various livestock characteristics to d...

Exercise performance test - Exercise performance test

...Because they are large-scale and expensive tan...

Okuno Taido

…The main official road in ancient Mutsu Province...

Rheum moorcroftiana (English spelling) Rheummoorcroftiana

… [Hiroshi Wakamatsu]. … *Some of the terminology...

Sandawara - Sandawara

A straw lid is a round lid about 30cm in diameter...

Boca (English spelling)

A district in the eastern part of Buenos Aires, th...

Kanasugi Town

… Town houses also developed on both sides of Shi...

Morus argutidens (English spelling) Morus argutidens

… [Okamoto Motoji]. … *Some of the terminology th...

Cummins, H. (English spelling) CumminsH

...Palm prints are taken by gently applying press...

Yam (English name)

A general term for edible species of the genus Di...

Domestic Products Association

Also called the Domestic Products Bureau, Product...

Seat reservation system - Reservation system

It is a computer-based system for reserving seats...