PPL 2015開催報告 von 浜名, 誠, 馬谷, 誠二

Volltext

高階書換え系の停止性のための代数モデル von 浜名, 誠

Volltext

Σモノイド―メタ変数と明示的環境を持つ高階構文 von 浜名, 誠

Volltext

補関数の生成による複製機能付きプログラムの自動双方向化 von 松田, 一孝, 胡, 振江, 中野, 圭介, 浜名, 誠, 武市, 正人

Volltext

CRSとその代数構造: 操作的意味論の統一的な解析へ向けて von 浜名, 誠

Volltext

項書換え系としての論理プログラム von 鈴木, 大郎, 浜名, 誠

Volltext

Algebraic Models for Termination of Higher-Order Rewriting Systems von HAMANA, Makoto

Volltext

Σモノイド─メタ変数と明示的環境を持つ高階構文 von 浜名, 誠

Volltext

Σ-Monoids: A Higher-Order Syntax with Metavariables and Environments von HAMANA, Makoto

Volltext

束縛構造のための型理論と高階項書換え系 von 浜名, 誠

Volltext

Bidirectionalizing Programs with Duplication through Complementary Function Derivation von MATSUDA, Kazutaka, HU, Zhenjiang, NAKANO, Keisuke, HAMANA, Makoto, TAKEICHI, Masato

Volltext

O-157. 下顎再建におけるコンピューター支援カスタムメイドプレートシステムの有用性の検討 von 浜名智昭, 福谷多恵子, 吉岡幸男, 松山たまも, 烏帽子田夏希, 大林史誠, 檜垣美雷, 濱田充子, 小泉浩一, 永松将吾, 築家伸幸, 濱本隆夫, 上田勉, 柳本惣市

Volltext

O-232. 再発・転移口腔癌におけるペンブロリズマブ使用患者の臨床的検討 von 吉岡幸男, 檜垣美雷, 大林史誠, 伊藤奈七子, 中川貴之, 山崎佐知子, 浜名智昭, 小野重弘, 小泉浩一, 相川友直, 柳本惣市

Volltext

P-048. 口腔扁平上皮癌頸部リンパ節転移の節外浸潤進展度の臨床的意義に関する検討 von 檜垣美雷, 安藤俊範, 吉岡幸男, 小泉浩一, 浜名智昭, 山崎佐知子, 濱田充子, 伊藤奈七子, 木村直大, 田口有紀, 大林史誠, 福谷多恵子, 岡本健人, 烏帽子田夏希, 松山たまも

Volltext

O-1. HLAクラスIIの発現低下は同種造血幹細胞移植後の再発と関連し抗原特異的T細胞による認識能を変化させる von 安達慶高, 堺寿保, 寺倉精太郎, 椎名隆, 鈴木進悟, 浜名洋, 岸裕幸, 笹月健彦, 荒瀬尚, 葉名尻良, 後藤辰徳, 西田徹也, 村田誠, 清井仁

Volltext

妊娠中期の黒毛和種牛膣内にみられた線維腫の摘出例 von 渡邊, 洋平, 西, 清二, 藤木, 誠, 安田, 宣紘, 上村, 俊一, 坂本, 紘, 浜名, 克己

Volltext

H-37 都心に建つ超高層ビル(Nビル)における運転実績 その9 : 運用段階における省エネルギー施策とその効果 von 脇野, 剛史, 浜名, 久夫, 佐々木, 邦治, 佐藤, 博樹, 立野岡, 誠

Volltext

数種のδおよびεプロテオバクテリアにおけるポリアミン構成 von 浜名, 康栄, 齋藤, 誠子, 岡田, 真実

Volltext

プロテオバクテリアのαサブクラスにおけるスペルミジンとホモスペルミジンの分布 von 浜名, 康栄, 齋藤, 誠子, 岡田, 真実

Volltext

プロテオバクテリアのβサブクラスにおけるポリアミン構成 : 2-ヒドロキシプトレスシンの分布 von 浜名, 康栄, 齋藤, 誠子, 岡田, 真実

Volltext