子の育成に必要な「あそび」の遊具と環境を提供するため、1981年（昭和56年）7月7日に設立した。「ボーネルンド」はデンマーク語の「børne（子ども）」と「lund（森）」に由来する。「あそぶことは生きること」をキャッチフレーズに知育玩具や育児用具などを、輸入、開発、販売する。遊具を各国から輸入し、積み木、木琴などもを開発する。直営店の「フラッグシップショップ」や百貨店テナントの「ボーネルンドショップ」など日本国内の75店舗で、育児情報誌『あそびのもり』を配布するほか、オンラインショップがある。2005年から屋内施設の「ボーネルンドあそびのせかい」や「KID-O-KID（キドキド）」を全国で展開するほか、ボーネルンドが企画した長崎県ハウステンボスの「キンダージム」、世田谷区瀬田の「こどものあそびばピアレッティ」がある。創業当初から、育児施設や病院、公園など屋内外の公共施設全国3万か所に幼児の遊技場を設けた。
井上麻子（いのうえ あさこ、1973年9月15日 - ）は日本のタレント・ラジオDJ。京都府出身で、血液型はAB型。関西地域を中心に活動している。所属事務所は「ともだち関西」だったが、現在はフリーで活動している。
2013年からは球団職員となり地域事業担当として、「ライオンズアカデミー」の業務をはじめ、地域貢献活動に携わるほか、埼玉県を放送対象地域とするテレビ局やラジオ局でレギュラー番組を持つなど、様々な形で活動を行っている。2019年からは埼玉西武ライオンズの二軍打撃兼内野守備・走塁コーチに就任。2017年に死去した森慎二投手コーチの遺族の了承を得て、背番号89をつけることとなった。登録名は本名の「平尾博司」。
埼玉県立大宮東高等学校時代は通算68本塁打を放った。1993年春の第65回選抜高等学校野球大会ではトップバッターに起用され、初戦で先頭打者本塁打を放ちチームに勢いをつけ、またセンス溢れる走塁でチームの準優勝に貢献した。同年のドラフトで阪神タイガースから2位指名を受け、入団。超高校級の大型内野手との前評判を引っさげ、入団時に背番号2を与えられるなど、そのパンチ力や軽快な動きは非常に期待されていた。
論理の推論体系（あるいは演繹体系）とは、推論規則と論理公理の集合であり、論理式の並びが妥当な証明となっていることの根拠となる。二階述語論理には、いくつかの推論体系があるが、standard semantics に対して完全と言えるものは存在しない。どの体系も健全であり、証明に使える全ての文は適当な意味論において論理的に妥当である。最も弱い推論体系は、一階述語論理の標準の推論体系（例えば自然演繹）に二階の項の置換規則を加えたものである。この推論体系は二階算術の研究で主に使われている。Shapiro (1991) と ヘンキン(1950) が検討した推論体系は、内包公理と選択公理を追加したものである。これら公理は二階述語論理の standard semantics に対して健全である。Henkin semantics の場合は、それら後置を満足するよう考慮した Henkin モデルであるときだけ健全と言える。
二階述語論理の意味論は、個々の文の意味を確立するものである。一階述語論理では単一の標準の意味論しかなかったが、二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。どちらの意味論でも、一階述語論理の範囲内の意味論（一階の量化、論理和や論理積など）は一階述語論理と同じである。異なるのは、二階の変項への量化の解釈である。standard semantics では、その種の集合や関数すべてに対しての量化と捉える。従って、一階の変項のドメインが明確化されれば、全ての量化の意味が固定される。これにより、二階述語論理の表現能力がもたらされる。Henkin semantics では、二階の変項にはそれぞれの種ごとにドメインがあり、その種の集合や関数全体の真部分集合の場合がある。 ヘンキン(1950) がこの意味論を定義し、一階述語論理で成り立つゲーデルの完全性定理とコンパクト性定理が、Henkin semantics と組み合わせた二階述語論理でも成り立つことを証明した。これは Henkin semantics が多種の一階述語論理とほぼ等価であるためである。Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。Henkin semantics は主に二階算術の研究で使われている。
長野県諏訪清陵高校卒業後、防衛大学校（第23期）に入学。1979年（昭和54年）3月、海上自衛隊に入隊。入隊後は主に艦艇や海上幕僚監部で勤務したのち、統合幕僚監部指揮通信システム部長、海上幕僚監部防衛部長、大湊地方総監、横須賀地方総監等の要職を歴任、2014年（平成26年）10月7日の閣議において、10月14日付をもって第32代海上幕僚長に任命する旨の人事が了承・発令された。在任中に海自艦による米艦防護などを可能とする安全保障関連法が施行されたほか、海洋進出の動きを強める中国を念頭に、フィリピンへの海自航空機の貸与も推進するなど安全保障体制の環境整備に尽力した。2016年（平成28年）11月15日、現役自衛官として初めてレジオンドヌール勲章オフィシエを受章。同年12月16日、次期多用途ヘリの機種選定を巡る不適切な発言により訓戒処分を受け、12月22日付で退職。2017年（平成29年）4月17日、海自出身者として初めて米海軍大学校の教授に就任。3年間の任期中、海幕長として取り組んだ安全保障面での多国間協力などをテーマに講義を行う予定。米海軍制服組トップのジョン・リチャードソン海軍作戦部長の特別フェローにも就任し、日米安全保障体制などについても助言する。